McCaughan is a software engineer and academic, interested in programming languages, type theory, compilers, and formal methods. He is a lecturer at the University of Glasgow. Previously, he was a PhD student at the University of Cambridge, supervised by Alan Blackwell and Robert Harle. He also spent some time at Google. He enjoys playing and writing music, and is interested in photography.