Employment
|
| 2015 - ongoing |
Professor for Software-Engineering, Institute for Software Engineering IST,
Faculty of Informatics, University of Koblenz-Landau. |
| 2014 - ongoing |
Director Research Projects, Fraunhofer ISST, Dortmund |
| 2009 - 2015 |
Professor for Software Engineering, Department of Computer Science, Technical
University Dortmund. |
| 2009 - 2014 |
Scientific Coordinator "Enterprise Engineering", Fraunhofer ISST, Dortmund |
| 2008 - 2009 |
Royal Society Industrial Fellow at Microsoft Research Cambridge (MSRC).
|
| 2008 - 2009 |
Non-Stipendiary Research Fellow at Robinson College (Univ. Cambridge). |
| 2006 - 2009 |
Senior Lecturer, Research Group for Secure Software Engineering, Department of
Computing, The Open University. |
| 2001 - 2006 |
Researcher, Chair for Software and Systems Engineering (Prof.Dr.Dr.h.c. Broy),
Department of Informatics, TU München
|
Major research visits / Visiting affiliations
|
| May - July 2007 |
Software and Systems Engineering, TU Munich (Germany). Visiting
Manfred Broy. |
| May - August 2000 |
Bell Labs, Palo Alto (Lucent Tech.). Visiting M. Abadi. |
Awards
|
|
Ten Year Most Influential Paper Award of the conference ``Models 2012'' |
| 09/2009 |
Appointed as Senior Member, Robinson College (Univ. Cambridge). |
|
Junior Researcher Medal, Stiftung Werner-von-Siemens-Ring, 13.12.2004 |
Degrees
|
| DPhil (Oxford PhD) |
supervised by Prof. Samson Abramsky, FRS
supported by the Studienstiftung des deutschen
Volkes and the Oxford University Computing Laboratory.
Thesis on Principles for Secure Systems Design published by Springer
(later translated to Chinese by Tsinghua University Press, Beijing). The first two years of my PhD studies were
spent at LFCS, Division of Informatics,
University of Edinburgh, GB.
|
| Masters in Mathematics |
with minor subject Computer Science at the University of Bremen supported by the Studienstiftung des deutschen Volkes
resulting in a Diplom (German Masters degree). Diplom thesis in categorical model theory which later resulted
in a publication in the Journal for Pure and Applied Algebra. As part of the studies, I attended lectures in
Part IIb/III of the Mathematical Tripos at University of
Cambridge |
