We have several introductory videos for students, and others exploring our research, including Robotics.
Better chips faster - Nigel Topham discusses microchip design
Arcism multicore - taking multicore simulation to the next level
Propositions as Types - Philip Wadler
Everything Old is New Again: Quoted Domain Specific Languages - Philip Wadler
Category Theory for the Working Hacker - Philip Wadler