Skip to content
Snippets Groups Projects
Normal view Permalink
2022-10-10-karmios.md 396 B
Newer Older
Teresa Carbajo-Garcia's avatar
Add new file
Teresa Carbajo-Garcia committed
1 2 3 4 5 6 7 8 9 
---
title: Nat Karmios, new research engineer in the group
---

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.