Dr. Matthias Horbach
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Matthias Horbach
- 3 Jahre und 11 Monate, Nov. 2012 - Sep. 2016
Forscher und Entwickler
Max-Planck-Institut für Informatik
Forscher im Projekt AVACS zur Entwicklung von Methoden zur mathematischen Verifikation und Analyse von Modellen sicherheitskritischer eingebetteter Systeme. Leitender Entwickler des Beweisers H-Pilot und des Programms HAHA zur Analyse hybrider Systeme. Seit 2016 Administrator und Hardware-Beauftragter der Arbeitsgruppe.
- 3 Jahre und 2 Monate, Nov. 2012 - Dez. 2015
Forscher
Universität Koblenz-Landau
Entwicklung von Methoden zur Analyse und Verifikation von sicherheitkritischen eingebetteten Systemen im Sonderforschungsbereich AVACS (http://www.avacs.org) Leitender Entwickler von HAHA, einem Programm zur Sicherheits-Analyse strukturierter hybrider Systems Leitender Entwickler von H-Pilot, einem hierarchischen Beweiser für lokale Theorie-Erweiterungen
- 1 Jahr und 10 Monate, Jan. 2011 - Okt. 2012
Forscher
University of New Mexico
Entwicklung von Methoden zur Programmanalyse und -verifikation
Ausbildung von Matthias Horbach
- 4 Jahre, Juli 2006 - Juni 2010
Informatik
Universität des Saarlandes
Automatisches Beweisen Entscheidungsverfahren
- 5 Jahre und 10 Monate, Okt. 2000 - Juli 2006
Informatik
Universität des Saarlandes
Theoretische Informatik Beweistheorie Semantik von Programmiersprachen
- 4 Jahre und 9 Monate, Okt. 2000 - Juni 2005
Mathematik
Universität des Saarlandes
Algebra, algebraische Topologie
Sprachen
Deutsch
Muttersprache
Englisch
Fließend
Japanisch
Grundlagen
Französisch
Grundlagen
Portugiesisch
Grundlagen
XING Mitglieder mit ähnlichen Profilangaben
XING – Das Jobs-Netzwerk
Über eine Million Jobs
Entdecke mit XING genau den Job, der wirklich zu Dir passt.
Persönliche Job-Angebote
Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.
22 Mio. Mitglieder
Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.
Kostenlos profitieren
Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.