
Dr Christian Urban
Lecturer in Computer Science
- MSc Programme Board Chair
- Emmy-Noether Fellow of the German Research Council
Research interests
- Computer science
Biography
Christian Urban is a Lecturer in Computer Science, in the department of Informatics at King's College London. He received his Master's degree from the University of St Andrews and completed his PhD at Cambridge University, funded by two scholarships from the German Academic Exchange Service (DAAD). Before joining King's, he was awarded a Junior Research Fellowship at Corpus Christi College in Cambridge, and a five-year Emmy-Noether fellowship, which he held at the TU Munich, Germany. His research was awarded a Thoralf Skolem Award, a ten-year test-of-time award from CADE.
Research interests
- Theorem provers
- Programming languages
- Compilers
- Type systems
- Functional programming
Further information
Research

Trusted Autonomous Systems Hub
The Trusted Autonomous Systems Hub develops the trustable autonomous systems of tomorrow.

King's Cybersecurity Centre
An EPSRC-NCSC Academic Centre of Excellence in Cyber Security Research (ACE-CSR). It provides expertise on most areas of cyber security, it has a critical mass of researchers working on three main research themes and their interrelationship.

Security Hub
The Security Hub consolidates the research related to security

Software Systems
The group studies design, modelling and engineering of software systems.
News
Simplifying software verification techniques
Researchers at King’s and the University of Illinois at Urbana-Champaign (UIUC) are collaborating to develop techniques to enhance software verification...

Research

Trusted Autonomous Systems Hub
The Trusted Autonomous Systems Hub develops the trustable autonomous systems of tomorrow.

King's Cybersecurity Centre
An EPSRC-NCSC Academic Centre of Excellence in Cyber Security Research (ACE-CSR). It provides expertise on most areas of cyber security, it has a critical mass of researchers working on three main research themes and their interrelationship.

Security Hub
The Security Hub consolidates the research related to security

Software Systems
The group studies design, modelling and engineering of software systems.
News
Simplifying software verification techniques
Researchers at King’s and the University of Illinois at Urbana-Champaign (UIUC) are collaborating to develop techniques to enhance software verification...
