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 |
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 |
“The Fun of Robotic Artwork” Presented at ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design (FARM)“The Fun of Robotic Artwork” Presented at ACM SIGPLAN
News

Prof. Farhad Mehta and Eliane Schmidli, an MSE Computer Science student at OST, presented the results of her Master's Thesis at the ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design (FARM) on September 2, 2024, in Milan, Italy. The workshop was part of the 29th ACM SIGPLAN International Conference on Functional Programming (ICFP, https://icfp24.sigplan.org/), a top-tier conference in the area of Programming Languages.
This work explores how Functional Reactive Programming (FRP) can simplify the creation of robotic artwork. FRP is a programming paradigm used to implement reactive systems, such as robotic art, through functional programming principles. Functional programming (FP) leverages pure mathematical functions to express program behavior, prioritizing elegance, algebraic compositionality, and mathematical precision. Traditionally, programming robots requires extensive technical knowledge, posing challenges for artists. However, FRP provides a more flexible and modular way to control robots, enabling artists to create more complex and nuanced behaviors. This approach was used to develop responsive and lifelike behaviors for a robotic artwork by the artist duo Pors & Rao.
The accompanying paper, “Using Functional Reactive Programming for Robotic Art,” is freely available at https://dl.acm.org/doi/10.1145/3677996.3678288. A video of the presentation can be viewed at https://www.youtube.com/watch?v=vBmPEIvQBUI&list=PLyrlk8Xaylp72muMXWqC4zmzkhQvz2cRl&index=11.
For further inquiries, please contact Prof. Farhad Mehta.
TypeSearch.dev: A Type-Directed API Search Engine for Mainstream Languages Presented at ACM SIGPLAN International Workshop on Type-Driven Development (TyDe)TypeSearch.dev: A Type-Directed API Search Engine for
News

Prof. Farhad Mehta and OST MSE student Marc Etter presented the results of Marc Etter’s MSE Master's Thesis, TypeSearch.dev, a Type-Directed API Search Engine for Mainstream Languages, at the ACM SIGPLAN International Workshop on Type-Driven Development (TyDe) on September 6, 2024, in Milan, Italy. The workshop was part of the 29th ACM SIGPLAN International Conference on Functional Programming (ICFP, https://icfp24.sigplan.org/), a top-tier conference in the field of Programming Languages.
This work introduces a novel, largely language-independent type-based search method for exploring software libraries using type signatures. The approach applies concepts from logic and type theory to address this problem in a systematic and general manner. By enhancing accessibility for various programming languages, this method has the potential to significantly broaden the adoption of specialized search tools, ultimately saving software developers time and effort.
The accompanying paper, “Towards Type-Directed API Search for Mainstream Languages,” is freely available at https://dl.acm.org/doi/10.1145/3678000.3678207. A video of the presentation can be viewed at https://www.youtube.com/watch?v=yI-X5oH0LOE. A working proof of concept is accessible at typesearch.dev.
For further inquiries, please contact Prof. Farhad Mehta.