I have joined University College London

Last updated on Nov 27, 2019 1 min read

I have joined the Programming Principles, Logic, and Verification Group at the Department of Computer Science at University College London (UCL) as an Associate Professor.

Avatar
Christoph Haase
Associate Professor