Full name: Dominik Luecke
Formal name: D. Luecke
Function: ERCIM Fellow
Email: Dominik.Luecke@cwi.nl
Room: L210
Research groups: Formal Methods
Formal name: D. Luecke
Function: ERCIM Fellow
Email: Dominik.Luecke@cwi.nl
Room: L210
Research groups: Formal Methods
Career
| 2013 | ERCIM Fellow FM - Formal methods |
| 2012 - 2013 | ERCIM Fellow SEN3 - Foundations of Software Engineering |
