Home | Impressum | Sitemap | KIT

Junior Prof. Dr. Mana Taghdiri

Group Leader
Gruppe: Automated Software Analysis
Raum: 229
Telefonnummer: +49 721 608 45893
Faxnummer: +49 721 608 43088
mana taghdiriFdd6∂kit edu

Karlsruhe Institute of Technology (KIT)
Institute for Theoretical Informatics
Am Fasanengarten 5, Geb. 50.34
76131 Karlsruhe


I am a junior professor of the Institute for Theoretical Computer Science at the Karlsruhe Institute of  Technology, leading the Automated Software Analysis research group. I received my Ph.D. and Masters degrees in computer science from MIT in 2007 and 2002, respectively, and my Bachelors degree from Sharif University of Technology in 2001. From 2007 to 2009, I was a senior software engineer at The MathWorks, Inc, working on a just-in-time compiler for the MATLAB language.