Prof. Dr. Farhad D. Mehta
IFS Institut für SoftwareProfessor in Computer Science for Programming Languages and Software Engineering
+41 58 257 46 16farhad.mehta@ost.ch
Profil
Fachliche Schwerpunkte
- Software Engineering
- Programmiersprachen
- Algorithmen
Berufspraxis
- Seit Jan 2019: Innosuisse Experte
- Seit Feb 2015: Professor für Informatik an der OST (damals 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
Fachzeitschrift
- Eliane Irène Schmidli; Farhad Mehta (2024) The Fun of Robotic Artwork, in: Proceedings of the 12th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design (FARM 2024), S. 12-14, ISBN 979-8-4007-1099-5/24/09. 10.1145/3677996.3678286
- Marc Etter; Farhad Mehta (2024) Towards Type-Directed API Search for Mainstream Languages, in: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2024), ISBN 979-8-4007-1103-9/24/09. 10.1145/3678000.3678207
- Eliane Schmidli; Farhad Mehta (2024) Using Functional Reactive Programming for Robotic Art, An Experience Report, in: Proceedings of the 12th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design (FARM 2024), S. 2-11, ISBN 979-8-4007-1099-5/24/09. 10.1145/3677996.367828PDF
- Marc Etter; Farhad Mehta (2022) CodePanorama, A Language Agnostic Tool for Visual Code Inspection, in: Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension (ICPC'22), S. 225-228, ISBN 978-1-4503-9298-3/22/05. 10.1145/3524610.3527874
- Jonas Wälter; Farhad D. Mehta; Xiaolu Rao (2020) 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. 308-320, ISBN 2058-8305. 10.2495/TDI-V4-N4-308-320PDF
- 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. 95-104, ISBN 978-1-4503-4648-1. 2998392.2998405PDF
- 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
Betreute Arbeiten
| Verfasser/in | Titel | Jahr | Art der Arbeit |
| Olivier Lischer | Exploring the use of Haskell to Program Microcontrollers used in Robotics Platforms | 2025 | Projektarbeit |
|
Fadil Smajilbasic, Davor Lucic | Monad-Torrent | 2025 | Studienarbeit / Semesterarbeit |
|
Mona Panchaud, Anja Friedrich | Mondriλn | 2025 | Studienarbeit / Semesterarbeit |
|
Jann Marco Flepp, Lukas Streckeisen | Designing a Visual, Block-Based Environment to Create & Execute Haskell Code | 2024 | Studienarbeit / Semesterarbeit |
| Marc Etter | TypeSearch: Type-Directed API Search For All | 2024 | Masterarbeit |
| Eliane Irène Schmidli | Using Functional Reactive Programming for Robotic Art | 2024 | Masterarbeit |
|
Benjamin Plattner, Olivier Lischer | Build-your-own-[grep, Redis] in Haskell | 2023 | Studienarbeit / Semesterarbeit |
| Marc Etter | Feasibility Study of a Type-Directed API Search Engine for Java | 2023 | Projektarbeit |
| Carlo Del Rossi | Improving the Usability of the Haskell Substitution Stepper | 2023 | Bachelorarbeit |
| 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 |
