Dr Astrid Kiehn

Visiting Faculty

Department of Computer Science and Engineering  
Indian Institute of Technology Delhi
Hauz Khas                                
New Delhi 110016                         

office: 418 Bharti Building
phone:  (0)11 2659-6020
email:  astrid extended by  @ and  cse.iitd.ac.in

Research Interests

For recent publications see the publications of the semantics and verification group, here.

For courses and projects see here.