Christian Urban
  • Phone82584
  • WC2B 4PH

    United Kingdom

  • 425
    Citations

Personal profile

Research interests

Theorem provers, Programming languages, Compilers, Type systems and Functional programming.

Research interests (short)

Theorem provers, Programming languages, Compilers, Type systems and Functional programming.

Fingerprint

Dive into the research topics where Christian Urban is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or