Skip to main content
Dr Christian Urban
Dr Christian Urban

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

    cyberculture
    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.

    THUMB PAGE Security Cameras
    Security (Informatics)

    The Security Hub consolidates the research related to security

    ARTICLE Code
    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...

    programming code

      Research

      cyberculture
      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.

      THUMB PAGE Security Cameras
      Security (Informatics)

      The Security Hub consolidates the research related to security

      ARTICLE Code
      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...

      programming code