Prof. Dr. Farhad D. Mehta

Akademische Titel

• Dr. Sc. Informatik, ETH Zürich, Schweiz
• M.Sc. Informatik, TU München, Deutschland
• B.Tech Computer Science & Engi, IIT Delhi, Indien

Fachliche Schwerpunkte

• Software Engineering
• Programmiersprachen
• Algorithmen

Berufspraxis, Industrieerfahrung

• Seit Jan 2019: Innosuisse Experte
• Seit Feb 2015: Professor für Informatik an der HSR
• 2008 - 2014: Senior Systems Engineer, Department Head an der systransis AG (Entwicklung, Leitung, Verkauf, Nachwuchsförderung)
• 2013 - 2014: Lehrbeauftragter (Nebenamtlich) am Bildungszentrum Zürichsee
• 2004 - 2008: ETH Zürich (Lehre & Forschung- Formale Methoden & Software Engg.)
• 2002 - 2004: TU München (Lehre und Forschung- Logik & Software Engg.)
• 2001: INRIA, Paris (Forschung- Linguistik & Compilerbau)
• 2000: DRDO, Bangalore  (Forschung- IT Security)
• 1997: Allied Enterprises, Dubai (IT Support)

• (2020) Jonas Wälter, Farhad D. Mehta, Xiaolu Rao: Aiding Vehicle Scheduling and Rescheduling using Machine Learning, WIT Press, International Journal of Transport Development and Integration, Volume 4, Number 4, 13, 2058-8305
• Lukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker (2016) Scaps: type-directed API search for Scala, ACM, SCALA 2016: Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, 10, 978-1-4503-4648-1
• Farhad Mehta, Christian Rößigger, Markus Montigel (2012) 利用速度建议挖掘列车运行的节能潜力, Potential energy savings via speed recommendations in railway operation (English translation of Chinese article title), Eurailpress, Railway Technical Review (RTR) China edition, 12, 53-57
• Farhad Mehta, Christian Rößiger, Markus Montigel (2010) Latent energy savings due to the innovative use of advisory speeds to avoid occupation conflicts, WITpress, Computers in Railways COMPRAIL’10 proceedings, XII, 978-1-84564-468-0
• Farhad Mehta, Christian Rößigger, Markus Montigel (2010) Potentielle Energieersparnis durch übertragene Geschwindigkeitsempfehlungen, DVV Media, Signal und Draht, 9/2010
• Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin (2010) Rodin, An open toolset for modelling and reasoning in Event-B, Springer, International Journal on Software Tools for Technology Transfer (STTT), Volume 12, Issue 6, 447-466, 1433-2779
• Farhad Mehta (2008) A Practical Approach to Partiality, A Proof Based Approach, Springer, Formal Methods and Software Engineering, ICFEM 2008 proceedings, LNCS 5256, 238-257, 978-3-540-88193-3
• Adam Darvas, Farhad Mehta, Arsenii Rudich (2008) Efficient Well-Definedness Checking, Springer, Automated Reasoning, 4th International Joint Conference, IJCAR 2008 proceedings, LNCS 5195, 100-115, 978-3-540-71069-1
• Farhad Mehta (2008) Proofs for the Working Engineer, ETH Zürich
• Farhad Mehta (2007) Supporting Proof in a Reactive Development Environment, IEEE, IEEE SEFM’07 (Software Engineering and Formal Methods) proceedings, 103-112, 978-0-7695-2884-7
• Farhad Mehta, Tobias Nipkow (2005) Proving Pointer Programs in Higher-Order Logic, Elsevier, Information and Computation, 199, 200-227
• Farhad Mehta, Silvio Ranise (2004) Automated Provers doing (Higher-Order) Proof search, A Case Study in the Verification of Pointer Programs, IJCAR’04 PDPAR workshop proceedings
• Farhad Mehta, Tobias Nipkow (2003) Proving Pointer Programs in Higher-Order Logic, Springer, Automated Deduction – CADE-19, LNCS 2741, 121-135, 978-3-540-40559-7