I am now a lecturer at Birkbeck, University of London. Thus, this page is no longer maintained.

You should be redirected automatically within 5 seconds. Should this fail for some reason, please manually go to my new home page.
 Programming Principles, Logic and Verification   Department of Computer Science  University College London

Carsten Fuhs 

University College London
Department of Computer Science
Gower Street
London WC1E 6BT
United Kingdom

E-Mail: c.fuhs@cs.ucl.ac.uk
Phone: +44 20 7679 1300
Fax: +44 20 7387 1397
Room: 5.07, MPEB
Carsten Fuhs

 Selected Activities


I am a research associate (postdoc) in the Programming Principles, Logic and Verification Group in the Department of Computer Science of University College London. Previously, I was a post-doctoral research assistant in the School of EECS at Queen Mary University of London. Earlier, I worked as a research and teaching assistant and PhD student under the supervision of Jürgen Giesl at the Research Group Computer Science 2 of RWTH Aachen University.

My fields of interest include:

 Teaching Activities (Lehr- und Forschungsgebiet Informatik 2, RWTH Aachen, and Dept. of Computer Science, University College London)

 Selected Publications

PhD Thesis




 Carsten Fuhs Last modified: Tue Apr 21 17:04:12 BST 2015