TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

  Home  |  Research/Competence  |  Teaching  |  People  |  Publications  |  Misc  |  Contact  | 

|    

Competence Centre Specification & Verification & Testing - People

In charge of this Competence center is:

• Dr. Maria Spichkova

Researchers:

• Dr. Peter Braun
• Lukas Bulwahn
• Alarico Campetelli
• Sebastian Eder
• Mario Gleirscher
• Benedikt Hauptmann
• Maximilian Irlbeck
• Maximilian Junker
• Christian Leuxner

External PhDs:

• Florian Hölzl
• Ignacio Fernandez de la Puente
• Hoang Quoc Tuan Le
• Bernd Spanfelner