Dr Christian Urban Academics Lecturer in Computer Science MSc Programme Board Chair. Emmy-Noether Fellow of the German Research Council. Research subject areas Computer science Contact details +44 020 7848 2584 christian.urban@kcl.ac.uk
Priority Inheritance Protocol Proved Correct 01 January 2019 Modelling Homogeneous Generative Meta-programming 16 June 2017 POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl) 07 August 2016 Mechanising Turing machines and computability theory in Isabelle/HOL 01 January 2013 A formalisation of the myhill-nerode theorem based on regular expressions 25 January 2014 A formal model and correctness proof for an access control policy framework 01 January 2013 General Bindings and Alpha-Equivalence in Nominal Isabelle 01 January 2012 Nominal Logic Programming 01 August 2008 Revisiting Cut-Elimination: One Difficult Proof is Really a Proof 01 January 2008 Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle 01 January 2008