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 designing and controlling autonomous systems, guaranteeing correctness with respect to formal specifications. I focus on safety-critical systems performing complex tasks in adversarial environments, interacting with a variety of agents. I draw on technical and creative perspectives from formal methods for software verification, 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 challenges in the synthesis of provably correct control for robotics. I also hold a B.A. in Computer Science and Mathematics from Wellesley College.


News

Upcoming:
  • Jan 25-30: Attending AAAI in Austin, TX.


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.

Service

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.