About

My first name dances to the tune of ‘vaa-SEE-lee-aws’ while my surname is a breeze – just ‘CLEM-iss’

As for my day job, I am a Lecturer (Assistant Professor in US lingo) at Queen Mary University of London in the School of Electronic Engineering and Computer Science.

My latest research involves taking those highbrow formalisations (whether they happen to be my own brainchildren or someone else’s prodigies) on a robust reality check. The aim is to keep them firmly rooted and ensure they don’t become too comfortable in the territory of theoretical daydreams. I’m getting my hands dirty with fuzz-testing and checking things out in the real world, right in the domain of the big, bad machines. It's much like daring to cook a gourmet meal from a celebrity chef's "gastronomic hypothesis" for the very first time in your own kitchen. The results can be as unexpectedly delightful as they are humorously catastrophic. Throughout this expedition, I'm the curious collector of both triumphs and, well, let's call them 'epicurean experiments'. The recipes I’ve been working with include languages for graphical shaders, the intriguing world of weak memory semantics, and RDMA models on TSO architectures. Recently, I've also been getting into Quantum Computing.

In the archives of my research odyssey, I once tiptoed into the quirky kingdom of network verification, attempting to tame and give Software-Defined Networks a thorough 'Are you really as defined as you claim?' interrogation.