Skip to main content
School of Electronic Engineering and Computer Science
  1. School of Electronic Engineering and Computer Science
  2. People
  3. Profiles

Dr Vasileios Klimis

Vasileios

Lecturer in Computer Science

Research

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