Nat Karmios

Registered user since Wed 7 Dec 2022

Name:Nat Karmios

I’m a research engineer in the Verified Software group at Imperial College London.

I’m currently working on Gillian, a symbolic execution platform that’s parametric across target languages. My primary goal is to improve the accessibility and user experience of the Gillian platform in order broaden its user base, in the pursuit of real-world viability.

After serving multiple positions in traditional software engineering, my journey in verified software began in the final year of my undergraduate studies — I completed my final project under Prof. Philippa Gardner, introducing a visual debugger for symbolic execution and state matching in Gillian. After earning a first class MEng degree, I accepted the invitation to continue working on the Gillian platform as a research engineer.

Country:United Kingdom
Affiliation:Imperial College London
Personal website:
Research interests:PL


Show activities from other conferences

ECOOP and ISSTA 2023-profile
View general profile