Software Technologies Research Group

Otto-Friedrich-University of Bamberg

Wilhelmsplatz 3, Room 209

96047 Bamberg

Germany

 

Phone: +49 (0)951/863-3854

Fax: +49 (0)951/863-3855

E-Mail an Stefan Rieger

Consultation hour: Wednesday, 10:00-11:00 am

Research Interests

Formal methods, analysis and verification of pointer programs. techniques or haep abstraction, parallel systems.

CV

Since 2011: Staff Scientist, Software Technologies Research Group, University of Bamberg, Germany.

2009-2011: Software Analyst, SOPTIM AG, Germany.

2009: Doctorate.

2005-2009: Staff Scientist, Chair for Software Modeling and Verification, University of RWTH Aachen, Germany.

2000-2005: Studied computer science, University of RWTH Aachen, Germany.