diff --git a/_people/wood.md b/_people/wood.md index 4d4448b75705485b9cf7db9a0597f9243fb0d06b..7375a0783b9b8ac4da5e0f9a8ba9c47ecc68be7d 100644 --- a/_people/wood.md +++ b/_people/wood.md @@ -10,3 +10,4 @@ projects: - web --- +Thomas Wood is a PhD student with the group, currently working on software automated testing, verification and reasoning techniques and theory. \ No newline at end of file