The Software Construction and Verification Group

Former Research Assistants

Dr. Peter Lammich
TU München
Dr. Dorothea Jansen
Arbeitsgruppe Differentialgeometrie
Dr. Jörg-Stefan Praßni
Arbeitsgruppe Visualisierung und Computergrafik