Michael Rawson

I am a computer scientist under Laura Kovács in the APRe group of TU Wien Informatics, Austria. 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.