Prof. Dr. Farhad D. Mehta

Professor, Institutspartner IFSStudiengang Informatik

+41582574616 farhad.mehta@ost.ch

Academic Degree

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

  • 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)
  • Prof. Dr. Farhad D. Mehta, Farhad Mehta, Silvio Ranise: Automated Provers doing (Higher-Order) Proof search, 2004
  • Prof. Dr. Farhad D. Mehta, Farhad Mehta, Tobias Nipkow: Proving Pointer Programs in Higher-Order Logic, 2003
  • Prof. Dr. Farhad D. Mehta, Farhad Mehta, Tobias Nipkow: Proving Pointer Programs in Higher-Order Logic, 2005
  • Prof. Dr. Farhad D. Mehta, Farhad Mehta: Supporting Proof in a Reactive Development Environment, 2007
  • Prof. Dr. Farhad D. Mehta, Adam Darvas, Farhad Mehta, Arsenii Rudich: Efficient Well-Definedness Checking, 2008
  • Prof. Dr. Farhad D. Mehta, Farhad Mehta: A Practical Approach to Partiality, 2008
  • Prof. Dr. Farhad D. Mehta, Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin: Rodin, 2010
  • Prof. Dr. Farhad D. Mehta, Farhad Mehta, Christian Rößiger, Markus Montigel: Latent energy savings due to the innovative use of advisory speeds to avoid occupation conflicts, 2010
  • Prof. Dr. Farhad D. Mehta, Farhad Mehta, Christian Rößigger, Markus Montigel: 利用速度建议挖掘列车运行的节能潜力, 2012
  • Prof. Dr. Farhad D. Mehta, Farhad Mehta, Christian Rößigger, Markus Montigel: Potentielle Energieersparnis durch übertragene Geschwindigkeitsempfehlungen, 2010
  • Prof. Dr. Farhad D. Mehta, Lukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker: Scaps: type-directed API search for Scala, 2016
  • Prof. Dr. Farhad D. Mehta, Farhad Mehta: Proofs for the Working Engineer, 2008
VerfasserTitelJahrArbeit
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