King's College London

Research portal

Christian Urban

Dr Christian Urban

Lecturer

Start date at Kings: 23/09/2011

Contact details:

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

Telephone: +44 (0)20 7848 2584

Department

Research Group

Research interests

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

View all (24) »

Top downloads

View graph of relations

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