The Software Construction and Verification Group

Professor

Room 716

Room 120.002
Orleansring 10

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

Room 717

Room 715

Room 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