Pantazis‘s research involves designing and developing novel tools and techniques for programming, analysing and testing complex asynchronous software, ranging from device drivers to distributed systems.

Pantazis is currently working on two projects for his PhD: P#, a new event-driven asynchronous programming language that is co-designed with static data race analysis and systematic testing; and Whoop, a fully automated tool that statically analyses Linux device drivers for data races, and then exploits race-freedom guarantees to accelerate bug-finding.

His industry work experience includes internships at Microsoft Research and Codeplay. Pantazis’s research is generously funded by a gift from a href="" target="blank"Intel.

Pantazis’s research interests include automatic analysis for detecting data races in concurrent Linux device drivers, and the P# language for reliable asynchronous programming.

Group Publications