Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Associate Professor, Senior Lecturer, Reader |
|---|---|
| Research fields | Theoretical Computer Science |
| Keywords | Formal methods, Petri nets |
Current contact address
Host during sponsorship
| Prof. Dr. Wolfgang Reisig | Institut für Informatik, Humboldt-Universität zu Berlin, Berlin |
|---|---|
| Start of initial sponsorship | 01/11/2013 |
Programme(s)
| 2013 | Humboldt Research Fellowship Programme for Postdocs |
|---|