systransis Team

Farhad Mehta

Department Head Marketing & Safety

Tel: +41 41 727 21 44

• Dr. sc. ETH Zürich, 2008
• M.Sc. TU München, 2004
• B.Tech. IIT Delhi, 2001

• Senior System Engineer bei systransis AG seit März 2008.
• Wiss. Mitarbeiter, Software Engineering & Information Security groups, ETH Zürich. (2004-2008)
• Wiss. Mitarbeiter, Theorem Proving group, TU München. (2002-2004)
• Praktikant, INRIA Rocquencourt, Paris. (2001)
• Praktikant, DRDO Bangalore, Indien. (2000)

• Tunnel Automatik Gotthard TAG, Dispositions- und Bahnleitsystem Gotthard Basislinie.
• Automatikfunktionen AF, Dispositions- und Bahnleitsystem Lötschberg Basislinie
• ETCS/ERTMS Language Decoder - Ein Werkzeug zur Darstellung und Zusammenstellung von Telegrammen in der ETCS/ERTMS Sprache.

• Kommunikations-Library für das Dispositionssystem RCS/D zur Anbindung der Betriebstelefonieanlage BTA der SBB AG.
• Betriebsdatenanalyse des Lötschberg Basis Tunnels.
• Log Replay und automatische Testcase-Generierung von Feldszenarien des Lötschberg Basis Tunnels.
• Design und Entwicklung von der Beweisinfrastruktur der RODIN Entwicklungsumgebung.
• Doktorarbeit an der ETH Zürich: "Proofs for the Working Engineer"
• Masterarbeit an der TU München: "Proving Pointer Programs in Higher-Order Logic"