Michael Rawson

Current Activities

I am a PhD student in the Department of Computer Science, University of Manchester. I work on applying machine learning techniques to automated reasoning, or "having computers learn to do mathematics", supervised by Giles Reger.

portrait
on holiday

Details