Hello!

My name is Matthew. I live a double life as a PhD student in Computing Science, and a freelance pianist and organist.

Computer Science

My research interests are in certifying algorithms, constraint programming, automated reasoning, and optimisation. Essentially, I want to make algorithms more trustworthy and understandable, with independently verifiable results. I’ve authored several publications and given a number of talks so far in my research career. If you’re interested, click here to find out more about my academic work.

Music

On the music side, I’ve been playing the piano for more than 20 years and the pipe organ for more than 10. I was a Campbell Watterson organ scholar at the University of St Andrews from 2018 to 2022, and have been an official accompanist for the Glasgow Pheonix Choir since 2019. I like to play all kinds of music, and take regular bookings for weddings, funerals, and other functions. For more music info (including how to book me for an event) click here.