Astrid Kiehn

Associate Professor (CSE)

PhD (1989), Computer Science,
Technische Universitat Munchen, Germany

Brief Bio

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.

Contact:

Phone: 011-26907443
Email: astrid@iiitd.ac.in
Website: http://faculty.iiitd.ac.in/~astrid/
Office: B-205

Research Interests

Verification of Distributed Algorithms, Formal Models of Distributed Systems, Verification and Model Checking.

Teaching Interests

Theory of Computation, Logic for Computer Science, Verification of Reactive Systems, Discrete Mathematics.