I'm co-organising the 1st Imperial - UCL Verification Meeting Nov 28, 2019 1 min read I’m co-organising the 1st Imperial - UCL Verification Meeting. Christoph Haase Associate Professor
