Lehrstuhl Softwaretechnik und Programmiersprachen

Otto-Friedrich-Universität Bamberg

Wilhelmsplatz 3, Raum 209

96047 Bamberg

 

Tel.: 0951/863-3854

Fax: 0951/863-3855

E-Mail an Stefan Rieger

Sprechstunde: Mittwochs, 10:00-11:00 Uhr

Interessensgebiete

Formale Methoden, Analyse und Verifikation von Pointerprogrammen, Techniken zur Heapabstraktion, parallele Systeme.

Werdegang

Seit 2011: Wissenschaftlicher Mitarbeiter, Lehrstuhl Softwaretechnik und Programmiersprachen, Universität Bamberg.

2009-2011: Softwareanalyst, SOPTIM AG, Aachen.

2009: Promotion.

2005-2009: Wissenschaftlicher Mitarbeiter, Lehrstuhl Informatik 2 (Softwaremodellierung und Verifikation), RWTH Aachen.

2000-2005: Studium der Informatik (Diplom), RWTH Aachen.