Home | Legals | Sitemap | KIT
Mana

Junior Prof. Dr. Mana Taghdiri

group: Automated Software Analysis
room: 229
phone: +49 721 608 45893
fax: +49 721 608 43088
mana taghdiriKkc0∂kit edu

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


Background

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.