Login
Talks & Seminars
Title: Ninja Temporal Logic: Making Formal Methods work in Engineering Practice
Prof. Jyotirmoy V. Deshmukh, University of Southern California
Date & Time: August 3, 2017 10:30
Venue: Conference Room, C Block, 01st Floor, Department of Computer Science and Engineering, Kanwal Rekhi (KReSIT) Building
Abstract:
The software that controls the operation of critical systems such as vehicles, medical devices, buildings, and transportation infrastructures is getting smarter due to the increased demands for autonomy. The push for increased automation is a worthy goal, but can we do so without compromising the safety and reliability of such systems? Furthermore, can formal methods truly improve a design engineer's productivity? In this talk, I will introduce some of the most important questions facing academic and industrial development of software for the cyber-physical systems of tomorrow. We will consider solutions based on the use of formal logics, that, on one hand allow rigorous reasoning about system designs, while on the other, do not place an undue burden on the engineer. In particular, I will explain how formal requirements using real-time temporal logics have had an impact in the development of cutting-edge alternate-energy vehicles and advanced control problems within Toyota. I will guide the audience through an ecosystem built around temporal logic that permits automatic testing, efficient monitoring, requirement engineering and controller synthesis for highly complex automotive systems. The talk covers topics from what I consider the trifecta for designing reliable cyber-physical systems: formal logic, machine learning, and control theory, and will lay out my vision for future research and open problems within this domain.
Speaker Profile:
Jyotirmoy V. Deshmukh is a faculty member at the Department of Computer Science at the University of Southern California. 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 requirement engineering and testing methods. Before joining Toyota, he was the 2010 Computing Innovation Post-Doctoral Fellow at the University of Pennsylvania under the mentorship of Rajeev Alur. He got his Ph.D. in computer engineering from the University of Texas at Austin in 2010, where he was advised by E. Allen Emerson. His current research interests include the application of formal methods to reason about cyber-physical systems, verification and testing of embedded control systems, real-time temporal logics, and analysing time-series data. His research has been recognized by awards such as the 2017 Donald O. Peterson Award for the best paper in the IEEE Transactions in Computer-Aided Design of Integrated Circuits and Systems, and the 2014 and 2016 Best Paper awards at the embedded software conference.
List of Talks

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback