Team

Group lead

Office: Staudingerweg 9, room 03-435
Phone: +49 6131 39-37257
Fax: +49 6131 39-23534

 

PhD students

Office: Staudingerweg 9, room 03-126

 

Topics: static analysis, formal methods

Office: Staudingerweg 9, room 03-126

 

Topics: domain-specific languages, type checking

Office: off campus at Itemis AG

 

Topics: incremental computing, static analysis, domain-specific languages

 

External PhD students:

Previous external PhD students: