Devendra Bhave

Devendra Bhave, PhD, is a Principal Software Engineer at MathWorks, specializing in formal methods based program verification technologies. With a PhD in theoretical computer science from the Indian Institute of Technology, Bombay, Devendra has expertise in the automatic verification and validation of cyber-physical and real-time systems. They have previously held the position of Research Scholar at IIT Bombay and worked as a Senior Software Engineer at MathWorks. Their professional interests include program verification, automatic test generation, and model checking, among other areas related to model-based design tools.