Skip to main content
Lab directory

Prof. Christian Urban — Research Profile

This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Oct 31, 2026

Graduate application deadlines

Department of Informatics

  • Computer Science Research MPhil/PhD

    2027-28 (October 2027 entry)
    • Department deadline (funded PhD positions)

      Jan 15, 2027

    • October 2027 entry — Overseas fee status (final)

      Jun 1, 2027

    • Application deadline

      October 2027 entry — Home fee status (final)

      Aug 25, 2027

Considering this lab for grad school?

Save it to compare side by side with other labs, and keep your contact prep in one place.

What to prepare before emailing a PI

About

킹스 칼리지 런던 정보학과 소속 Christian Urban 교수의 등록된 연구 분야는 Theorem provers, Programming languages, Compilers, Type systems, Functional programming입니다.

Research keywords

Theorem proversProgramming languagesCompilersType systemsFunctional programming

Other labs in this department

See all labs in this department