King's College London

Research portal

Christian Urban

Dr Christian Urban

Lecturer

Contact details:

Postal address:
(N) 7.07
North Wing
Bush House
The Strand
United Kingdom

Telephone: 82584

ORCID: 0000-0001-9154-2822

Scopus Author ID: 56240847500

Department

Research Group

Research interests

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

View all (26) »

Top downloads

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454