Medical Devices Speaker Series 2023: How Formal Specifications Can Be a Game Changer
From the series: Medical Devices Speaker Series 2023
Jyo Deshmukh, University of South California
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.
Published: 18 May 2023
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a web site from the following list
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)