Michael Rawson


I am a post-doctoral researcher under Laura Kovács in the FORSYTE group of TU Wien Informatics, Austria. I am generally interested in computer reasoning systems, such as automatic theorem provers. In the past I have done work applying machine learning techniques to reasoning, and also work on parallelism within Vampire, these supervised by Giles Reger.