About

Correctness Lab

Prof. Dr. Farhad Mehta

Prof. Dr. Farhad Mehta

I teach computer science at the University of Applied Science Rapperswil (HSR) in Switzerland and am a partner of the Institute for Software (IFS).

The Institute for Software (IFS) provides support in the area of software development in the form of applied research, technology transfer, and software development projects. We place special emphasis on the usability, effective architecture and correctness of software products.

Email: [email protected]
Office: 1.167

This page is primarily meant for:

  • Students attending my courses
  • Students who are interested in starting a project (BA, SA, MA) with me.
  • Anyone who is interested in finding out more about my professional interests and activities than what is available on my official public profile.

For my public profile information (Publications, Experience, etc.), please follow this link.

Interests and Expertise

  • Software Engineering
  • Programming Languages
  • Functional Programming
  • Algorithms
  • Distributed Systems
  • Automation
  • Robotics
  • Artificial Intelligence
  • Safety and Reliability
  • Formal Methods
  • Computational Logic

Courses Taught

  • Spring Semester 2019
    • Software Engineering 2
    • Engineering Projekt
    • Verteilte Software Systeme
    • Masterseminar “Program Analysis and Transformation”
  • Autumn Semester 2018
    • Software Engineering 1
    • Programming Languages and Formal Methods
  • Spring Semester 2018
    • Software Engineering 2
    • Engineering Projekt
    • Verteilte Software Systeme
    • Masterseminar “Program Analysis and Transformation”
  • Autumn Semester 2017
    • Software Engineering 1
    • Programming Languages and Formal Methods
    • Masterseminar “Program Analysis and Transformation”
  • Spring Semester 2017
    • Software Engineering 2
    • Engineering Projekt
    • Verteilte Software Systeme
    • Masterseminar “Program Analysis and Transformation”
  • Autumn Semester 2016
    • Software Engineering 1
    • Programmiersprachen und formale Methoden
    • Masterseminar “Program Analysis and Transformation”
  • Spring Semester 2016
    • Software Engineering 2
    • Engineering Projekt
    • Verteilte Software Systeme
    • Masterseminar “Program Analysis and Transformation”
  • Autumn Semester 2015
    • Software Engineering 1
    • Compilerbau und Programmiermodelle
  • Spring Semester 2015
    • Software Engineering 2
    • Software Engineering Projekt
    • Verteilte Software Systeme

Student Projects Supervised

Spring Semester 2019

Type Title Partner Students
Bachelorarbeit Videoanalyse für fliegende Rettungshunde Beutler Coaching & Namics AG Dominik Bastian Kessler & Cyrill Hänni
Bachelorarbeit The Sequent Calculus Calculator IFS HSR Matteo Kamm & Mike Marti
MSE Masterarbeit Magic The Gathering Draft Viewer Benjamin Kühnis
MSE Master-Projektarbeit O-Admin: Webapplikation zur Durchführung und Auswertung von Orientierungsläufen Jonas Wälter
MAS SE Masterarbeit Control and Reporting Interface for Autonomous Cleaning Robot KEMARO GmbH Adrian Brauchli
MSE Seminar Functional Programming for Web and Mobile - A Review of the Current State of the Art Jonas Wälter

Autumn Semester 2018

Type Title Partner Students
Studienarbeit Code Panorama IFS HSR Patrick Silvio Bächli & Marc Etter
Studienarbeit The Lambda Calculus Calculator IFS HSR Dominik Bastian Kessler & Cyrill Hänni
MSE Masterarbeit DeepSquat Samuel Kurath
MSE Master-Projektarbeit Collaborative Augmented Reality for Dentistry Kapanu AG Jonas Wälter

Spring Semester 2018

Type Title Partner Students
Bachelorarbeit Einsatz von Drohnen zur Unterstützung von alpinen Rettungsaktionen Beutler Coaching & Namics AG Lukas Oberholzer & David Riederer (Video)
Bachelorarbeit Automatisierte Lichtmessung mit Indoor-Lokalisationssystem HSi Elektronik AG, Gossau SG Esteban Luchsinger & Patrick Scherler
MSE Master-Projektarbeit Umsatz der Gastronomie mittels Deep Learning vorhersagen Prognolite GmbH Benjamin Kühnis
MSE Master-Projektarbeit Reinforcement Schieber Jass Bot Samuel Kurath
MAS SE Masterarbeit Simulation, Test und Verbesserung der „Coverage Strategies“ des KEMARO Reinigungsroboters KEMARO GmbH Raphael Pichonnat & Mark Niedermann
MAS SE Masterarbeit Control and Reporting Interface for Autonomous Cleaning Robot KEMARO GmbH Lukas Reisinger

Autumn Semester 2017

Type Title Partner Students
Studienarbeit Redbackup: a redundant distributed backup system prototype Raphael Zimmermann & Fabian Hauser
Studienarbeit Einsatzplanung und Tracking von alpinen Rettungsaktionen mit Hilfe GPS Beutler Coaching & Namics AG Lukas Oberholzer & David Riederer
MSE Masterarbeit Supporting Swift 4 Generics in Tifig IFS HSR Mario Meili
MSE Master-Projektarbeit Risikoverminderung bei Sportarten wie Downhill Biken oder Skifahren mit Hilfe von Smartphones Samuel Kurath
MSE Master-Projektarbeit Analyze and predict how interesting a basketball game is Benjamin Kühnis
MSE Master-Projektarbeit HMI für eine Exoskelett: Augmented Reality ILT HSR Simon Göldi
MSE Master-Projektarbeit HMI für eine Exoskelett: Drahtlose Kommunikation und Modularität ILT HSR Lukas Grab
MSE Seminar Ownership types in Rust Benjamin Kühnis

