Dr Vasileios KlimisLecturer in Computer ScienceResearchResearchResearch 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.