Pallabh Dasgupta is a Professor with the Department of Computer Science and Engineering at IIT Kharagpur, and also the Dean of Sponsored Research and Industrial Consultancy. His research areas include electronic design automation, formal methods and artificial intelligence. He has published 3 books and more than 170 research papers, spread over several domains, including verification of digital and analog integrated circuits, real time control systems, software, smart electrical grids and railway signalling and train control systems. He has collaborations with a wide spectrum of industries including Intel, IBM, Synopsys, General Motors, National Semiconductors, SRC, Indian Railways, and HAL. He is Fellow of the Indian National Academy of Engineering and Indian Academy of Sciences (2015). He plays the sitar.
Session 1C: Inaugural Lectures by Fellows/Associates
With the extensive proliferation of automated embedded systems in every sphere of our lives, the task of assuring the safety of such systems is one of great significance. In recent times a new genre of logic-based mathematical techniques, known as ‘formal methods’, have been recommended in the industrial safety standards of several domains, including avionics, automotive, railway, space, atomic energy, defence, power and industrial automation. The speaker’s formal methods research group at IIT Kharagpur works with leading industries in a wide variety of domains spanning semiconductors, software, control and automation. The significance of formal methods in the engineering of embedded electronic systems and the group’s contributions over the past 15 years will be highlighted.