Jamie Vicary's work is on high-level mathematical structures for fundamental phenomena in computer science and physics. He received his PhD in 2009 from Imperial College London, and since then has been a researcher at the Department of Computer Science at the University of Oxford.