Home | Impressum | Sitemap | KIT

J. Prof. Dr. Mana Taghdiri
Institut für Theoretische Informatik
Am Fasanengarten 5, Geb. 50.34

D-76131 Karlsruhe
Tel.: +49 721 608-5893
E-Mail: taghdiriAjh1∂ira uka de

Welcome to Automated Software Analysis Group!

The Automated Software Analysis (ASA) group, led by Junior Prof. Dr. Mana Taghdiri, is a part of the Institute for Theoretical Computer Science at the Department of Informatics in University of Karlsruhe (Karlsruhe Institute of Technology, south campus). This research group focuses on improving the reliability of software systems by developing automatic techniques that increase programmers' confidence in their developed systems. We mainly focus on checking correctness of object-oriented programs that extensively manipulate data structures.

Similar to other static analysis techniques, scalability to large programs is the major challenge. We investigate different ideas to make our analyses scalable, while keeping them fully automatic, practical, and easy to use. In addition to developing general program analysis techniques, we study what problems arise in different domain-specific applications, and investigate how our techniques can be adapted to such domains. Examples include software security, routing libraries, network protocols, and numerical software.

Our broad areas of research are software engineering and formal methods, and include:

  • Automatic program analysis,
  • Systems verification,
  • Sepcification extraction,
  • Formal specification languages,
  • Software testing and debugging


We have an opening for one doctoral student!

The project  involves the areas of "Formal Methods", "Static Program Checking", "Test-case Generation and Software Debugging" and focuses on using SMT solvers in a novel way to find bugs in object-oriented programs. If you are interested, please email your resume to taghdiri@ira.uka.de

Open Positions!

We have a number of projects available for student work, and a couple of positions for PhD students. If you are interested, please email your resume to taghdiri@ira.uka.de