Jessika Rockel, who did her MSc dissertation on formalising proofs from Euler’s Foundation of Differential Calculus in the AI Modelling Lab this summer, comes top of the MSc in Computer Science 2019 class. Congratulations to Jessika!