I am currently a 5th year Ph.D student in Hadas Kress-Gazit's Group at Cornell University. I am affiliated with Autonomous Systems Lab and the LTLMoP Project. My current research focuses on dealing with unexpected events during correct-by-construction controller execution and extending the use of correct-by-construction controllers to multi-agent scenarios.

I am also a Commercialization Fellow at Cornell and you can find out more about the program here. Please reach out to me if you are interested in using our research for your company. I would love to learn more about your work.  

Please let me know if you find any bugs or typos here. Thanks.

Contact information:
Email: kw358 AT cornell DOT edu