I am a second year PhD student at the
University of Glasgow in the
Formal Analysis, Theory and Algorithms (FATA) section. My supervisor is
Prof. David Manlove.
My research focuses on algorithms, matching problems and graph theory.
I've previously worked as an Engineering Software Developer and a Graduate Software Engineer. Check out my GitHub profile.
University email: | michael.mckay@glasgow.ac (dot) uk |
Fan mail: |
Room G161 School of Computing Science Sir Alwyn Williams Building University of Glasgow G12 8RZ |