Patrick Prosser is a Senior Lecturer, and has degrees in Computer Science from Strathclyde University. Patrick has worked at the National Engineering Laboratory, Burroughs, Alcan Plate, and Britoil (formally BNOC). As an academic he has worked with BT, Alcan, YARD, ILOG, Pirelli, Tollpost Globe and SINTEF. Patrick is a member of the Formal Analysis, Theory and Algorithms research group and in 2011 received the ACP award for research excellence in constraint programming. His other research interests include combinatorial search, optimisation problems, heuristics and algorithms and complexity. Patrick is pictured with his daughter Zoe, a Crystal Maze fan.