Dr. Jyo Deshmukh

Biography

Jyotirmoy V. Deshmukh joined the Department of Computer Science as a new faculty member in August 2017. He transitioned into an educator role after five years of working as a Principal Research Engineer at Toyota Motors North America R&D. At Toyota, he helped bridge the gap between academic research and industrial practice, focusing on requirements engineering and testing methods. Before joining Toyota in 2010, he was a Computing Innovation Post-Doctoral Fellow at the University of Pennsylvania under the mentorship of Rajeev Alur. He earned his Ph.D. in Computer Engineering from the University of Texas at Austin in 2010, advised by E. Allen Emerson. His current research interests include the application of formal methods to reason about cyber-physical systems, verification, testing of embedded control systems, real-time temporal logics, and analyzing time-series data. He is particularly interested in studying cyber-physical systems that utilize machine learning-based components, especially in relation to autonomous driving vehicles.

Research Interests