Automated Software Analysis Group
Mana

Junior Prof. Dr. Mana Taghdiri

  • 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.