Prof. Dr. Farhad D. Mehta

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