Team

Group Lead

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

 

Team Members

Katharina Brandl, M.Sc.

Office: Staudingerweg 9, 03-231

 

Topics: type systems, static analysis, formal methods
Sebastian Mies, M.Sc.

Office: Staudingerweg 9, 03-221

 

Topics: programming languages, fixpoint algorithms

Office: Staudingerweg 9, 03-231

 

Topics: domain-specific languages, type checking

 

 

Group Pictures

2022:

 

2020:

 

2019:

 

 

Previous Team Members

PhD student 2015–2021

 

Topics: static analysis, formal methods
PhD student 2015–2021

 

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

 

Previous PhD Students