16 on this site · 464 links
Our EEG group discussion on 'useful' AI tools7th Mar 2025
About15th Feb 2025
Entering the Matrix with Hookshot8th Feb 2025Teaching at Cambridge3rd Jan 2025Foundations of Computer Science3rd Jan 2025New teaching page with my Computer Science courses3rd Sep 2024Interview with AI@CAM about conservation9th Jun 2024Teaching 1A Security and Software Engineering4th Apr 2024
Selected in the AI@CAM challenge for conservation research5th Feb 2024
Cambridge Zero highlights University efforts at Climate Week NYC18th Oct 2023
Reviewing the second year of OCaml Labs in 20142nd Apr 2015
Reviewing the first year of OCaml Labs in 201329th Dec 2013Notes on the first Human Data Interaction workshop2nd Oct 2013Functional programming gone wild in the SRG18th Apr 2011Xen 20024th Jan 2003Started PhD at Cambridge1st Sep 2002
About15th Feb 2025Entering the Matrix with Hookshot8th Feb 2025Teaching at Cambridge3rd Jan 2025Foundations of Computer Science3rd Jan 2025New teaching page with my Computer Science courses3rd Sep 2024Interview with AI@CAM about conservation9th Jun 2024Teaching 1A Security and Software Engineering4th Apr 2024Selected in the AI@CAM challenge for conservation research5th Feb 2024Cambridge Zero highlights University efforts at Climate Week NYC18th Oct 2023Reviewing the second year of OCaml Labs in 20142nd Apr 2015Reviewing the first year of OCaml Labs in 201329th Dec 2013Notes on the first Human Data Interaction workshop2nd Oct 2013Functional programming gone wild in the SRG18th Apr 2011Xen 20024th Jan 2003Started PhD at Cambridge1st Sep 2002