Skip to content
Snippets Groups Projects
Commit 0af2d72f authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update wood.md

parent 2c316c94
No related branches found
No related tags found
No related merge requests found
Pipeline #
......@@ -10,4 +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
Thomas Wood was a PhD student with the group, working on software automated testing, verification and reasoning techniques and theory.
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment