Formal Approach for Efficient Design of Cyber-Physical Systems
You are cordially invited to attend a talk to be delivered by Dr. Sumana Ghosh, Assistant Professor, Indian Statistical Institute Kolkata, India. She is visiting our group on 18th and 19th September, 2023. The talk is scheduled to be held in the AGRA room (MZH 4380) and also online via Zoom on 18th September, 2023 at 2 PM.
Please find below the title and short abstract of the talk along with the bio of Dr. Sumana Ghosh.
Title: Formal Approach for Efficient Design of Cyber-Physical Systems
Abstract of Research Talk:
Deployment of Cyber-Physical systems (CPSs) is widely seen in automotive, avionics, robotics, medical engineering, etc., where real-time performance guarantees are critical for the correct operation. CPS integrates computation, communication, and control. That means the behaviour of the entire system is defined by the complex interactions between control algorithms, hardware computing platforms and the communication network connecting the different devices. Therefore, in most of the design challenges of CPSs, joint optimization of control parameters (e.g., control performance) and scheduling parameters (e.g., resource utilization) are focused while guaranteeing the real-time properties of all software control tasks. This talk discusses quite a few formalisms and frameworks that solve various design challenges of CPSs under different platform configurations and environmental influences leveraging the power of formal methods such as Boolean satisfiability and satisfiability modulo theory. These design problems are mostly posed as optimization problems that require a deep understanding of the underlying combinatorial structures for finding efficient solutions.
Dr. Sumana Ghosh is currently working as an assistant professor at the Indian Statistical Institute Kolkata. Prior to that, she completed her postdoc at the Department of Electrical and Computer Engineering, Technical University of Munich in 2020, and her Ph.D. from the Department of Computer Science and Engineering, IIT Kharagpur in 2019. During her postdoctoral research, she also received the prestigious PRIME (Postdoctoral Researchers International Mobility Experience) fellowship from the German Academic Exchange Service. She was the one among two who bagged this fellowship worldwide under the "Engineering" category in the year 2019. She obtained her B.Sc. (Hons.) degree in computer science and M.Sc degree in computer and information science from the University of Calcutta in 2010 and 2012, respectively. Her current research interests include cyber-physical systems, formal verification of neural networks and AI-assisted systems, cyber security, real-time scheduling for heterogeneous embedded systems, and application of ML in electronic design automation.
Kolloquium: Formal Approach for Efficient Design of Cyber-Physical Systems by: Dr. Sumana Ghosh is inviting you to a scheduled Zoom meeting.
Meeting ID: 648 9176 9742