systransis Team

Farhad Mehta

Senior System Engineer

Tel: +41 41 727 21 44

• Dr. sc. ETH Zurich, 2008
• M.Sc. TU Munich, 2004
• B.Tech. IIT Delhi, 2001

• Senior System Engineer with systransis AG since March 2008.
• Research assistant, Software Engineering & Information Security groups, ETH Zurich. (2004-2008)
• Research assistant, Theorem Proving group TU Munich. (2002-2004)
• Research intern, INRIA Rocquencourt, Paris. (2001)
• Research intern, DRDO Bangalore, India. (2000)

• Tunnel Automatic Gotthard TAG, Train Traffic Control System Gotthard Base Tunnel, Switzerland
• Automatic Functions AF, Train Traffic Control System Lötschberg Base Tunnel, Switzerland
• ETCS/ERTMS Language Decoder - A tool for displaying and generating messages encoded in the ETCS/ERTMS language.

• Interface library for the Rail Control System (RCS/D) enabling communication to the operational telecommunication system BTA of SBB AG.
• Operational data analysis for the Lötschberg Base Tunnel, Switzerland.
• Log Replay and automatic test case generation from field scenarios for the Lötschberg Base Tunnel, Switzerland.
• Design and implementation of the proof infrastructure for the RODIN formal development environment.
• Doctoral thesis at ETH Zurich: "Proofs for the Working Engineer"
• Masters thesis at TU Munich: "Proving Pointer Programs in Higher-Order Logic"