Jessika Rockel wins class medal for MSc in Computer Science 2019

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!