Speaker

Professor, Department of Computer Science and Engineering
India Institute of Technology, Delhi

Sanjiva Prasad is a Professor and former Head of the Department of Computer Science and Engineering (2018-2021) and also the Amar Nath and Shashi Khosla School of Information Technology  (2011-2015) at the Indian Institute of Technology Delhi.

His research interests include formal methods, programming languages and their semantics,  security of information flow and networks,  and medical applications of computing.  He has written several conference and journal papers in these areas, served on the technical programme committees of several international conferences, and delivered seminar talks at leading universities across the world.   He is currently Editor-in-Chief of ACM Books (based in New York), and Chair of the executive committee of the Association for Logic in India.

Prior to working at IIT Delhi, Prof. Prasad worked on program verification at Odyssey Research Associates in Ithaca, USA from 1990-1992, and then at the European Computer-Industry Research Center (ECRC GmbH) in Munich, Germany from 1992-1994 on the Facile project which was based on his dissertation.  He was a visiting Lektor at BRICS, Aarhus University from 1998 to 1999. His PhD is from Stony Brook University, New York, and he earned a BTech in Computer Science and Engineering from the Indian Institute of Technology Kanpur in 1985.