Team

Group Lead

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

 

Team Members

Office: Staudingerweg 9, 03-231

 

Topics: type systems, static analysis, formal methods

Office: Staudingerweg 9, 03-221

 

Topics: programming languages, Datalog

Office: Staudingerweg 9, 03-231

 

Topics: domain-specific languages, type checking

 

 

Alumni

PhD student 2022
Left to pursue a PhD in a different area

PhD student 2015–2021

 

Topics: static analysis, formal methods

 

Now post-doc at TU Darmstadt
PhD student 2015–2021

 

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

 

Now research engineer at Github Next

 

 

Group Pictures

2022:

 

2020:

 

2019:

 

 

Previous PhD Students