Mana Taghdiri

Emerging Research Directions in Computer Science - The Young Informatics Faculty at Karlsruhe Institute of Technology, KIT Scientific Publishing, 2010

The research group “Automated Software Analysis” at the institute for Theoretical Informatics at KIT aims at developing techniques for checking software reliability automatically. The ultimate goal is to develop techniques that are scalable, easy to use, and therefore, can be applied to real-world software systems.