I am a computer scientist at the University of Southampton, UK. I am generally interested in computer reasoning systems, particularly automatic theorem provers.
Google Scholar is quite good at tracking me, but I also keep a CV and a log of my academic activities, including copies of publications.
You can contact me via e-mail.