Erweiterte Suche


Zielgruppennavigation: 

 

Hauptnavigation: 

Sprache:

Arbeitsgruppe Softwareentwicklung und Verifikation

Prof. Dr. Markus Müller-Olm
Institut für Informatik
Einsteinstraße 62
48149 Münster
Germany

Tel.: +49-251-83-33792
Fax: +49-251-83-33755

Mitglieder der Arbeitsgruppe


Prof. Dr. Markus Müller-Olm Alexander Wenner Sebastian Kenter Benedikt Nordhoff

Leitung

Prof. Dr. Markus Müller-Olm
Tel.: +49-251-83-33765, markus.mueller-olm AT uni-muenster.de, Raum 716

Sekretariat

Claudia Giesbert
Tel.: +49 251 83-33792, giesbec AT math.uni-muenster.de, Raum 202, Orleansring 10

Wissenschaftliche Mitarbeiter

Alexander Wenner
Tel.: +49-251-83-32749, alexander.wenner AT uni-muenster.de, Raum 715

Benedikt Nordhoff
Tel.: +49-251-83-32749, b.n AT uni-muenster.de, Raum 715

Sebastian Kenter
Tel.: +49-251-83-32678, s.kenter AT uni-muenster.de, Raum 717

Ehemalige Mitarbeiter

Dr. Peter Lammich (ab September 2011 TU-München)
Dorothea Jansen (ab August 2011 Arbeitsgruppe Differentialgeometrie)
Jörg-Stefan Praßni (ab Mai 2009 Arbeitsgruppe Visualisierung und Computergrafik)

Adresse

Institut für Informatik
Westfälische Wilhelms-Universität Münster
Einsteinstraße 62
48149 Münster
Germany

Fax: +49-251-83-33755
Impressum | © 2007 FB10 WWU Münster
Universität Münster
Schlossplatz 2 - 48149 Münster
Tel.: +49 (251) 83-0 - Fax: +49 (251) 83-3 20 90
E-Mail: