Medical Devices Speaker Series 2023: How Formal Specifications Can Be a Game Changer

About the presenter:

Professor Deshmukh is an assistant professor in the Department of Computer Science at USC and is also the codirector for the Center for Autonomy and AI. He transitioned to his role as an educator after five years of work 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 through requirements engineering and testing methods. Before joining Toyota, he was the 2010 Computing Innovation Postdoctoral Fellow at the University of Pennsylvania. His current research interests include the application of formal reasoning methods for cyber-physical systems and the verification and testing of embedded control systems.