Team

Group Lead

Sebastian Erdweg, Foto by Vladi Fotografie
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, WebAssembly

Office: Staudingerweg 9, 03-221

 

Topics: Datalog, compilers

Office: Staudingerweg 9, 03-221

 

Topics: functional programming

Office: Staudingerweg 9, 03-221

E-Mail:

 

Topics: abstract interpretation

Office: Staudingerweg 9, 03-231

 

Topics: incremental computing, Datalog, type checking
Runqing Xu, M.Sc.

Office: Staudingerweg 9, 03-231

 

Topics: theorem proving, Datalog

 

 

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

2023:

 

2022:

 

2020:

 

2019:

 

 

Previous PhD Students