Research Students Lecture Series


2015-10-13 13:00: Reaching reliable agreement in an unreliable world (Heidi Howard (University of Cambridge))

2015-10-20 13:00: Programming in Haskell (Michael B. Gale (University of Cambridge))

2015-10-27 13:00: Using public-key cryptography in practice (Daniel Thomas (University of Cambridge))

2015-11-03 13:00: Applied Probabilistic Algorithms for Big Data Analysis (Advait Sarkar (University of Cambridge))

2015-11-10 13:00: Introduction to Social Choice Theory (Guy Edward Toh Emerson (University of Cambridge))

2015-11-17 13:00: Introduction to Bayesian inference (Thomas Brouwer (University of Cambridge))

2017-02-21 13:00: A trip down long short-term memory lane (Petar Veličković (University of Cambridge))

2017-02-28 13:00: Verified Programming in Agda (Ian Orton (University of Cambridge))

2017-03-07 13:00: Interaction design with aspects of cognitive psychology (Mariana Marasoiu (University of Cambridge))