ME Seminar

“Formally verified controllers for cyber-physical systems”

Venue: April 1, 2022 @ 4:00 PM, A R Auditorium, ME @ IISc
Speaker: Dr. Pushpak Jagtap, Assistant Professor, RBCCPS @ IISc
Abstract and Biography of the Speaker

Date

Apr 01 2022

Expired!

Time

4:00 pm - 5:30 pm

Location

A. R. Auditorium

Mechanical Engineering Department, IISc

Recent Posts

Prof. Ashitava Ghosal has been selected for the “Prof. SATISH DHAWAN Chair Professorship”. Congratulations
Prof. Saptarshi Basu has been selected for the “Pratt and Whitney Chair Professorship”. Congratulations
Prof. Navaneetha Krishnan Ravichandran has been selected as a “Infosys Young Investigator”. Congratulations
IJMF Spotlight V-Seminar Series: Spectacular voyage of droplets: Gas Turbines to SARS-CoV-2
Prof. Pramod Kumar and Prof. Dibakar Sen have been selected for the Abdul Kalam technology innovation fellowship from INAE-SERB. Congratulations