Skip to main content
KBS_Icon_questionmark link-ico
Dr Christian Urban

Dr Christian Urban

  • Academics

Lecturer in Computer Science

MSc Programme Board Chair. Emmy-Noether Fellow of the German Research Council.

Research subject areas

  • Computer science

Contact details

Biography

Research Interests

  • Theorem provers
  • Programming languages
  • Compilers
  • Type systems
  • Functional programming

More Information