Teaching Machines
Computers in lecture theatres are Managed Windows 7 Desktops. A login is still available for external users without an IT account to use the computer in a local configuration.
On the pages below, there's more information about how the teaching computers work.