POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
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: https://nat.karmios.com
Research interests:PL


Show activities from other conferences

POPL 2024-profile
View general profile