Horus software GmbH
Dr. Mana Taghdiri is the lead software developer at Horus GmbH. She has received her Masters and PhD degrees in the field of Computer Science, Software Design from MIT in Massachusetts, USA. She has worked as a senior software engineer on the design of a Just-In-Time compiler at MathWorks Inc, and later joined KIT as a junior professor in Informatics, supervising the Automated Software Analysis group. She has several publications on automatic software checking and requirements analysis. She has received two ACM/SIGSOFT distinguished paper awards for her work on scalable software analysis, and research grants for her ideas on automating software verification.