Die Arbeitsgruppe Softwareentwicklung und Verifikation

Leitung

Raum 716

Raum 120.002
Orleansring 10

T: +49 251 83-33792
F: +49 251 83-32729
claudia.giesbert@uni-muenster.de

Raum 717

Raum 715

Raum 715

Dr. Sebastian Knausenberger (geb. Kenter)
Budelmann Elektronik GmbH, Münster
s.k@uni-muenster.de

Dr. Benedikt Nordhoff
codecentric GmbH, Münster
b.n@uni-muenster.de

Alexander Wenner
GimmiSys GmbH, Münster
alexander.wenner@uni-muenster.de

Dr. Peter Lammich
University of Twente, Enschede, NL
p.lammich@utwente.nl

Dr. Dorothea Jansen
LVM Versicherung, Münster