AdvisorsProf. Sanjit Seshia and Dr. Shaz Qadeer.
Research InterestsDesign tools and methodologies for building reliable systems. I am interested in the areas of programming languages, model checking, and verification with focus on building complex real-world systems like a device drivers, distributed systems and distributed embedded systems.
- P -> Event driven programming language for safe-asynchronous programs. P @ Github
- ZING -> Explicit State Model-Checker for concurrent programs. Supports completely parallel search, stratified search based on delay bounding. ZING @ Github
- COP -> Component Oriented Programming for building reliable distributed systems compositionally. Extending the programming language P with module system for compositional design. COP @ Github .. coming soon