The Cyber OogwayRESEARCH LAB · IIT JODHPUR

PEOPLE / THE LAB

People behind the questions.

A faculty lead and a PhD scholar working across formal methods and cybersecurity.

Dr. Mohit Kumar Jangid speaking into a microphone
Faculty lead · Assistant Professor

Dr. Mohit Kumar Jangid

Assistant Professor in the Department of Computer Science and Engineering at IIT Jodhpur. He completed a PhD in cybersecurity at The Ohio State University in 2024.

  • Automated formal verification
  • System security and privacy
  • Trusted execution environments
  • Cryptography and protocol design
mjangid@iitj.ac.inIIT Jodhpur profile Personal website
Vaibhav Krishna
PhD scholar

Vaibhav Krishna

PhD scholar working with Dr. Mohit Kumar Jangid at IIT Jodhpur.

p26cs0012@iitj.ac.in

For future members

Interested in formal methods and cybersecurity? Explore our research themes and learn about joining the lab.