I am a Computing and Mathematical Sciences postdoctoral scholar at the California Institute of Technology, where I work with Richard Murray and Sanjit Seshia. My research explores algorithmic methods for specifying and designing autonomous systems, combining ideas from hybrid systems and software verification to guarantee correctness with respect to a formal specification. I focus on safety-critical applications involving cyber-physical systems performing complex tasks in adversarial environments, often interacting with a variety of human users. I draw on technical and creative perspectives from hybrid systems, robotics, control and game theory.

I earned a Ph.D. in 2013 from the Department of Computer Science at Cornell University, where I was advised by Hadas Kress-Gazit and affiliated with the Autonomous Systems Lab and the LTLMoP Project. My dissertation addressed several challenges in the synthesis of provably correct cotnrol for robotics applications. I also hold a B.A. in Computer Science and Mathematics from Wellesley College.



Key Research Projects

Journal Articles

Conference Publications

Workshop Publications.

Teaching and Advising

I enjoy teaching and mentoring undergraduates, and have actively sought out relevant opportunities throughout college and graduate school.


I was Conference Co-Chair and Fundraising Chair for the 2013 Cornell Expanding Your Horizons Conference. EYH aims to stimulate the interest of young girls in math and science, provide them with female scientist role models, and foster awareness of math and science career opportunities. This is a cause dear to me, and I have been involved since my first year in grad school, in a number of capacities.

In the summer of 2011, I ran a communication skills summer course at the MacCormick Secure Center in Brooktondale, NY. MacCormick is a maximum security correctional facility for young men aged 16-21 who have committed violent crimes. Topics covered included techniques for thought organization, and job interview preparation. We worked primarily with young men close to being released, and focused on preparing them to take full advantage of their employment opportunities.

I was a founding member of the Cornell University Computer Science Graduate Organization, and served as its Social Chair from 2009-2011, coordinating department-wide graduate student social events several times a semester.

Misc. Interests

I enjoy dancing of all sorts, including several forms of partner dancing. I am also trained in Bharatanatyam, and performed with Cornell Sitara throughout graduate school; our style is best, if somewhat nebulously, described as South Asian fusion.

In college, I was a volunteer and instructor for Girls' Lifetime Empowerment and Awareness Program (LEAP), an education program in the Greater Boston area that blends physical skills with self-reflective activities, to foster safety, self-defense and courage in girls, women and their families.

I also have a somewhat significant history with College Mock Trial.