Spring Semester 2017

Type Title Partner Students
Bachelorarbeit Visual Studio Code Integration for the Dafny Language and Program Verifier Microsoft Research, Redmond WA, USA Rafael Krucker & Markus Schaden (Winner of the Zühlke Engineering Prize)
Bachelorarbeit Modern IDE Support for Functional Programming Cyrill Schenkel & Florian Bitterlin
MSE Master-Projektarbeit If Functional Programming Is So Great, Why Isn’t Everyone Using It? IFS Mario Meili
MAS SE Masterarbeit eGovernment-App basierend auf Blockchain-verifiziertem Proof of Existence Christoph Buchli & Simon Beeli
MSE Seminar Program Slicing Samuel Kurath
MSE Seminar To What Extent Is Type Inference for Parameteric Polymorphism Possible in the Presence of Ad-Hoc and Subtype Polymorphism Daniel Marty

Autumn Semester 2016

Type Title Partner Students
Bachelorarbeit Extending a SCADA framework to support high availability mindclue GmbH Patrik Wenger & Manuel Schuler (Winner of the HSR prize for the best BA)
Studienarbeit Entwicklung einer Cross-Plattform ServiceApp für Sanitäranlagen Geberin group Pascal Marty & Noah Hendrikx
MSE Masterarbeit Webbased API for Realization of Real-Time Peer-to-Peer, Serverless, Installation and Plugin Free Board and Card Games With Untrusted Third Party Opponents Jannis Grimm
MSE Master-Projektarbeit Development of a Modelling Procedure for the Description of Test Set-Ups with Measuring Instruments Kistler AG Mario Meili
MSE Seminar Simply Typed Lambda Calculus with Parametric Polymorphism Christoph Amrein
MSE Seminar Liquid Type Inference Under the Hood Micha Reiser
MSE Seminar Derivation for the Necessity of Recursive Types and its Basic Usage Philipp Koster

Spring Semester 2016

Type Title Partner Students
Bachelorarbeit Data over DAB opendigitalradio.org Felix Morgner & Tobias Stauber (Winner of the bbq Software Services prize)
Bachelorarbeit Orchestrierung von Security­Updates für Linux­Serversysteme nine.ch Ueli Bosshard & Philipp Christen
Bachelorarbeit Rent a Beacon blinq.ch Benny Gächter & Benjamin Wilhelm
MSE Masterarbeit Staic checking for a DSL in the field of financial messaging Incentage AG Lukas Hofmeier
MSE Seminar Type Checking for Implicitly Typed Languages with Polymorphism Micha Reiser
MSE Seminar Dead Code Elimination Using Data Flow Analysis Christoph Amrein

Autumn Semester 2015

Type Title Partner Students
Bachelorarbeit Smartphone Applikation für intelligente, induktive Heizsysteme in Grosskuchen Fluxronn AG Konstantin Kayed & Theo Winter (featured on pg.14 of the 1 / 2016 issue of the HSR Magazine)
Studienarbeit Medikamententrackingsystem für die Flugrettung REGA Flugrettung Schweiz Fabienne Germann, Fabio Laib & Sandro Muggli (Interdisziplinäre Arbeit mit der Studiengang Maschinenbau (Prof. Christian Bermes))
Studienarbeit Easy Pay / Dominic Mülhaupt & Marino Andrea Melchiori
Internationale Praktikum Tools to increase the usability of the muen microkernel Chen Chin Jieh (Nanyang Technical University, Singapore)

Spring Semester 2015

Type Title Partner Students
Bachelorarbeit Parallelization of Crowd Simulation Siemens CT Robin Bader & Philipp Meier (Winner of the national Siemens Excellence Award)
Studienarbeit Eingabe Einzahlungsschein per Smartphone Michael Burri & Benjamin Wilhelm

Spring Semester 2013

Type Title Partner Students
Bachelorarbeit Simulating and Evaluating the Lötschberg Train Traffic System systransis AG, Betreuer: Prof. Dr. L. Bläser, ext. Experte Dr. F. Mehta, damals systransis Michael Gerber & Alain Käslin (Winner of the ELCA prize and the Prix Litra)

Industry Projects and Collaborations

I also collaborate with companies and other HSR institutes in various research and consulting projects in my role as a partner of the Institute for Software at the HSR. Here is a non-exhaustive and unordered list of some of the companies and institutes with whom I have collaborated:

Topics for future Student Projects

I believe that the main aim of a student project is to give you the opportunity to demonstrate the skills that you have acquired during your studies at the HSR. I also believe that this is best possible if you are able to work on a topic that inspires you. I therefore encourage you to find and formulate a topic that you would like to work on as your student project.

In general, I prioritise projects that:

  • Are within my areas of interest and expertise
  • Offer societal benefit

In case you have an interesting topic that you would like to work on as a student project with me, please come up to me in during a lecture break or send me an email. I also often have a number of topics from industrial partners which may be of interest to you.