Dr Astrid Kiehn
Visiting Faculty
Department of Computer Science and Engineering
Indian Institute of Technology Delhi
Hauz Khas
New Delhi 110016
India
office: 418 Bharti Building
phone: (0)11 2659-6020
email: astrid extended by @ and cse.iitd.ac.in
Research Interests
- Semantics, Concurrency Theory, Process Calculi
- Distributed Artificial Intelligence, Multiagent-Systems
- Cognitive Science
For recent publications see the publications of the semantics and verification group,
here.
For courses and projects see
here.