Team

Group Lead

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

 

Team Members

Office: Staudingerweg 9

 

Topics: type systems, static analysis, formal methods

Office: Staudingerweg 9

 

Topics: static analysis, formal methods

Office: Staudingerweg 9

 

Topics: domain-specific languages, type checking

 

Previous Team Members

PhD student 2015–2021

 

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

 

Previous external PhD students