Dozierende Informatik

Prof. Dr. Farhad D. 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@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

Verfasser

Titel

Jahr

Arbeit

Meili Mario

Development of a Modelling Procedure for the Description of Test Set-Ups with Measuring Instruments

2017

Projektarbeit

Schenkel Cyrill

Modern IDE Support for Functional Programming

2017

Bachelorarbeit

Krucker Rafael Schaden Markus

Visual Studio Code Integration for the Dafny Language and Program Verifier

2017

Bachelorarbeit

Gächter Benny Wilhelm Benjamin

BLINQ BookingTool

2016

Bachelorarbeit

Morgner Felix Stauber Tobias

Data over DAB

2016

Bachelorarbeit

Bosshard Ueli Christen Philipp

Orchestrierung von Security-Updates für Linux-Serversysteme

2016

Bachelorarbeit

Hofmaier Lukas

Static Checking For A Mapping DSL In The Field Of Financial Messaging

2016

Masterarbeit

Schuler Manuel Wenger Patrik

Extending a SCADA framework to support high availability

2016

Bachelorarbeit

Hendrikx Noah Marty Pascal

Erstellen einer Cross-Platform Service App für Sanitäranlagen

2016

Studienarbeit / Semesterarbeit

Bader Robin Meier Philipp

GPU-Parallelisierung der Flachwassergleichungen in einer Evakuierungssimulation

2015

Bachelorarbeit

Kayed Konstantin Winter Theo

Smartphone Applikation für intelligente, induktive Heizsysteme in Grossküchen

2015

Bachelorarbeit

Melchiori Marino Andrea Mülhaupt Dominic

EasyPay

2015

Studienarbeit / Semesterarbeit

Laib Fabio Muggli Sandro

Medikamententrackingsystem für die Flugrettung

2015

Studienarbeit / Semesterarbeit

PUBLIKATIONEN

Fachbücher

  • Farhad Mehta: Proofs for the Working Engineer. ,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
    Dokument zum Download
  • Farhad Mehta, Christian Rößigger, Markus Montigel: 利用速度建议挖掘列车运行的节能潜力.
    In: Railway Technical Review (RTR) China edition ,12 ,2012
    Dokument zum Download
  • 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
    Dokument zum Download
  • Farhad Mehta, Christian Rößigger, Markus Montigel: Potentielle Energieersparnis durch übertragene Geschwindigkeitsempfehlungen.
    In: Signal und Draht ,9/2010 ,2010
    Dokument zum Download
  • Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin: Rodin.
    In: International Journal on Software Tools for Technology Transfer (STTT) ,Volume 12, Issue 6 ,2010
    Dokument zum Download
  • Farhad Mehta: A Practical Approach to Partiality.
    In: Formal Methods and Software Engineering, ICFEM 2008 proceedings ,LNCS 5256 ,2008
    Dokument zum Download
  • Adam Darvas, Farhad Mehta, Arsenii Rudich: Efficient Well-Definedness Checking.
    In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008 proceedings ,LNCS 5195 ,2008
    Dokument zum Download
  • Farhad Mehta: Supporting Proof in a Reactive Development Environment.
    In: IEEE SEFM’07 (Software Engineering and Formal Methods) proceedings ,2007
    Dokument zum Download
  • Farhad Mehta, Tobias Nipkow: Proving Pointer Programs in Higher-Order Logic.
    In: Information and Computation ,199 ,2005
    Dokument zum Download
  • Farhad Mehta, Silvio Ranise: Automated Provers doing (Higher-Order) Proof search.
    In: IJCAR’04 PDPAR workshop proceedings ,2004
    Dokument zum Download
  • Farhad Mehta, Tobias Nipkow: Proving Pointer Programs in Higher-Order Logic.
    In: Automated Deduction – CADE-19 ,LNCS 2741 ,2003
    Dokument zum Download

Zurück zur Übersicht

Noch keine Unterkunft?

26.04.18 - Melden Sie sich jetzt für ein Zimmer in einem unserer Studentenwohnheime an.