Forked from
Verified Software / psvg.doc.ic.ac.uk
191 commits behind the upstream repository.
wood.md 276 B
firstname: Thomas
lastname: Wood
position: PhD Student
webpage: https://twitter.com/IgnoredAmbience
github: IgnoredAmbience
alumnus: trueThomas was a PhD student with the group, working on software automated testing, verification and reasoning techniques and theory.