Prof. Dr. Farhad Mehta
Angestellt, Professor (Software Engineering), OST – Ostschweizer Fachhochschule
Rapperswil SG, Schweiz
Werdegang
Berufserfahrung von Farhad Mehta
Bis heute 3 Jahre und 10 Monate, seit Sep. 2020
Professor (Software Engineering)
OST – Ostschweizer FachhochschuleUnterricht und Projektarbeit auf die Bachelor- und Master-Stufen in den Bereichen Software Engineering, Programmiersprachen, verteilte Systeme, formale Methoden und Algorithmik. Schulentwicklung in den Bereichen Didaktik und neuen Medien.
Bis heute 5 Jahre und 6 Monate, seit Jan. 2019
Experte
Innosuisse
Sachexperte für die Beurteilung von Anträge der Innosuisse - Schweizerische Agentur für Innovationsförderung.
Bis heute 9 Jahre und 5 Monate, seit Feb. 2015
Institutspartner
Institut für Software
Angewandte Forschung und Entwicklung und Technologietransfer in den Bereichen Software-Engineering, formale Methoden, funktionale Programmierung und Algorithmik. Unterricht und Studiengangleitung bei der beruflichen Weiterbildung.
Bis heute 9 Jahre und 5 Monate, seit Feb. 2015
Direktor
Correctness Lab
Angewandte Forschung und Entwicklung und Technologietransfer in den Bereichen Software-Engineering, formale Methoden, funktionale Programmierung und Algorithmik. Unterricht und Studiengangleitung bei der beruflichen Weiterbildung.
5 Jahre und 7 Monate, Feb. 2015 - Aug. 2020
Professor (Software Engineering)
HSR Hochschule für Technik RapperswilUnterricht und Projektarbeit auf die Bachelor- und Master-Stufen in den Bereichen Software Engineering, Programmiersprachen, verteilte Systeme, formale Methoden und Algorithmik. Schulentwicklung in den Bereichen Didaktik und neuen Medien.
6 Jahre und 8 Monate, März 2008 - Okt. 2014
Senior Systems Engineer / Department Head
systransis AG
Entwicklung und Projektmanagement im Bereich Verkehrssystem-Informatik.
3 Jahre und 6 Monate, Sep. 2004 - Feb. 2008
Wissenschaftlicher Angestellter
Eidgenössische Technische Hochschule (ETH) Zürich
Forschung, Entwicklung und Lehre im Bereich formale Methoden für die Entwicklung sicherheitskritische Systeme.
Forschung und Lehre im Bereich "Computational Logic" für die Entwicklung von verlässlichere Software.
Ausbildung von Farhad Mehta
3 Jahre und 6 Monate, Sep. 2004 - Feb. 2008
Informatik
ETH Zürich
Formale Methoden und Beweisführung für die Entwicklung sicherheitskritischer Software-Systeme
1 Jahr und 7 Monate, Sep. 2002 - März 2004
Informatik
Technische Universität München
Logik, Beweisführung, formale Methoden.
4 Jahre und 4 Monate, Sep. 1997 - Dez. 2001
Computer Science and Engineering
IIT Delhi
Ingenieurwissenschaft (breite Grundlagen), Informatik als Schwerpunkt.
Sprachen
Deutsch
Fließend
Englisch
Muttersprache
Französisch
Grundlagen