Christian W. Probst

Christian W. Probst

Associate professor, head of section

Richard Petersens Plads

Building: 324, 213

2800 Kgs. Lyngby

Denmark

Phone: 45257512

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.

 

CV

Education

1989 - 1994 M.Sc. in Computer Science - Universität des Saarlandes, Germany
1999 - 2002 Ph.D. thesis in Computer Science on the subject “A Demand-Driven Solver for Constraint-basedControl Flow Analysis” - Universität des Saarlandes, Germany

Academic grades

Ph.D.

Professional experience

1999 - 2002 Graduate Research Assistant - Universität des Saarlandes, Germany, Informatics
2003 - 2005 Postdoctoral Researcher (UCI) - University of California, Irvine, Donald Bren School for Information and Computer Science
2005 - 2005 Lecturer (UCI) - University of California, Irvine, Donald Bren School for Information and Computer Science
2005 - 2008 Assistant Professor (DTU Informatics) - Technical University of Denmark, Informatics and Mathematical Modelling
2008 - Associate Professor (DTU Informatics) - Technical University of Denmark, Informatics and Mathematical Modelling
2008 - External Lecturer (CBS) - Copenhagen Business School, Informatics

Languages

German (mother tongue), Danish (fluent), English (fluent)

International experience

Postdoctoral stay at the University of California, Irvine

My files

View graph of relations

View all »

  • Science of Computer Programming

    ISSNs: 0167-6423

    Additional searchable ISSN (Electronic): 1872-7964

    Elsevier BV, Netherlands

    BFI (2017): BFI-level 2, Scopus rating (2016): CiteScore 1.36 SJR 0.454 SNIP 1.271, ISI indexed (2013): ISI indexed yes, Web of Science (2017): Indexed Yes

    Central database

    Journal

  • Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications

    ISSNs: 2093-5374, 2093-5374

    Additional searchable ISSN (Electronic): 2093-5382

    Innovative Information Science & Technology Research Group, Korea, Republic of

    Scopus rating (2016): CiteScore 1.62, ISI indexed (2013): ISI indexed no

    Indexed in DOAJ

    Central database

    Journal

  • Electronic Notes in Theoretical Computer Science

    ISSNs: 1571-0661

    Elsevier BV, Netherlands

    BFI (2017): BFI-level 1, Scopus rating (2016): CiteScore 0.66 SJR 0.256 SNIP 0.609, ISI indexed (2013): ISI indexed no, Web of Science (2016): Indexed yes

    Central database

    Journal

View all »

Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word
Download as: To download, please limit the number of search results to 1,000 or less.

ID: 1831331