Welcome to the personal web-site for me, Thomas Wilson. Here you'll find information on what I'm currently working on as well as some background information about me.

Recent updates

Thesis progress (20th December 2006)
My thesis is nearing completion and should be submitted early in the new year. The latest version of the Omnibus IDE will be released at this time.

New paper on Omnibus (20th December 2006)
A new paper on Omnibus is available from the Omnibus page. It will be published as a departmental technical report early in the new year. The paper presents the case for using separate verification approaches for application-specific code and reusable components.

New host (28th July 2006)
I had been hosting my site on the University of Stirling's webserver but I've switched it over to use an independant host. To view my new departmental web page, go to: www.cs.stir.ac.uk/~twi

Best paper award (12th September 2005)
I have just returned from Koblenz, Germany where I attended the Software Engineering Formal Methods 2005 conference. My paper was given the award for best paper at the conference. Yay!

Busy, busy, busy (8th June 2005)
I'm pleased to announce that I have had two papers on Omnibus accepted. One for the REFT workshop at FM05 and one for the main event at SEFM05. I have also uploaded a new release of the IDE tool together with a video tutorial which takes the user through some exercises.