Junior Prof. Dr. Mana Taghdiri
- Group Leader
- Gruppe: Automated Software Analysis
- Raum: 229
- Telefonnummer: +49 721 608 45893
- Faxnummer: +49 721 608 43088
- mana taghdiri ∂does-not-exist.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.