Welcome to Thomas Wilson's departmental Home Page.

My name is Thomas Wilson and I am a research student in the final year of a PhD in Formal Methods. My work is focussed on the Omnibus project whose goals are to provide accessible verification tools and support the safe reuse of software components.

I have a personal website which is accessible via: www.twil.net. You can also view my CV.