Skip to main content
KBS_Icon_questionmark link-ico
Dr Christian Urban
Dr Christian Urban

Dr Christian Urban

  • Academics
  • Supervisors

Lecturer in Computer Science

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

Research subject areas

  • Computer science

Contact details


Research Interests

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

More Information