Jörn Ossowski

Curriculum Vitae

Education

2010 Ph.D. in Computer Science at the Rheinische-Friedrich-Wilhelms Universität Bonn
2004 Computer Science Degree at the Rheinische-Friedrich-Wilhelms Universität Bonn

Professional Experience

since 2016 thyssenkrupp AG
2011-2015 Schenker AG
2007-2011 T-Mobile International AG
2006-2007 Winterheller Software GmbH
2005-2006 Graduate research assistant at the Rheinische-Friedrich-Wilhelms Universität Bonn
1999-2004 Royal Bank of Scotland (RBS) Ratingen
1999-2004 Student research assistant at the Rheinische-Friedrich-Wilhelms Universität Bonn

Research Interests

C++, Template Meta Programming
Multi-Threading, High-Performance Computing
Formal Verification Methods, Model Checking, Probabilistic Model Checking
Symbolic Representations, Binary Decision Diagrams and their variants