Associate Professor (CSE)
PhD (1989), Computer Science,
Technische Universitat Munchen, Germany
Astrid Kiehn received her Ph.D. degrees in Computer Science (1989) and Habilitation for Theoretical Computer Science (1998) from the Technical University of Munich, Germany. She was further associated with the University of Sussex, Brighton, and the Indian Institute of Technology, Delhi. She joined IIIT-Delhi in December 2008 where she was in charge of academic affairs until June 2013. Her research has mainly focused on formal models for distributed systems, in particular, process algebras and Petri nets. Recent work is on distributed algorithms and their verification.
Verification of Distributed Algorithms, Formal Models of Distributed Systems, Verification and Model Checking.
Theory of Computation, Logic for Computer Science, Verification of Reactive Systems, Discrete Mathematics.