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. We’re talking about some hands-on fuzz-testing and real-world validation, right there 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 cooking up include languages for graphical shaders, the intriguing world of weak memory semantics, and exploring models of RDMA on TSO Architectures.

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.