Skip to main content
School of Electronic Engineering and Computer Science

Dr Vasileios Klimis


Lecturer in Computer Science


Research Interests:

I am exploring novel ways to leverage formal logic, logical frameworks and programming language technology for enhancing fuzz testing, verification and validation of networking implementations, GPU compilers, weak memory models and RDMA (Remote Direct Memory Access) configurations.

Back to top