---
firstname: Thomas
lastname: Wood
position: PhD Student
webpage: https://twitter.com/IgnoredAmbience
github: IgnoredAmbience
alumnus: true
---

Thomas was a PhD student with the group, working on software automated testing, verification and reasoning techniques and theory.