Dr Christian Urban
Lecturer in Computer Science
- MSc Programme Board Chair
- Emmy-Noether Fellow of the German Research Council
Research interests
- Computer science
Biography
Research Interests
- Theorem provers
- Programming languages
- Compilers
- Type systems
- Functional programming
More Information
Research
King's Cybersecurity Centre
King's Cybersecurity Centre is 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 (Informatics)
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
King's Cybersecurity Centre
King's Cybersecurity Centre is 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 (Informatics)
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...