MxNat Karmios
Research Associate (Software Engineer) in Program Analysis
Department of Computing - Faculty of Engineering
Orcid identifier0009-0000-3582-2483 (opens in a new tab)
- Research Associate (Software Engineer) in Program AnalysisDepartment of Computing - Faculty of Engineering
- HXLY 433, Huxley Building, South Kensington Campus, United Kingdom
BIO
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 accessiblity through the development of a visual debugger for symbolic execution and verification.
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 accessiblity through the development of a visual debugger for symbolic execution and verification.
FACULTY
- Faculty of Engineering
POSITION NAME
- Research Associate (Software Engineer) in Program