For More Information
- Ph.D. in Computer Science, ETH Zurich, Nov 2014 - Sep 2020.
- Masters in Computer Science, ETH Zurich, Sep 2012 - Sep 2014.
- Bachelors in Computer Science and Engineering, IIT Patna, Aug 2008 - May 2012.
- CS 598: Logic and Artificial Intelligence, Fall 2021
- Artificial Intelligence
- Programming Languages
Conferences Organized or Chaired
- Static Analysis Symposium (SAS) 2022
- ACM SIGPLAN John C. Reynolds Doctoral Dissertation (2021 )
- ETH Medal for best Master's thesis (2014)
- ETH Excellence Scholarship (2012)
- President of India Gold Medal, IIT Patna (2012 )
- Institute Silver Medal, IIT Patna (2012 )
Recent Courses Taught
- CS 477 (ECE 478) - Formal Software Devel Methods
- CS 598 GDS - Logic and AI