Vasileios Klimis

Dr. Vasileios Klimis is a Lecturer in Computer Science at Queen Mary University of London, affiliated with the School of Electronic Engineering and Computer Science. He is part of the Centre for Fundamental Computer Science and focuses on advancing formal methods, fuzz testing, and verification techniques for complex systems.

Research Interests: Klimis specializes in applying formal methods, logical frameworks, and programming language technology to networking stacks, GPU compilers, weak memory models, RDMA configurations, and quantum computing environments. His work emphasizes challenges in memory persistency models, operational semantics of distributed systems, and validation of hardware-software interfaces.

Key Research Themes:

• Formal Verification of Software-Defined Networks
• Semantics of Remote Direct Memory Access (RDMA)
• Weak Memory Model Analysis
• Compiler Design for GPUs
• Quantum Computing Methodologies

Grants & Advising: While no specific grants or advisees are listed, Klimis’s publications reflect active collaboration with institutions like the University of Cambridge (via co-authors like Wickerson and Donaldson). His work often targets bridging gaps between theoretical formal methods and practical system implementations.

Labs/Teams: Engaged with the Centre for Fundamental Computer Science at Queen Mary, focusing on foundational research in computer science with industrial relevance.