headshot

Michael Rawson

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.