Annual Wheeler lectures

Created: 2016-06-08 14:23
Institution: Department of Computer Science and Technology
Description: Recordings from the Computer Laboratory's annual Wheeler lectures.
Website: http://www.cl.cam.ac.uk/seminars/wheeler/
 

Media items

This collection contains 4 media items.

  •  

Media items

A History of virtualization

   105 views

Wheeler lecture from 2016 given by Andrew Herbert on the history of virtualization.

Collection: Annual Wheeler lectures

Institution: Department of Computer Science and Technology

Created: Wed 8 Jun 2016


Can we make people value IT security?

   77 views

A discussion around some of the human factors and usability issues in the security of computer systems.

Collection: Annual Wheeler lectures

Institution: Department of Computer Science and Technology

Created: Tue 26 Sep 2017


Combining formal methods and machine learning

   6 views

Formal methods offer rigorous techniques for reasoning about systems, while, more recently, data-driven approaches based on machine learning have become popular. The two...

Collection: Annual Wheeler lectures

Institution: Department of Computer Science and Technology

Created: Thu 30 May 2019


Language, learning and creativity

   31 views

Stephen Pulman's talk for the seventh annual wheeler lecture addresses the linguistic aspects of the Turing test, the creative aspect of language use, and the implications for...

Collection: Annual Wheeler lectures

Institution: Department of Computer Science and Technology

Created: Wed 13 Jun 2018