Next position: Research Scientist, Galois, Portland, OR.
Contact Information
- Office Location: Hudson Hall 220
- Email Address: aditya.zutshi@duke.edu
Education
- I received PhD from University of Colorado, Boulder, working with Sriram Sankaranarayanan.
Research Interests
Research interests: verification and falsification of properties of hybrid systems.