Michael Oxford

I am a postgraduate student studying for a Ph.D in computer science at the University of Birmingham, interested in applying probabilisitc verification to security and privacy problems, supervised by Prof.Dave Parker and Prof.Mark Ryan. I am also a member of the Security and Privacy group.
For more information about my background, please see my Linkedin profile. Or you can just click 'CV' above.
I am (or was) a teaching assistant for the following modules:
- Introductory Databases (with Robert Hendley, 2016-2018)
- Intelligent Data Analysis (with Peter Tino, 2016-2018)
- Networks (with Ian Batten, 2018-2020)
- Team Project (with Ian Kenny, 2018-2019)
- Principles of Programming Languages (with Uday Reddy, 2019-2020)