I am currently a 4th 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.

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

Contact information:
Email: kw358 AT cornell DOT edu