Prof. Dr. Farhad D. Mehta

IFS Institut für SoftwareProfessor of Programming Languages and Software Engineering

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

Fachliche Schwerpunkte

  • Software Engineering
  • Programmiersprachen
  • Algorithmen

Berufspraxis

  • 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)

Fachzeitschrift

  • (2020) Jonas Wälter, Farhad D. Mehta, Xiaolu Rao: Aiding Vehicle Scheduling and Rescheduling using Machine Learning, WIT Press, Southhampton, Boston, in: International Journal of Transport Development and Integration Nr. Volume 4, Number 4, S. 13, ISBN 2058-8305
  • Lukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker (2016) Scaps: type-directed API search for Scala, ACM, New York, NY, USA, in: SCALA 2016: Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, S. 10, ISBN 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, in: Railway Technical Review (RTR) China edition Nr. 12, S. 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, in: Computers in Railways COMPRAIL’10 proceedings Nr. XII, ISBN 978-1-84564-468-0
  • Farhad Mehta, Christian Rößigger, Markus Montigel (2010) Potentielle Energieersparnis durch übertragene Geschwindigkeitsempfehlungen, DVV Media, in: Signal und Draht Nr. 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, in: International Journal on Software Tools for Technology Transfer (STTT) Nr. Volume 12, Issue 6, S. 447-466, ISBN 1433-2779
  • Farhad Mehta (2008) A Practical Approach to Partiality, A Proof Based Approach, Springer, in: Formal Methods and Software Engineering, ICFEM 2008 proceedings Nr. LNCS 5256, S. 238-257, ISBN 978-3-540-88193-3
  • Adam Darvas, Farhad Mehta, Arsenii Rudich (2008) Efficient Well-Definedness Checking, Springer, in: Automated Reasoning, 4th International Joint Conference, IJCAR 2008 proceedings Nr. LNCS 5195, S. 100-115, ISBN 978-3-540-71069-1
  • Farhad Mehta (2007) Supporting Proof in a Reactive Development Environment, IEEE, in: IEEE SEFM’07 (Software Engineering and Formal Methods) proceedings, S. 103-112, ISBN 978-0-7695-2884-7
  • Farhad Mehta, Tobias Nipkow (2005) Proving Pointer Programs in Higher-Order Logic, Elsevier, in: Information and Computation Nr. 199, S. 200-227
  • Farhad Mehta, Silvio Ranise (2004) Automated Provers doing (Higher-Order) Proof search, A Case Study in the Verification of Pointer Programs, in: IJCAR’04 PDPAR workshop proceedings
  • Farhad Mehta, Tobias Nipkow (2003) Proving Pointer Programs in Higher-Order Logic, Springer, in: Automated Deduction – CADE-19 Nr. LNCS 2741, S. 121-135, ISBN 978-3-540-40559-7

Fachbuch

  • Farhad Mehta (2008) Proofs for the Working Engineer, ETH Zürich, http://e-collection.library.ethz.ch/view/eth:30601
Verfasser/inTitelJahrArt der Arbeit
Benjamin Plattner,
Olivier Lischer
Build-your-own-[grep, Redis] in Haskell 2023Studienarbeit / Semesterarbeit
Marc Etter Feasibility Study of a Type-Directed API Search Engine for Java 2023Projektarbeit
Carlo Del Rossi Improving the Usability of the Haskell Substitution Stepper 2023Bachelorarbeit
Raphael Jenni Unifying Code Refactorings of Different Languages 2023Masterarbeit
Eliane Irène Schmidli Using FRP in Yampa to Redesign the Control Software for the Robotic Artwork “Pygmies” 2023Projektarbeit
Dominic Klinger,
Christian Bisig
AI for Relay Interlocking 2022Studienarbeit / Semesterarbeit
Marc Etter Evaluating the effectiveness of the code-map metaphor for code reviews 2022Projektarbeit
Jan Huber Haskell Substitution Stepper 2022Studienarbeit / Semesterarbeit
Robin Elvedi,
Dominik Dietler
Haskell Substitution Stepper 2022Bachelorarbeit
Tim Niklas Wisotzki,
Samuel Lemmenmeier
Markua Support for Pandoc 2022Studienarbeit / Semesterarbeit
Raphael Jenni,
Fabian Germann
Automation of the OST-RJ Examination Scheduling 2021Studienarbeit / Semesterarbeit
Raphael Jenni,
Fabian Germann
Automation of the OST-RJ Examination Scheduling 2021Bachelorarbeit
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