Prof. Dr. Farhad D. Mehta

Professor, Institutspartner IFS

+41 58 257 46 16 farhad.mehta@ost.ch

Akademische Titel

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

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
VerfasserTitelJahrArbeit
Raphael Jenni,
Fabian Germann
Automation of the OST-RJ Examination Scheduling 2021Studienarbeit / Semesterarbeit
Julia Tanner,
Severin Amacher
EPJ Team Builder 2021Studienarbeit / Semesterarbeit
David Loosli On Minimum Storage Merge Algorithms 2021Projektarbeit
Patrick Silvio Bächli,
Marc Etter
Code Panorama 2020Bachelorarbeit
Jonas Wälter Existing and novel Approaches to the Vehicle Rescheduling Problem 2020Masterarbeit
Joel Fisch,
Remo Dörig
OpenAPI 3 code binding generator for Haskell 2020Bachelorarbeit
Joel Fisch,
Remo Dörig
Strongly typed, functional languages as an alternative to the popular React + Redux stack 2020Studienarbeit / Semesterarbeit
Patrick Silvio Bächli,
Marc Etter
Code Panorama 2019Studienarbeit / Semesterarbeit
Samuel Kurath Deep Squat 2019Masterarbeit
Benjamin Kühnis Magic The Gathering Draft Viewer 2019Masterarbeit
Jonas Wälter O-Admin 2019Projektarbeit
Dominik Bastian Kessler,
Cyrill Hänni
The Lambda Calculus Calculator 2019Studienarbeit / Semesterarbeit
Mike Marti,
Matteo Kamm
The Sequent Calculus Calculator 2019Bachelorarbeit
Dominik Bastian Kessler,
Cyrill Hänni
Videoanalyse für fliegende Rettnungshunde 2019Bachelorarbeit
Esteban Felipe Luchsinger Macaya,
Patrick Scherler
Automatisierte Lichtmessung mit Indoor-Lokalisierungssystem 2018Bachelorarbeit
Lukas Oberholzer,
David Riederer
Einsatz von Drohnen zur Unterstützung von alpinen Rettungsaktionen 2018Bachelorarbeit
David Riederer,
Lukas Oberholzer
Einsatzplanung und Tracking von alpinen Rettungsaktionen mit Hilfe GPS 2018Studienarbeit / Semesterarbeit
Simon Göldi HMI für ein Exoskelett 2018Projektarbeit
Benjamin Kühnis NBA Game Prediction 2018Projektarbeit
Samuel Kurath Ranck 2018Projektarbeit
Raphael Martin Zimmermann,
Fabian Hauser
Redbackup: A Redundant Distributed Backup System Prototype 2018Studienarbeit / Semesterarbeit
Samuel Kurath Schieber Jass Bot 2018Projektarbeit
Mario Meili Supporting Swift 4 Generics in Tifig 2018Masterarbeit
Lukas Grab Weiterentwicklung HMI Exosuit 2018Projektarbeit
Mario Meili Development of a Modelling Procedure for the Description of Test Set-Ups with Measuring Instruments 2017Projektarbeit
Mario Meili If Functional Programming Is So Great, Why Isn’t Everyone Using It? 2017Projektarbeit
Cyrill Schenkel Modern IDE Support for Functional Programming 2017Bachelorarbeit
Rafael Krucker,
Markus Schaden
Visual Studio Code Integration for the Dafny Language and Program Verifier 2017Bachelorarbeit
Benny Gächter,
Benjamin Wilhelm
BLINQ BookingTool 2016Bachelorarbeit
Felix Morgner,
Tobias Stauber
Data over DAB 2016Bachelorarbeit
Noah Hendrikx,
Pascal Marty
Erstellen einer Cross-Platform Service App für Sanitäranlagen 2016Studienarbeit / Semesterarbeit
Manuel Schuler,
Patrik Wenger
Extending a SCADA framework to support high availability 2016Bachelorarbeit
Ueli Bosshard,
Philipp Christen
Orchestrierung von Security-Updates für Linux-Serversysteme 2016Bachelorarbeit
Lukas Hofmaier Static Checking For A Mapping DSL In The Field Of Financial Messaging 2016Masterarbeit
Marino Andrea Melchiori,
Dominic Mülhaupt
EasyPay 2015Studienarbeit / Semesterarbeit
Robin Bader,
Philipp Meier
GPU-Parallelisierung der Flachwassergleichungen in einer Evakuierungssimulation 2015Bachelorarbeit
Fabio Laib,
Sandro Muggli
Medikamententrackingsystem für die Flugrettung 2015Studienarbeit / Semesterarbeit
Konstantin Kayed,
Theo Winter
Smartphone Applikation für intelligente, induktive Heizsysteme in Grossküchen 2015Bachelorarbeit