Thomas Wood

Computing PhD Student at Imperial College London

Academic Interests

Software automated testing, verification and reasoning techniques and theory. (and anything else cool)

Publications

Other Academia

Brief CV

Other Interests

Contact

Author IDs