Jyotirmoy V. Deshmukh

Jyotirmoy V. Deshmukh is an Associate Professor in the Department of Computer Science and Co-Director of the Center for Autonomy and AI. He transitioned to this position after five years as a Principal Research Engineer at Toyota Motors North America R&D. Before joining Toyota, he was a 2010 Computing Innovation Post-Doctoral Fellow at the University of Pennsylvania under the mentorship of Rajeev Alur. He received his Ph.D. in Computer Engineering from the University of Texas at Austin in 2010, where he was advised by E. Allen Emerson.

His research interests include applying formal methods to cyber-physical systems, verification and testing of embedded control systems, real-time temporal logics, and analysis of time-series data. He is particularly interested in cyber-physical systems that use machine-learning-based components.