Advisors
I am extremely fortunate to be advised by Prof. Sanjit Seshia and Dr. Shaz Qadeer.Main Projects
- P : Event driven programming language for safe-asynchronous programs. P @ Github
- Drona : A Programming Framework for Safe Robotics. Drona Webpage
- Zing : Explicit State Model-Checker for concurrent programs. ZING @ Github