Lehrstuhl Softwaretechnik und Programmiersprachen

Otto-Friedrich-Universität Bamberg

An der Weberei 5, Raum 03.012

96047 Bamberg

Tel.: 0951/863-3854

Fax: 0951/863-3855

E-Mail an Alexander Heußner

Sprechstunde: Mittwochs, 11:00 - 12:00 Uhr / in der vorlesungsfreien Zeit nach Vereinbarung

Persönliche Webseite

www.swt-bamberg.de/aheussner/

Interessensgebiete

Formale Modelle für asynchrone und nebenläufige Programmierparadigmen. Algorithmen zur automatischen Verifikation und Synthese unendlicher Transitionssysteme. Diagrammatische Modellierungs- und Spezifikationssprachen. (Details auf der persönlichen Webseite.)

Werdegang

Seit 2012: Akademischer Rat a.Z. am Lehrstuhl Softwaretechnik und Programmiersprachen der Otto-Friedrich Universität Bamberg.

2010-2012: Wissenschaftlicher Mitarbeiter (Post-doc) in der Arbeitsgruppe Formale Methoden & Verifikation an der ULB, Brüssel.

2008–2010: Wissenschaftlicher Mitarbeiter in der Arbeitsgruppe Formale Methoden am LaBRI, Bordeaux.