diff --git a/_people/karmios.md b/_people/karmios.md new file mode 100644 index 0000000000000000000000000000000000000000..d11f15e64f6b0adc25e91f673de880981721e473 --- /dev/null +++ b/_people/karmios.md @@ -0,0 +1,14 @@ +--- +firstname: Nat +lastname: Karmios +position: Researcher +webpage: +email: nathaniel.karmios18@imperial.ac.uk +github: +alumnus: false +projects: +--- + +Nat Karmios is a Research Engineer in Imperial's Verified Software Group under Professor Philippa Gardner, working on [Gillian](https://vtss.doc.ic.ac.uk/research/gillian.html), 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.