Videos
We have several introductory videos for students, and others exploring our research, including Robotics.
Introduction videos
Introduction to the School of Informatics
Introduction for undergraduates
Introduction to Design Informatics
Student feedback
Research
Better chips faster - Nigel Topham discusses microchip design
Arcism multicore - taking multicore simulation to the next level
Robotics research videos
Subramanian Ramamoorthy - robotics research
Direct Baxter teleoperation with multiple gesture control armbands
Intention-aware collaboration with Baxter
Academic talks and lectures
Propositions as Types - Philip Wadler
Everything Old is New Again: Quoted Domain Specific Languages - Philip Wadler
Category Theory for the Working Hacker - Philip Wadler
Reynolds’s ‘Definitional Interpreters for Higher-Order Programming Languages' - Philip Wadler
Bidirectional Transformations are Proof-relevant Bisimulations: a study in proof relevant semantics, James McKinna
Sending your robot to Mars? List of things to pack - Sethu Vijayakumar | TEDxGlasgow