Christian W. Probst

Christian W. Probst

Associate Professor

Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 324, room 213

2800 Kgs. Lyngby

Home page
Personal website

Request a vCard via e-mail.

DTU news


Keywords Cyber physical systems | Modelling and analysis | Insider threats | Programming languages | Cyber security | Compilers

Christian W Probst’s research interests are in the area of system security, from organisations to distributed computer systems. He is the head of the Section for Cyber Security at DTU Compute.

In his research, Christian combines modelling and analysis of systems to develop systems with guaranteed properties, or to assess these properties. His research leads to practical solutions as part of tools or processes that can be applied to any kind of systems, but especially to the security of networked computer systems and organisations, and to runtime systems including processors and virtual machines. In the area of security of systems, examples include system models for the detection of insider threats, organisational security, and verification of workflows, and in the area of runtime systems examples are hardware support for javascript, semantics-guided generation of static analysers, and adaptive runtime systems for embedded platforms.

Christian teaches compiler development at different levels and an introduction to the development of distributed systems. He has an MSc and a PhD from Universitaet des Saarlandes, Germany. Before joining DTU, he has worked at the internationale conference and research center Schloss Dagstuhl, Germany, and at the University of California, Irvine, in the USA. In 2005, he joined the Institute for Applied Matematics and Computer Science at DTU.