About

My first name is pronounced vaa-SEE-lee-aws — yes, all of it. The surname is mercifully just KLEE-miss.

I'm a Lecturer at Queen Mary University of London, in the School of Electronic Engineering and Computer Science.

My research has a simple premise: take elegant theoretical formalisations, mine or other people's, and find out where they quietly fall apart. I do this through fuzz-testing and real-world deployment, in the unglamorous but honest domain of actual hardware. Think of it as stress-testing a recipe that's never left the cookbook. Current ingredients: graphical shader languages, weak memory semantics, RDMA models on TSO architectures, the logic of human expectation and lately, Quantum Computing.

Before all that, I spent time in network verification, specifically interrogating Software-Defined Networks on whether they were quite as "defined" as advertised. They were not.