Nat Karmios

Nat Karmios is a Researcher in the Department of Computing at Imperial College London's Faculty of Engineering, working under Professor Philippa Gardner. They contribute to the development of Gillian, a parametric symbolic execution tool for symbolic testing, verification, and compositional testing. Their role involves enhancing Gillian's accessibility via a visual debugger for symbolic execution processes.

• Education: MEng in Computing from Imperial College London, with thesis work aligned with the Verified Software Group.

Research Focus: Nat’s work centers on improving software verification techniques through tools like Gillian, emphasizing practical applications of formal methods in software engineering. Their industry experience complements academic research, driving tool development for real-world usability. Key areas include symbolic execution, automated testing frameworks, and compositional verification strategies.

• Affiliations: Verified Software Group, Gillian Project.

No scientific awards or grants are explicitly mentioned in the provided materials. Advising and team collaborations are integral to their role but no specific details are provided here.