Verified Software

Nat Karmios is a Research Engineer in Imperial’s Verified Software Group under Professor Philippa Gardner, working on Gillian, a parametric symbolic execution tool for symbolic testing, verification and automatic compositional testing.

After earning their MEng in Computing at Imperial - completing their thesis project with the group - Nat has brought their years of industry engineering experience to improve Gillian’s accessibility through the development of a visual debugger for symbolic execution and verification.

Group Publications

1. Symbolic Debugging with Gillian

   • Nat Karmios
   • Sacha-Élie Ayoun
   • Philippa Gardner

   Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, pp. 1–2