Prof. Dr. Jan Jürjens - CV

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.
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
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