We are very happy to welcome Nat Karmios, who has joined the group as Research Engineer.

Nat has several years of industry experience, has recently completed an MEng in Computing at Imperial and will work on improving Gillian’s accessibility through the development of a visual debugger for symbolic execution and verification.