Institute for
HSR

Farhad Mehta


Prof. Dr.  Farhad D. Mehta

Abteilung: Informatik, IFS
Funktion: Professor, Institutspartner IFS
Fachliche Schwerpunkte: Software Engineering, Programmiersprachen, Algorithmen
Studiengänge: Informatik
E-Mail: farhad.mehta(at)hsr.ch
Website: http://wiki.hsr.ch/FarhadMehta/FarhadMehta
Telefon: 055 222 4616
Raum: 1.167
Kurzzeichen: MFA
 


PROFIL

Titel

Institution

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

Berufspraxis, Industrieerfahrung

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

Spezialisierung in der angewandten Forschung und Entwicklung

Programmiersprachen, Algorithmen, Funktionale Programmierung, Software Engineering, 
Sicherheit & Verlässlichkeit, Formale Methoden, Computational Logic.

BETREUTE ARBEITEN
BA = Bachelorarbeiten, DA = Diplomarbeiten, MA = Masterarbeiten, PA = Projektarbeiten, SA = Studienarbeiten
Verfasser
Titel
   
  
Krucker Rafael
Schaden Markus
Visual Studio Code Integration for the Dafny Language and Program Verifier 2017 BA
Meili Mario
Development of a Modelling Procedure for the Description of Test Set-Ups with Measuring Instruments 2017 PA
Schenkel Cyrill
Modern IDE Support for Functional Programming 2017 BA
Bosshard Ueli
Christen Philipp
Orchestrierung von Security-Updates für Linux-Serversysteme 2016 BA
Gächter Benny
Wilhelm Benjamin
BLINQ BookingTool 2016 BA
Hendrikx Noah
Marty Pascal
Erstellen einer Cross-Platform Service App für Sanitäranlagen 2016 SA
Hofmaier Lukas
Static Checking For A Mapping DSL In The Field Of Financial Messaging 2016 MA
Morgner Felix
Stauber Tobias
Data over DAB 2016 BA
Schuler Manuel
Wenger Patrik
Extending a SCADA framework to support high availability 2016 BA
Bader Robin
Meier Philipp
GPU-Parallelisierung der Flachwassergleichungen in einer Evakuierungssimulation 2015 BA
Kayed Konstantin
Winter Theo
Smartphone Applikation für intelligente, induktive Heizsysteme in Grossküchen 2015 BA
Laib Fabio
Muggli Sandro
Medikamententrackingsystem für die Flugrettung 2015 SA
Melchiori Marino Andrea
Mülhaupt Dominic
EasyPay 2015 SA

PUBLIKATIONEN

Fachbücher

Farhad Mehta: Proofs for the Working Engineer. ETH Zürich, http://e-collection.library.ethz.ch/view/eth:30601, 2008

Fachzeitschriften

Lukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker: Scaps: type-directed API search for Scala. In: SCALA 2016: Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, 2016, 10. ACM, New York, NY, USA, .-ISBN 978-1-4503-4648-1

Farhad Mehta, Christian Rößigger, Markus Montigel: 利用速度建议挖掘列车运行的节能潜力. Potential energy savings via speed recommendations in railway operation (English translation of Chinese article title). In: Railway Technical Review (RTR) China edition, 12 2012, 53-57. Eurailpress,

Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin: Rodin. An open toolset for modelling and reasoning in Event-B. In: International Journal on Software Tools for Technology Transfer (STTT), Volume 12, Issue 6 2010, 447-466. Springer, .-ISBN 1433-2779

Farhad Mehta, Christian Rößiger, Markus Montigel: Latent energy savings due to the innovative use of advisory speeds to avoid occupation conflicts. In: Computers in Railways COMPRAIL’10 proceedings, XII 2010, WITpress, .-ISBN 978-1-84564-468-0

Farhad Mehta, Christian Rößigger, Markus Montigel: Potentielle Energieersparnis durch übertragene Geschwindigkeitsempfehlungen. In: Signal und Draht, 9/2010 2010, DVV Media,

Adam Darvas, Farhad Mehta, Arsenii Rudich: Efficient Well-Definedness Checking. In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008 proceedings, LNCS 5195 2008, 100-115. Springer, .-ISBN 978-3-540-71069-1

Farhad Mehta: A Practical Approach to Partiality. A Proof Based Approach. In: Formal Methods and Software Engineering, ICFEM 2008 proceedings, LNCS 5256 2008, 238-257. Springer, .-ISBN 978-3-540-88193-3

Farhad Mehta: Supporting Proof in a Reactive Development Environment. In: IEEE SEFM’07 (Software Engineering and Formal Methods) proceedings, 2007, 103-112. IEEE, .-ISBN 978-0-7695-2884-7

Farhad Mehta, Tobias Nipkow: Proving Pointer Programs in Higher-Order Logic. In: Information and Computation, 199 2005, 200-227. Elsevier,

Farhad Mehta, Silvio Ranise: Automated Provers doing (Higher-Order) Proof search. A Case Study in the Verification of Pointer Programs. In: IJCAR’04 PDPAR workshop proceedings, 2004,

Farhad Mehta, Tobias Nipkow: Proving Pointer Programs in Higher-Order Logic. In: Automated Deduction – CADE-19, LNCS 2741 2003, 121-135. Springer, .-ISBN 978-3-540-40559-7