sg2204's list


2002-06-12 16:15: Electromagnetic eavesdropping on computers (Markus Kuhn (University of Cambridge))

2006-06-28 17:00: Ligand detection and discrimination by spatial relocalisation: the complexities of T cell activation (Nigel Burroughs (Dept of Mathematics, University of Warwick))

2006-10-04 14:15: Learning Probabilistic Sequence Models for Uncovering Gene Regulation (Mark Craven, University of Wisconsin)

2006-10-11 14:15: Logics for Unranked Trees: An Overview (Leonid Libkin, U of Edinburgh)

2006-10-18 14:15: Semantics in broad-coverage natural language processing (Ann Copestake,  Computer Laboratory, University of Cambridge)

2006-10-18 16:15: Learning Probabilistic Sequence Models for Uncovering Gene Regulation (Mark Craven, University of Wisconsin)

2006-10-25 14:15: All-Optical Networks (Dr. Noriaki Kamiyama, Research Scientist, NTT Service Integration Laboratories)

2006-11-01 14:15: The Challenges and Thrills of a Young Industry (David Braben, Frontier)

2006-11-08 14:15: Security Applications and Aspects of Meaning-Based Computing (Dr Michael Lynch, CEO of Autonomy)

2006-11-15 14:15: Automatic termination proofs for software (Byron Cook, Microsoft Research)

2006-11-22 14:15: Safety checking in a domain of collaborative applications. (David Greaves, Computer Laboratory, University of Cambridge)

2006-11-29 14:15: New Challenges in Describing Digital Music (Alan Blackwell and Alejandro Vinao, Computer Laboratory, University of Cambridge)

2007-01-17 14:15: Verification of fine-grain concurrency: Separation Logic for Floyd assertions in Petri nets. (Tony Hoare, Microsoft Research)

2007-01-24 14:15: Road transport data and their uses (Richard Gibbens (Computer Laboratory))

2007-01-31 14:15: Mechanising First-Order Logic: Technology, Decidability and Applications (Christoph Weidenbach, Max Planck Institut)

2007-02-07 14:15: From Pascal and ML to Perl and VB: Software Engineering in Postmodernity (James Noble, Victoria University of Wellington, New Zealand.)

2007-02-14 14:15: Computing for the Future of the Planet (Andy Hopper, Computer Laboratory, University of Cambridge)

2007-02-21 14:15: The Lixto Web Data Extraction Project: A Status Report (Georg Gottlob, Oxford University)

2007-02-28 14:15: Security and Cooperation in Wireless Networks (Jean-Pierre Hubaux, EPFL)

2007-03-07 16:15: Annual Presentation of Student Projects (Student presentations.)

2007-04-18 14:15: Church's Problem on the Synthesis of Nonterminating Programs (Wolfgang Thomas, RWTH Aachen University)

2007-04-25 14:15: DNA Microarray Technology at Agilent Technologies: Engineering, Manufacturing and Applications (Bill Peck,  Agilent Technologies, Santa Clara California)

2007-05-02 14:15: “I want to tell you a joke. Are you ready?” – Implementing automated pun generation for children with complex communication needs. (Annalu Waller, School of Computing, University of Dundee)

2007-05-09 14:15: Modelling Biochemical Pathways with Stochastic Process Algebra (Jane Hillston, University of Edinburgh)

2007-05-16 14:15: New Directions for Navigation (Alan Jones,  Cotares.com)

2007-05-23 14:15: Electronics Revolution
- driving pivotal change in Computer Science (Simon.Moore, Computer Laboratory, University of Cambridge)

2007-05-30 14:15: Smart-card based authentication on an insecure network (Peter Sweeney, Centre for Communication Systems Research, University of Surrey.)

2007-09-19 14:15: SQ Minus EQ can Predict Programming Aptitude (Stuart Wray)

2007-10-10 14:15: How to Write Bug-Free Code - A Live Demonstration (Douglas Squirrel, youdDevise.com)

2007-10-17 14:15: How Do We Know What to Design? (Fred Brooks,  University of North Carolina at Chapel Hill)

2007-10-24 14:15: TechTalk by Google - The Chubby lock service for loosely-coupled distributed systems (Mike Burrows,  Principal Engineer, Google)

2007-10-31 14:15: Multi-core programming with automatic parallelisation (Tim Harris, Microsoft Research, Cambridge)

2007-11-07 14:15: Birrell's distributed reference listing revisited (Richard Jones, University of Kent)

2007-11-14 14:15: Software Defect Mining with Formal Concept Analysis (Christian Lindig, Dagstuhl, Germany)

2007-11-21 14:15: Executable Biology: Successes and Challenges (Jasmin Fisher, Microsoft Research, Cambridge, United Kingdom)

2007-11-28 14:15: Automation for Interactive Theorem Provers (Lawrence Paulson, Computer Laboratory, University of Cambridge)

2008-01-16 14:15: Searching for Evil (Ross Anderson and Richard Clayton, Computer Laboratory, University of Cambridge)

2008-01-23 16:15: Fine-grained differences and similarities in meanings (Graeme Hirst, Department of Computer Science, University of Toronto)

2008-01-30 14:15: Executable Biology: Successes and Challenges (Jasmin Fisher, Microsoft Research, Cambridge UK)

2008-02-06 14:15: Defence against the Dark Arts (Mike Prettejohn, Netcraft)

2008-02-13 14:15: Rethink and Arise! (Theodor Holm Nelson, Founder, Project Xanadu)

2008-02-20 14:15: High-Performance Processing with Field-Programmable Logic (George Constantinides, Imperial College London)

2008-02-27 14:15: Delay Tolerant Routing in Mobile and Sensor Networks (Cecilia Mascolo, UCL)

2008-03-05 16:15: Student Design Project Presentations (Alan Blackwell (University of Cambridge))

2008-03-12 14:15: Sustainable Energy -- without the hot air (David J.C. MacKay, University of Cambridge)

2008-04-30 14:15: Copyright vs Community (Richard Stallman, www.gnu.org)

2008-05-07 14:15: Stylized Rendering for Multi-resolution Image Representation: Reconciling Efficiency with Aesthetics in Image Compression (Neil Dodgson, Computer Laboratory)

2008-05-14 14:15: Citations and Argumentation for Better Information Access (Simone Teufel, Computer Laboratory)

2008-05-21 14:15: How to prove that a communications protocol stack is up to the job (James Collier, Chief Technical Officer , Cambridge Silicon Radio, http://www.csr.com)

2008-05-28 14:15: Acceleration of scientific computing using graphics hardware
 (Graham Pullan,  Department of Engineering, University of Cambridge)

2008-09-03 14:15: STRUCTURE AND DYNAMICS IN COMPLEX SYSTEMS (Prof Luciano da Fontoura Costa, University of São Paulo, Brazil)

2008-10-08 14:15: Content Distribution based on Social Swarming (Carmen Guerrero – Dpt. of Telematics Engineering at University Carlos III Madrid (UC3M))

2008-10-13 14:00: Design, Compilation and Runtime Solutions for Energy-Efficient Microprocessors (Timothy M. Jones - School of Informatics, University of Edinburgh)

2008-10-15 14:15: Practical Dynamic Software Updating for C (Michael Hicks - University of Maryland)

2008-10-22 14:15: Forensic Genomics:Kin Privacy, Driftnets and Other Open Questions (Frank Stajano, Lucia Bianchi, Pietro Liò and Douwe Korff)

2008-10-29 14:15: How to Protect your Data by Eliminating Trusted Storage Infrastructure (David Mazieres - Stanford University)

2008-11-05 14:15: The Manticore project (John Reppy - University of Chicago)

2008-11-12 14:15: Defending Networked Resources Against Floods of Unwelcome Requests (Michael Walfish - University of Texas, Austin and University College London)

2008-11-19 14:15: Robust Networks (Sanjeev Goyal, University of Cambridge, Economics Department)

2008-11-26 14:15: MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions (Larry Paulson - Univ. of Cambridge Computer Laboratory)

2008-12-03 14:15: Second-Order Quantifier Elimination (Renate Schmidt - University of Manchester)

2009-01-14 14:15: Statistical Parsing of Natural Language with Lexicalised Grammars (Stephen Clark - Oxford University)

2009-01-21 14:15: Structured Hidden Markov Model: A General Tool for Analysing Sequential data (Marco Botta - University of Torino)

2009-01-28 14:15: A Framework for the Analysis of Mix-Based Steganographic File Systems (Claudia Diaz - Department of Electrical Engineering (ESAT), K.U.Leuven, Belgium)

2009-02-04 14:15: IPv6: the basics (Ben Harris, University of Cambridge)

2009-02-11 14:15: Modelling Quality Properties of Systems (John Herbert - University College, Cork, Ireland)

2009-02-18 14:15: Privacy and HCISec:  Notes From The Front (Alma Whitten - Google)

2009-02-25 14:15: Balancing the expected and the surprising in geometric patterns: an investigation inspired by Bridget Riley's early Op art (Neil Dodgson - University of Cambridge)

2009-03-04 14:15: Collective Intelligence Techniques for Pervasive Computing (George Roussos - Birkbeck College, University of London)

2009-03-11 14:15: Correctness by Construction of High-Integrity Software (Rod Chapman, Praxis High Integrity Systems)

2009-04-22 14:15: "Re-architecting Internet capacity sharing" aka "Putting far-reaching Cambridge research into practice" (Andrea Soppera - BT Networks Research Centre)

2009-04-29 14:15: Accounting for User Behaviour in Security (Angela Sasse - UCL)

2009-05-06 15:00: Inventing the User:  EDSAC in context (Professor David Barron, Emeritus Professor of the University of Southampton,  Dr Doron Swade MBE, formerly Senior Curator of  Computing, Science Museum, and Professor Sir Maurice Wilkes)

2009-05-13 14:15: Model-Based Design: a New Landscape for Embedded Systems Development (David Maclay - Mathworks)

2009-05-20 14:15: Computational Creativity: A Different Future for AI Research (Simon Colton - Imperial College)

2009-05-27 14:15: The 10 Cultures Problem (Bill Thompson)

2009-06-03 14:15: No Wednesday Seminar today! (EXAMS!)

2009-06-10 14:15: Concurrency Through the Ages (Andrew Birrell - Microsoft Research Silicon Valley)

2009-06-17 14:15: What can sequent calculus do for functional programs? (Pierre-Louis Curien, Paris)

2009-06-17 16:00: Toward Energy-efficient Computing (David J. Brown, Sun Microsystems Inc.)

2009-07-01 14:15: Evolving a language in and for the real world (Bjarne Stroustrup - Texas A&M University)

2009-07-20 14:00: Reflections on merging the digital and the physical (Tim Kindberg - HP Labs, Bristol)

2009-10-07 14:15: Scalable Ontology-Based Information Systems (Ian Horrocks - Oxford University)

2009-10-14 14:15: Reaching Out: how to engage young people with computer science (Chris Bishop - Microsoft Research Cambridge)

2009-10-21 14:15: Pushing JavaScript Performance (Lars Bak - Google Aarhus, Denmark)

2009-10-28 14:15: Aggregated Security Monitoring in 10GB networks (Nathan Macrides and Nick McKenzie - Security Engineering, RBS)

2009-11-04 14:15: Serializability Enforcement for Concurrent ML (Suresh Jagannathan - Purdue University, USA)

2009-11-11 14:15: On Quantitative Software Verification (Marta Kwiatkowska - Oxford University)

2009-11-18 14:15: Insights from Expert Software Design Practice (Marian Petre - Open University)

2009-11-25 14:15: Elements of a Networked Urbanism (Adam Greenfield - Nokia Helsinki)

2009-12-02 14:15: A POPLmark retrospective: Using proof assistants in programming language research (Stephanie Weirich - University of Pennsylvania, USA)

2009-12-09 14:15: Performance Comparisons of Hard Logic, Programmable Soft Logic, and Instruction Set Architectures (Jonathan Rose - University of Toronto)

2010-01-13 14:15: Multipath TCP (Mark Handley - UCL)

2010-01-20 14:15: Models of large-scale real-life networks (Bela Bollobas - University of Cambridge and University of Memphis)

2010-01-27 14:15: Graphical Reasoning in Symmetric Monoidal Categories (Lucas Dixon - University of Edinburgh)

2010-02-03 14:15: Automated Experimentation: Beyond Deployment and Execution (Alexander Wolf - Imperial College London)

2010-02-10 14:15: Third Generation Machine Intelligence (Chris Bishop - Microsoft Research Cambridge)

2010-02-17 14:15: Proving that programs eventually do something good (Byron Cook - Microsoft Research Cambridge)

2010-02-24 14:15: Generic Programming (Dietmar Kühl - Bloomberg)

2010-03-03 14:00: Exhibition of Student Design Projects (Part 1B Students)

2010-03-10 14:15: Aura: A Programming Language with Authorization and Audit (Steve Zdancewic - University of Pennsylvania, USA)

2010-04-21 14:15: Privacy in Advertising:  Not all Adware is Badware (Paul Francis - MPI Kaiserslautern, Germany)

2010-04-28 14:15: From Separation Logic to Systems Code (Peter O'Hearn - Queen Mary University of London)

2010-05-05 14:15: NO SEMINAR THIS WEEK (Speaker to be confirmed)

2010-05-12 14:15: Privacy in Advertising: Not all Adware is Badware (Paul Francis - MPI Kaiserslautern, Germany)

2010-05-19 14:15: Statistical problems in complex networks (Edoardo Airoldi - Harvard University, USA)

2010-05-26 14:15: Dynamical Grammars for Galaxy Image Recognition (Wayne Hayes - UC Irvine, USA)

2010-06-02 14:15: EXAMS (Good luck to students with their exams!)

2010-06-09 14:15: Executable Strategies for Cellular Decision Making (Jasmin Fisher, Microsoft Research Cambridge)

2010-08-02 14:15: Some Uses of Hashing in Networking Problems (Michael Mitzenmacher, Harvard University)

2010-10-06 14:15: Multi-Target Data-Parallel Programming with Accelerator for GPUs, Multicore Processors and FPGAs (Satnam Singh, Microsoft Research Cambridge)

2010-10-12 16:15: Hierarchies, Lowerarchies, Anarchies, and Plutarchies: Historical Perspectives of Composably Layered High-Assurance Architectures (Peter Neumann, Principal Scientist, SRI International Computer Science Lab)

2010-10-13 14:15: Test Generation and Fault Localization for Web Applications (Frank Tip, IBM T.J. Watson Research Center)

2010-10-20 14:15: A Survey of Classical and Real-Time Verification (Joel Ouaknine, Oxford University Computing Laboratory)

2010-11-03 14:15: A Look Into Youtube - The World's Largest Video Site (Oliver Heckmann, Director of Engineering, Google Zurich)

2010-11-10 14:15: What is happening now? Finding events in Massive Message Streams (Miles Osborne, University of Edinburgh School of Informatics)

2010-11-17 14:15: Detecting Network Traffic Anomalies (Paul Barford, University of Wisconsin-Madison)

2011-01-19 14:15: Implementing a Distributed Event Processing Network (Alex Kozlenkov, Betfair Research)

2011-01-26 14:15: Challenging Computer Science Problems at Ocado (Dr Vince Darley, Head of Analytics & Optimisation, Ocado)

2011-02-02 14:15: Efficient Network-wide Flow Record Generation (Joel Sommers, Colgate University)

2011-02-09 14:15: In the beginning God created tensor, ... then matter, ... then speech (Bob Coecke, Oxford University Computing Laboratory)

2011-02-23 14:15: Reasoning about Software Safety Integrity and Assurance (Tim Kelly, University of York)

2011-03-02 14:15: Mobile Software Engineering - Characteristics and Challenges (Manfred Bortenschlager, Samsung)

2011-03-09 14:00: Exhibition of Student Design Projects (Student Designers)

2011-03-16 14:15: Quantum computing -- theoretical prospects and relations to classical computation (Richard Jozsa, Centre for Quantum Information and Foundations, DAMTP, University of Cambridge)

2011-04-27 14:15: Moose: an open platform for software analysis (Stephane Ducasse)

2011-05-04 14:15: Reflection on Java Security and Its Practical Impacts (Li Gong)

2011-05-11 14:15: From deterministic finite automata to infinite games (Eryk Kopczynski)

2011-05-18 14:15: Kernel Methods: the Emergence of a Well-founded Machine Learning (John Shawe-Taylor, Professor and Director of the UCL Centre for Computational Statistics and Machine Learning)

2011-05-25 14:15: The Duality of State and Observation (Prakash Panangaden, Computing Laboratory Oxford University; on leave from McGill University)

2011-06-01 14:15: Body Part Recognition: Making Kinect Robust (Jamie Shotton, MSR Cambridge)

2011-06-08 14:15: EXAMS - NO SEMINAR THIS WEEK (Speaker to be confirmed)

2011-06-15 14:15: Compiler Tools for MATLAB (Laurie Hendren, Professor, School of Computer Science, McGill University, Canada Leverhulme Visiting Professor, Oxford University Computing Laboratory)

2011-10-12 14:15: Probabilistic Graphical Models in Microsoft's Online Services: TrueSkill, AdPredictor, and Matchbox (Thore Graepel, MSR Cambridge)

2011-10-26 14:15: TIME: Transport Information Monitoring Environment (Dr Ken Moody (University of Cambridge))

2011-11-02 14:15: Notes on the Synthesis of Music (Sam Aaron)

2011-11-09 14:15: Algebraic theories and computational effects (Sam Staton (Computer Laboratory, University of Cambridge))

2011-11-16 14:15: Search Based Software Engineering (Prof. Mark Harman, UCL Dept of Computer Science)

2011-11-23 14:15: Automatic Discovery of Patterns in Media Content (Nello Cristianini, Professor of Artificial Intelligence, Departments of Engineering Mathematics and Computer Science, University of Bristol)

2012-01-18 14:15: Speech Synthesis at Google (Matt Stuttle, Google)

2012-01-25 14:15: Inclusive Design (Professor John Clarkson (University of Cambridge))

2012-02-08 14:15: A Communications Medium for the 21st Century : Towards Open Public Display Networks (Nigel Davies, University of Lancaster)

2012-02-15 16:00: C++11 Style (Bjarne Stroustrup, Distinguished  University Professor, Texas A&M University; Visiting Professor, Cambridge University)

2012-05-02 14:15: Content delivery in the Internet: an infrastructure-oriented perspective. (Steve Uhlig, Professor of Networks, School of electronic engineering and computer science, Queen Mary, University of London)

2012-05-09 14:15: CANCELLED: Structural executable comparison, malware classification, and collaborative binary analysis - the formerly-zynamics tools at Google ( Thomas Dullien, Google)

2012-05-16 14:15: Energy efficiency and the design of brains ( Professor Simon Laughlin, Department of Zoology, University of Cambridge)

2012-05-23 14:15: Alan Turing as a computer designer (Prof. Brian Carpenter, University of Auckland Computer Science)

2012-05-30 14:15: A Bayesian Approach to Learning the Structure of Human Languages (Phil Blunsom, Department of Computer Science, Oxford University)

2012-06-13 14:15: Behavioural Nudge or Technological Fudge? (Yvonne Rogers, Professor of Interaction Design, UCL)

2012-06-25 13:00: The Great Indoors: The Next Frontier in Location-Based Services (Ravi Palanki, Qualcomm)

2012-10-10 14:15: Dart: A Platform for Building Large Web Applications (Mads Ager, Google)

2012-10-17 14:15: Machine Learning Methods for the Detection and Prediction of Transmembrane Beta-Barrel Proteins in Prokariotes (Dr Piero Fariselli, Biocomputing Group and Department of Computer Science, University of Bologna)

2012-10-24 14:15: Challenges and approaches to improving the accuracy of indoor positioning systems (Niki Trigoni, Oxford University Department of Computer Science)

2012-10-31 14:15: Semi-local string comparison (Alexander Tiskin, Department of Computer Science, University of Warwick)

2012-11-07 14:15: Sentiment Analysis (Prof. Stephen Pulman, Oxford University Department of Computer Science)

2012-11-14 14:15: Structural executable comparison, malware classification, and collaborative binary analysis - the formerly-zynamics tools at Google (Thomas Dullien, Google)

2012-11-21 14:15: Every tweet counts: How statistical content analysis of social networks can improve our knowledge of citizens' preferences. An application to France and US presidential elections and EU leaders' popularity (Prof. Stefano Iacus, Dipartimento di Economia, Management e Metodi Quantitativi Universita' di Milano)

2012-11-28 14:15: One Bit is Not Enough: The Benefit of Reference Analysis in Virtual Memory Management (Frank Bellosa, Karlsruhe Institute of Techology)

2013-01-23 14:15: Computing at School: Tackling the ICT Education Crisis in UK Schools (Simon Peyton-Jones, Microsoft Research)

2013-01-30 14:15: Replacing lectures with videos in the Computer Science Tripos (Andy Rice, Alastair Beresford, Computer Lab)

2013-02-06 14:15: Adaptive Runtime Verification (Prof  Ezio Bartocci, University of Wien)

2013-02-13 14:15:  Privacy Challenges and Solutions for Data Sharing (Dr Aris Gkoulalas-Divanis, IBM Research, Dublin)

2013-02-20 14:15: Challenges in Computer Graphics Modeling (Prof. Oliver Deussen, University of Konstanz, Germany)

2013-02-27 14:15: High-Assurance Algorithmic Trading (Dr. Hasan Amjad, Cantab Capital Partners)

2013-03-06 14:00: Student Design Project Presentations (Student design teams)

2013-04-24 14:30: Could Computers Understand Their Own Programs (Prof Sir Tony Hoare -  Microsoft Research & Computer Laboratory)

2013-05-01 14:15: CANCELLED: Compressed Sensing and the Art of Subsampling (Anders Hansen - University of Cambridge Computer Laboratory)

2013-05-08 14:15: Mind the Map - Modelling Sustainability of Urban Crowd-Sourcing (Dr Licia Capra - University College London)

2013-05-15 14:15: Strongly-Typed Language Support for Internet-Scale Information Sources (Don Syme - Microsoft Research)

2013-05-22 14:15: Digging into (Historical) Data: Tracking global commodity trading in the nineteenth century (Prof Ewan Klein - University of Edinburgh)

2013-05-29 14:15: The Domain Name System in 2013 – The political and technical landscape ( Simon McCalla - CTO, Nominet UK)

2013-06-12 14:15: Errors, Exploits, and Espionage - A tour of software vulnerabilities and their real-world impact  (Tim Pullen - Detica / BAE Systems)

2013-06-19 14:15: Humans + Automation: Greater than the sum of the parts (Missy Cummings - MIT)

2013-10-16 14:15: Towards Position-based Routing for Mobile Environments ( Dr Marwan Fayad  - Univ Stiling)

2013-10-23 14:15: Disciplined Approximate Computing: From Language to Hardware and Beyond (Luis Ceze - University of Washington.)

2013-10-30 14:15: Understanding Video and Audio at Google ( Tom Walters - Google Zurich Labs)

2013-11-06 14:15:  Pico: no more passwords! ( Dr Frank Stajano - University of Cambridge Computer Laboratory)

2013-11-13 14:15:  Towards Do-It-Yourself Networking ( Joerg Ott -  Aalto University, Finland)

2013-11-20 14:15:  Research Issues in Computer Support for Collaborative Problem Solving ( Steve Tanimoto - University of Washington, Seattle.)

2013-11-27 14:15: Compressed sensing and the art of subsampling (Anders Hansen - DAMTP, Centre for Mathematical Sciences, University of Cambridge)

2013-12-04 14:15: MirageOS: compiling a functional cloud (Anil Madhavapeddy - University of Cambridge Computer Laboratory)

2014-01-22 14:00: Evaluation Metrics and Learning to Rank for Information Retrieval (Emine Yilmaz - University College London)

2014-01-29 14:00: Randomised Load Balancing For Networks (Thomas Sauerwald - University of Cambridge, Computer Laboratory)

2014-02-05 14:00: Talking About Shapes (MALCOLM SABIN )

2014-02-12 14:00: Safer Healthcare by Better Computer Science (Prof. Harold Thimbleby - Swansea University, Wales.)

2014-02-19 14:00: Interactive Configuration Problems (Henrik Reif Andersen - Configit.Com, Copenhagen.)

2014-02-26 14:00: What We Talk About When We Talk About Types ( Dr Nick Benton - Microsoft Research Cambridge)

2014-03-05 14:00: Part Ib Group Project Presentations (Computer Laboratory Part Ib Students)

2014-03-12 14:00: Competitive Contagion in Networks (Moez Draief - Imperial College London)

2014-04-23 14:00: *** The Weight of Gravity *** (Hills, Graham and Blain - Framestore Visual Effects, London)

2014-04-30 14:00: Computing Cancer ( Jasmin Fisher - Microsoft Research & Department of Biochemistry, Cambridge)

2014-05-01 14:00: Applied Probabilistic Algorithms for Big Data Analysis (Advait Sarkar (University of Cambridge))

2014-05-02 14:00: Messing with the Future (or the Art of Continuations) (Marco Devesas Campos (University of Cambridge))

2014-05-05 14:00: Programming in Haskell (Mr Michael B. Gale (University of Cambridge))

2014-05-07 14:00: Multitask Learning (Prof Massimiliano Pontil - University College London)

2014-05-08 14:00: Modern Approaches to Parsing (Colin Rothwell (University of Cambridge))

2014-05-09 14:00: New Advances in Face Recognition (Tadas Baltrusaitis (University of Cambridge))

2014-05-12 14:00: Modeling Genetic Documents Written by DNA (Naruemon Pratanwanich (University of Cambridge))

2014-05-14 14:00: No Babbage Seminar today owing to the Wheeler Lecture   (Speaker to be confirmed)

2014-05-14 16:00: Computational Thinking (Prof Jeannette M. Wing -  Microsoft Research & Carnegie Mellon University)

2014-05-15 14:00: Multi-objective optimisation algorithms to predict gene expression in biological models (Claudio Angione (University of Cambridge))

2014-05-16 14:00: Structure learning in Bayesian Networks (Ivo Timoteo)

2014-05-19 14:00: Logistic and Softmax Regression, and their Relation to the Neural Network World (Adrian Scoica (University of Cambridge))

2014-05-21 14:00: Theory into Practice: the story of Incremental (Yaron Minsky - Jane Street)

2014-05-22 14:00: Using public-key cryptography in practice (Daniel Thomas (University of Cambridge))

2014-05-28 14:00: No Fixed Abode: Avoiding IP Address Blocking to Circumvent Censorship (Professor Nikita Borisov - University of Illinois at Urbana-Champaign)

2014-10-15 14:00: Fuzzy Optimisation of Reverse Logistics Networks (Prof Dobrila Petrovic - Coventry University)

2014-10-22 14:00: Science Data Processor for the Square Kilometre Array Telescope (Bojan Nikolic - University of Cambridge MRAO)

2014-10-28 13:00: Applied Probabilistic Algorithms for Big Data Analysis (Advait Sarkar (University of Cambridge))

2014-10-29 14:00: Structure and Dynamics of Mutlilayer Networks (Ginestra Bianconi - Queen Mary University London)

2014-11-04 13:00: Using public-key cryptography in practice (Daniel Thomas (University of Cambridge))

2014-11-05 14:00: Payment System Security - Attacks and Defences (Dr Steven Murdoch - University College London)

2014-11-11 13:00: Programming in Haskell (Mr Michael B. Gale (University of Cambridge))

2014-11-12 14:00: Kafka and Samza: distributed stream processing in practice (Martin Kleppmann - LinkedIn)

2014-11-19 14:00:  Scientific Data Management (Dr Thomas Heinis - Imperial College London)

2014-11-26 14:00: Text Analysis of Social Media Beyond Twitterdome (Prof Tim Baldwin - Melbourne University)

2014-12-03 14:00: Transitive leap frogging: how to avoid queuing up for work (Dr Karl-Filip Faxén - SICS, Sweden.)

2015-01-21 14:00:  The UK National Cyber Security Programme ( Natalie Black - UK National Office of Cyber Security)

2015-01-28 14:00:  Interacting with Infrastructure: Home Networking and Beyond (Dr Richard Mortier - University of Cambridge Computer Laboratory)

2015-02-04 14:00:  Non-Photorealistic Rendering of Images ( Prof. Paul Rosin - Cardiff University)

2015-02-11 14:00: Compressed sensing in the real world - Why and what actually works (Dr Bogdan Roman - DAMPT, University of Cambridge)

2015-02-18 14:15: The Evolution of Sophos (Dr Jan Hruska - Sophos Ltd.)

2015-02-25 14:00:  Digital by Default - A Paradigm Shift in Government (Stephen Allott - Crown Representative for Small and Medium Enterprises in the Cabinet Office)

2015-03-04 14:00: Group Project Presentations (Computer Laboratory 2nd Year Undergraduates)

2015-03-11 14:00: The Automatic Statistician - an AI for Data Science (Zoubin Ghahramani - Department of Engineering, University of Cambridge)

2015-04-13 14:00: Deep Learning of Natural Language Semantics (Prof Yoshua Bengio - Université de Montréal)

2015-04-29 14:00: Toward Causal Machine Learning (Prof. Dr. Bernhard Schölkopf - Max Planck Institute for Intelligent Systems)

2015-05-13 14:00: Cellular Systems Biology of Chromosome Dynamics (Dr Karen Lipkow -  Barbraham Institute)

2015-05-20 14:00: Cancelled : Full reduction in the face of absurdity. (Didier Remy - Inria)

2015-05-26 16:15: Hints and Principles for Computer System Design (Butler Lampson - Microsoft Research + MIT)

2015-05-27 14:00: Probabilistic Programming; Ways Forward (Dr Frank Wood - Dept Engineering Science, Oxford)

2015-07-20 09:30: Interaction + Graphics: Four Lectures By Computer Laboratory Visitors ((Four Guest Lecturers))

2015-10-08 13:00: Unweaving The Lexical Rainbow: Grounding Linguistic Creativity in Perceptual Semantics (Tony Veale, University College Dublin)

2015-10-14 14:00: Clouds, Things and Robots: the need for innovation in Architecture and Software (Prof David May - University of Bristol)

2015-10-21 14:00: Cluster Management with Kubernetes (Dr Satnam Singh - Facebook)

2015-10-28 14:00:  Today’s and Tomorrow’s Camera Processing Pipelines (Prof Graham Finlayson -  University of East Anglia)

2015-11-04 14:00: Image-triage, Brain Computer Interaction and Deception Detection using EEG (Prof Howard Bowman - Univs Kent & Birmingham)

2015-11-11 14:00: Unpatchable: Living with a Vulnerable Implanted Device (Marie Moe - SINTEF Norway)

2015-11-18 14:00: Talk Cancelled (was 'Synthetic Biology') (Dr. Jim Haseloff - Department of Plant Sciences, University of Cambridge)

2015-11-25 14:00: Communication Technologies Research at the NPL (Dr Tian-Hong LOH - National  Physical Laboratory UK)

2015-12-02 14:00: Understanding and Verifying Javascript Programs. ( Prof Philippa Gardner - Imperial College London)

2016-01-20 14:00: Finding what is invisible through computation ( Dr Rafal Mantiuk - University of Cambridge, Computer Laboratory)

2016-01-27 14:00: Synthetic Biology ( Dr. Jim Haseloff - Department of Plant Sciences, University of Cambridge)

2016-02-03 14:00: The Supercloud: Opportunities and Challenges (Prof Hakim Weatherspoon - Cornell University)

2016-02-10 14:00: Predicting Psychology from Social Media Data (Dr David Stillwell - Judge Management School, University of Cambridge)

2016-02-17 14:00: Communication with Artificial Intelligences (Prof. Ann Copestake - University of Cambridge, Computer Laboratory.)

2016-02-24 15:00: Data Science at The Guardian (Felix Sanchez-Garcia, The Guardian)

2016-03-02 16:15: CST Part Ib, Group Project Presentations (Part Ib students of the Computer Laboratory)

2016-03-09 14:00: Freedom to Innovate: Addressing Student Legal Risks at MIT and Queen Mary's Entrepreneurship and Cyberlaw Clinics (Nathan Matias - MIT Media Laboratory Centre For Civic Media)

2016-04-27 14:00: From Human Affect and Personality to Social Robots: Affective and Social Signal Processing (Dr Hatice Gunes - University of Cambridge, Computer Laboratory)

2016-05-04 14:00: Android: Mobile, Wearable and IoT devices - Designing Global, Scalable Systems (Dr Grant Allen - Google)

2016-05-11 14:00: Imaginary Engines: Lovelace, Babbage and the Analytical Engine. (Sydney Padua)

2016-05-13 16:15: No Littering! (Bjarne Stroustrup - Morgan Stanley and Columbia University)

2016-05-18 14:00: What does the operating system ever do for me? - Systems Challenges in Graph Analytics ( Dr Tim Harris - Oracle Research Laboratories (Cambridge))

2016-05-25 14:30: A History of Virtualisation in Operating Systems. (Dr Andrew Herbert OBE, FREng..)

2016-07-12 13:30:  From EDA to NDA: Treating Networks like Hardware Circuits (George Varghese - Microsoft Research)

2016-10-12 16:15: Rethinking Auto-Parallelisation (Prof Michael O'Boyle - School of Informatics, Edinburgh)

2016-10-19 16:15: From Idea to Startup (David Chan - Entrepreneur-in-Residence, CyLon Accelerator)

2016-10-26 16:15: End-to-end encryption: Behind the scenes (D Vasile,  M Kleppmann & D Thomas  - University of Cambridge Computer Laboratory)

2016-11-02 16:15: Graduate Studies Open Day (Speaker to be confirmed)

2016-11-09 16:15: Web search in an AI world: small, cute, distributed. (Dr Aurelie Herbelot -  University of Trento)

2016-11-16 16:15: PYNQ - Enabling Software Engineers to Program Heterogeneous, Reconfigurable SoCs ( Peter Ogden - Xilinx Inc)

2016-11-23 16:15: Making Reactive Programs Function (Dr Neel Krishnaswami - University of Cambridge, Computer Laboratory)

2016-11-30 16:15: Architectural Impacts of the Silicon Performance Wall (Dr Gavin Stark - Netronome and Visiting Industrial Fellow, Computer Laboratory.)

2017-01-25 16:15: Sequencing DNA Using Biological Nanopores (Tim Massingham - Oxford Nanopore Technologies)

2017-02-01 16:15: GLOBULAR: A PROOF ASSISTANT FOR DIAGRAMMATIC SCIENCE (Jamie Vicary - Department of Computer Science, University of Oxford)

2017-02-08 16:15: Data Science for the World of Moving Things (Dr Damon Wischik - Computer Laboratory, University of Cambridge)

2017-02-15 16:15: Challenges in Human-Robot Interaction (Prof.  Kerstin Dautenhahn - University of Hertfordshire)

2017-02-22 16:15: CHERI - Architectural support for software memory protection and compartmentalisation (Robert N. M. Watson - University of Cambridge, Computer Laboratory)

2017-03-01 16:15: AI Meets Cancer (Dr Jasmin Fisher - Department of Biochemistry,  University of Cambridge & Microsoft Research)

2017-03-08 14:00: Part Ib Computer Science Group Project Presentations (Part Ib CST Group Leaders)

2017-03-15 16:15: Are Sensor Networks a first step towards the Diamond Age? (Prof Julie McCann - Imperial College London)

2017-05-03 16:15: Morphologically Computing Soft Robots toward Self-Organizing Machines (Dr Fumiya Iida - Department of Engineering, University of Cambridge)

2017-05-10 16:15: Pervasive Sensing for Lifestyle Monitoring and Urban Applications (Prof Archan Misra - SMU Singapore)

2017-05-17 16:15: Ubiquitous Sensing with Light (Xia Zhou - Dept of Computer Science Dartmouth College )

2017-05-24 16:15: Can we make people value IT security? (M. Angela Sasse - UCL London.)

2017-05-31 16:15: Reigniting Innovation in the Hardware Industry (Krste Asanovic - UC Berkeley)

2017-10-11 16:15: Wireless community mesh networks: fresh connectivity for 7 billion people (Prof Leandro Navarro - Universitat Politècnica de Catalunya)

2017-10-18 16:15: (No Seminar Today) (Mr Nobody)

2017-10-25 16:15: What if Computers Understood Physics? (Dr Phillip Stanley-Marbell - University of Cambridge, Dept Engineering.)

2017-11-01 16:15: Programming Computers Without Processors (Dr Satnam Singh - X, The Moonshot Factory)

2017-11-08 16:15: Open source – 19th C. capitalism re-invented ? (Dr Lee Smith - ARM )

2017-11-15 16:15: When Robots Hit the Road: New Challenges in Multi-Vehicle Coordination and Control (Dr Amanda Prorok - University of Cambridge, Computer Laboratory.)

2017-11-22 16:15: Using Modern C++ - stepping up to C++14/17 (Dr Bjarne Stroustrup)

2017-11-29 16:15: Hands-on Generative Programming: Write an Interpreter, Build a Compiler. (Dr Nada Amin - University of Cambridge, Computer Laboratory.)

2018-01-24 16:15: THEMIS: Fairness in Federated Stream Processing under Overload (Dr Eva Kalyvianaki - The Computer Laboratory, Cambridge.)

2018-01-31 16:15: Amazon Alexa (Dr Craig Saunders - Amazon )

2018-02-07 16:15: Private Statistics and Their Applications to Distributed Learning: Tools and Challenges (Dr Emiliano De Cristofaro - University College London)

2018-02-14 16:15: Kiwi Scientific Acceleration on FPGA (Dr David J Greaves - University of Cambridge, Computer Laboratory.)

2018-02-21 16:15: Exploring the mechanisms of  haematopoietic lineage progression at the single-cell level (Dr Ana Cvejic - The Sanger Centre & Dept of Haematology, Cambridge.)

2018-02-28 16:15: The Exposome in Epidemiological Practice (Prof. Paolo Vineis - School of Public Health, Imperial College London)

2018-03-07 14:00: Part Ib Group Project Presentations (Computer Science Tripos 2nd Year Students)

2018-03-14 16:15: Embedding Musical Codes into an Interactive Piano Composition (Prof Steve Benford - University of Nottingham, Mixed Reality Laboratory)

2018-05-02 16:15: No Seminar Today (Speaker to be confirmed)

2018-05-09 16:15: Latent Variable Model, Matrix Estimation and Collaborative Filtering (Prof Devavrat Shah - MIT)

2018-05-16 16:15: A New Era of Open-Source System-on-Chip Design (Prof Christopher Batten - Cornell University)

2018-05-23 16:15: Rule Control Of Teleo-Reactive, Multi-Tasking, Communicating Robotic Agents ( Keith Clark - Imperial College London)

2018-05-30 16:15: The Wheeler Lecture In Computer Science: Language, Learning, and Creativity (Professor Stephen Pulman - Department of Computer Science, University of Oxford.)

2018-10-10 16:15: Machine learning for medicine: Predicting, pre-empting and treating disease (Professor Mihaela van der Schaar - John Humphrey Plummer Professor, University of Cambridge)

2018-10-17 16:15: A journey into interdisciplinary research (Derek McAuley - Professor of Digital Economy, University of Nottingham)

2018-10-31 16:15: Stylus input and the benefits of a standard (Mark Hayter - Sr Engineering Director in the Chrome OS Hardware team at Google, and is currently a visitor from industry with the Computer Architecture team in the Computer Lab  )

2018-11-07 16:15: Scalable Intelligent Systems by 2025 (Carl Hewitt - Emeritus Professor at MIT)

2018-11-14 16:15: Failing with Style: Why and How we Should Encourage Humans to Fail with Highly Capable Systems (Professor Steve Benford, Mixed Reality Laboratory, School of Computer Science, The University of Nottingham)

2018-11-21 16:15: Computational Imaging for Realistic Appearance Modelling (Abhijeet Ghosh, Imperial College London)

2018-11-28 16:15: From molecules to recurrent visual hallucinations: multimodal imaging and computational modelling of Dementia with Lewy bodies (Dr Li Su - Alzheimer’s Research UK Senior Research Fellow)

2019-01-23 16:15: Imitation learning for structured prediction (Dr Andreas Vlachos)

2019-01-30 16:15: The Magic of Machine Learning and Classifier ensembles (Ludmila Kuncheva,Bangor University)

2019-02-06 16:15: Perpetual Computing: Technologies for Banishing Batteries (Joshua R. Smith - Zeutschel Professor, Allen School of Computer Science and Engineering, University of Washington)

2019-02-13 16:15: Make Switches Simple Again! (Dr Noa Zilberman)

2019-02-20 16:15: Verified Probabilistic Reachability in Parametric Hybrid Systems: Theory and Tool Implementation (Dr Paolo Zuliani - School of Computing, Newcastle University)

2019-02-27 16:15: DevOps and Cloud Native development in the University of Cambridge (Dr Abraham Martin - Head of DevOps, University of Cambridge Information Services )

2019-03-20 16:15: Representation Learning on Graphs (Jure Leskovec - Associate Professor of Computer Science at Stanford University, Chief Scientist at Pinterest, and investigator at Chan Zuckerberg Biohub)

2019-04-24 16:15: Hand Tracking on HoloLens 2 (Dr Erroll Wood)

2019-05-01 16:15: How to design a programming language (Professor Alan Blackwell)

2019-05-22 15:15: Combining Formal Methods and Machine Learning (Professor Jane Hillston, University of Edinburgh)

2019-05-29 16:15: The Principle of Least Cognitive Action (Professor Marco Gori)

2019-06-12 16:15: Security and Privacy in a World of Safety: Analysing Avionic Data Links and NextGen ATC Networks (Professor Ivan Martinovic - Computer Science Department, University of Oxford)

2019-10-30 15:05: StructureNet: Hierarchical Graph Networks for 3D Shape Generation (Professor Niloy Mitra - Professor of Geometry Processing in the Department of Computer Science, University College London (UCL))

2019-11-06 15:05: Deep learning on graphs and manifolds: going beyond Euclidean data (Professor Michael Bronstein (Imperial College / Twitter))

2019-11-13 15:05: The Digital Architecture of Future Cities (Dr Ian Lewis - Director, Infrastructure Investment - Computer Laboratory)

2019-11-20 15:05: Earphones: The Next Significant Platform after Smartphones (Romit Roy Choudhury (University of Illinois at Urbana Champaign))

2020-01-22 15:05: Digital Modeling of Reality with Machine Learning (Dr Cengiz Oztireli, Graphics Lecturer, Department of Computer Science and Technology, University of Cambridge)

2020-02-05 15:05: Machine Learning at the  Extreme Edge - an Open Platform Approach (Prof. Dr. Luca Benini, ETH Zürich)

2020-02-12 15:05: Climate, Carbon, and Computer Science (Professor Keshav - Robert Sansom Professor, Department of Computer Science and Technology, University of Cambridge)

2020-02-19 15:05: Soft Aerial Robotics for Digital Infrastructure Systems (Dr Mirko Kovac - Director, Aerial Robotics Laboratory, Imperial College)

2020-05-20 14:00: Wheeler Lecture 2020: The Future of Microprocessors (Dr Sophie Wilson)

2020-06-17 15:00: Addressing Imbalance in Object Detection (Dr Sinan Kalkan - Assoc. Prof Middle East Technical University and Visiting Researcher, Cambridge University)

2020-10-28 15:00: Haar Graph Pooling  (Dr Yu Guang Wang - University of New South Wales)

2020-11-25 15:00: Graph Neural Networks for Biomedical Data (Marinka Zitnik, Harvard University)

2021-01-27 15:00: Reconciling Temporalities in Relating Different Worlds (Professor Nicola Bidwell - International University of Management, Namibia)

2021-02-03 15:00: The Compelling World of Augmented Perception  - A Perspective on Sensory Wearables (Dr Fahim Kawsar - Nokia Bell Labs)

2021-02-17 15:00: Theoretical Foundations of Graph Neural Networks (Dr Petar Veličković - DeepMind)

2021-02-24 15:00: Data driven design for sustainable future cities: incorporating the intangible (Dr Ronita Bardhan - University Lecturer of Sustainability in Built Environment, Department of Architecture, University of Cambridge)

2021-03-10 15:00: Modelling syntactico-semantic composition for natural language understanding and generation (Dr Weiwei Sun - Department of Computer Science and Technology, University of Cambridge)

2021-05-05 15:00: Programming languages for humans (Dr Jeremy Yallop - Department of Computer Science and Technology, University of Cambridge)

2021-05-12 15:30: Wheeler Lecture 2021: Reimagining Robots (Professor Daniela Rus - Director of the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT)

2021-05-26 15:00: Computation, Composition (Dr Jamie Vicary - Department of Computer Science and Technology, University of Cambridge)

2021-06-02 15:00: Morello - Arm's research prototype using Capabilities (Richard Grisenthwaite - SVP, Chief Architect & Fellow, Arm)

2021-06-09 15:00: The Statistical Finite Element Method (Professor Mark Girolami - Department of Engineering, University of Cambridge)

2021-06-16 15:00: A Retrospective on the 2014 NeurIPS Experiment (Professor Neil Lawrence - Department of Computer Science and Technology, University of Cambridge)

2021-10-20 15:05: CO2 Monitoring in the Department (Ian Lewis - Department of Computer Science and Technology, University of Cambridge)

2021-10-27 15:05: Remote sensing and computer vision – just analysis of images from different sensors? (Professor Clement Atzberger - BOKU University, Austria & Mantle Labs Ltd., UK)

2021-11-03 15:05: Self-Organization of Lifelike Behaviors (Dr Jeremy England - Georgia Institute of Technology, School of Physics )

2022-01-26 15:05: The Quarks of Attention (Professor Pierre Baldi - Distinguished Professor, Department of Computer Science Director, Institute for Genomics and Bioinformatics Associate Director, Center for Machine Learning and Intelligent Systems, University of California, Irvine)

2022-02-02 15:05: Improving Quality of Experience for Video Users in Cellular Networks (Professor Cormac J. Sreenan - Professor of Computer Science at University College Cork)

2022-02-23 15:05: AI x Mathematics (Dr Alex Davies - DeepMind and Dr Petar Veličković - DeepMind / University of Cambridge)

2022-03-02 15:05: Intelligent Systems of the People, by the People, for the People (Xiaofan (Fred) Jiang - Associate Professor of Electrical Engineering and Computer Engineering, Columbia University)

2022-03-09 15:05: Graph Neural Networks through the lens of algebraic topology, differential geometry, and PDEs (Professor Michael Bronstein - Department of Computer Science, University of Oxford)

2022-05-04 15:05: Safe and accurate satellite navigation with non-Gaussian models (Dr Ian Sheret - Polymath Insight Limited)

2022-05-18 15:15: CANCELLED: Wheeler Lecture 2022 (David Silver, Principal Research Scientist at DeepMind)

2022-05-25 15:05: AI Hardware and Real-World AI (Andrew Fitzgibbon - Distinguished Engineer, Graphcore)

2022-06-01 15:05: Balanced Allocations: The Power of Choice versus Noise (Dr Thomas Sauerwald - Department of Computer Science and Technology)

2022-06-08 15:05: Computational Inverse Design of Deployable Structures (Professor Mark Pauly - Geometric Computing Laboratory, EPFL Swiss Federal Institute of Technology, Lausanne)

2022-10-12 15:05: Would you trust a cybercriminal? (Dr Alice Hutchings - Department of Computer Science and Technology)

2022-10-19 15:05: Developing an artificial heart (Dr Mark Goldberg - Camp Lowell Cardiology)

2022-11-09 15:05: CANCELLED: Turning the metaverse from myth to reality (Herman Narula - CEO of Improbable)

2022-11-16 15:05: Financing Forests: A Credible Approach towards Halting Tropical Deforestation (Professor Anil Madhavapeddy - Department of Computer Science and Technology)

2022-11-23 15:05: Formalised Mathematics: Obstacles and Achievements (Professor Lawrence Paulson - Department of Computer Science and Technology)

2022-11-30 15:30: Using Everyday Routines as a Resource for Understanding Behaviors and Making Recommendations (Professor Anind Dey - Dean and Professor of the Information School at the University of Washington)

2023-02-15 16:00: Memorial Event for Alexander 'Sandy' Fraser (Various)

2023-02-22 15:05: Data Science and Machine Learning in Context (Dr. Alfred Z. Spector Visiting Scholar, MIT EECS)

2023-03-01 15:05: Backdoors in Machine Learning Models (Dr Ilia Shumailov - Christ Church, University of Oxford)

2023-03-15 15:05: TALK CANCELLED: Explicit Weakening (A Functional Pearl) (Professor Philip Wadler - Professor of Theoretical Computer Science, Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh)

2023-05-03 15:05: From the GUI to ChatGPT: a historical sketch of HCI research agendas and their applicability today (Professor Richard Harper - Lancaster University)

2023-05-10 15:05: Learning the topology of complex systems from their dynamics (Professor Ginestra Bianconi - Queen Mary University of London)

2023-05-24 15:05: Bayes in the age of intelligent machines (Professor Tom Griffiths - Princeton University)

2023-05-31 15:05: Privacy in mobility measurements (Professor Jörg Ott - Technische Universität München)

2023-10-11 15:05: How can we make trustworthy AI? (Professor Mateja Jamnik - Department of Computer Science and Technology, University of Cambridge)

2023-10-25 15:05: An invitation to univalent foundations of mathematics (Dr Jon Sterling - Department of Computer Science and Technology, University of Cambridge)

2023-11-01 15:05: Pathfinding for 10k agents (Dr Keisuke Okumura - Visiting scholar at the Department of Computer Science and Technology, University of Cambridge)

2023-11-08 15:05: Coherence Attacks and Defenses in 2.5D Integrated Systems (Professor Paul Gratz - Professor in the Department of Electrical and Computer Engineering, Texas A&M University. Visiting academic at the Department of Computer Science and Technology, University of Cambridge )

2023-11-15 15:00: Wheeler Lecture 2023: Beyond functional programming: a taste of Verse (Professor Simon Peyton Jones - Honorary Distinguished Fellow of the Department of Computer Science and Technology, University of Cambridge)

2023-11-22 15:05: Cross-lingual transfer learning with multilingual masked language models (Professor Mamoru Komachi - Research Professor, Tokyo Metropolitan University. Visiting academic at the Department of Computer Science and Technology, University of Cambridge)

2023-11-29 15:05: A brief introduction to causal inference (Dr Apinan Hasthanasombat - Visiting academic at the Department of Computer Science and Technology, University of Cambridge)

2024-01-24 15:05: Quantum computing via the lens of additive combinatorics (Dr Tom Gur - Department of Computer Science and Technology, University of Cambridge)

2024-02-07 15:05: The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and Verification (Dr Tobias Grosser - Department of Computer Science and Technology, University of Cambridge)

2024-02-14 15:05: Graph Neural Networks for skillful weather forecasting (Dr Ferran Alet - Research Scientist, Google DeepMind)

2024-02-21 15:05: Making Large Language Models Safe: A Case Study of Llama2 (Pushkar Mishra - Lead AI Research Engineer, Meta and Computer Science Part 1B Supervisor, University of Cambridge)

2024-02-28 15:05: A Data-Free, Universal Prior Distribution for Syntactic Structures (Dr Fermin Moscoso del Prado Martin - Department of Computer Science and Technology, University of Cambridge)

2024-03-06 15:05: Distribution Shifts in Human-Centered Representation Learning (Dr Ali Etemad - Associate Professor at Queen’s University, Canada. Visiting academic at the Department of Computer Science and Technology, University of Cambridge)

2024-03-13 15:05: Private Data Analysis over Large Populations (Professor Graham Cormode - Research Scientist, Facebook and professor in the Department of Computer Science, University of Warwick)

2024-05-01 15:05: Exploring novel (bio)molecular spaces by design – a dialogue between representation and generation (Professor Bruno Correia - Laboratory of Protein Design and Immunoengineering, EPFL Swiss Federal Institute of Technology, Lausanne.)

2024-05-15 15:05: Iterative active learning for the rapid discovery of best-in-class multispecific antibody therapeutics (Dr Leonard Wossnig - CTO at LabGenius and Honorary Research Fellow in Computer Science at UCL)

2024-10-15 14:00: Homomorphism Indistinguishability: Characterisations, Closure, Complexity (Tim Seppelt (RWTH Aachen University))

2024-10-23 15:00: Wheeler Lecture 2024: Supercharging the Human Mind With AI (Professor Yvonne Rogers - Professor of Interaction Design, Director of UCL Interaction Centre, Deputy Head of the Computer Science Department UCL)

2024-10-29 18:00: Seeing the invisible; the Dark Matter puzzle (Prof Tina Potter)

2024-11-04 19:30: CSAR lecture: Next Gen asset tracking using battery-free Internet of Things and Artificial Intelligence (Dr. Sabesan Sithamparanathan OBE, PervasID Ltd., St. Johns Innovation Centre, Cambridge)

2024-11-06 15:05: Lean Learning: Applying Lean and Agile Techniques to Software Engineering Education (Dr Robert Chatley - Director, Software Engineering Practice and Director, DoC EdTech Lab, Imperial College London)

2024-11-13 15:05: Computing for Climate Science and Programming for the Planet (Dr Dominic Orchard - Department of Computer Science and Technology, University of Cambridge. Co-director of the Institute of Computing for Climate Science (ICCS))

2024-11-20 15:05: Sensing human activities: from the lab to the home of the elderly (Professor Claudio Bettini - Department of Computer Science, University of Milan, Italy)

2024-11-27 15:05: The first AGI will be Federated (Professor Nic Lane - Department of Computer Science and Technology, University of Cambridge)

2024-11-28 17:00: AlphaFold3 Open-Source, Chai-1 and Boltz-1 for protein structure predictions : Discussion and Mini-Workshop (Stéphane Gagné (Université Laval, Canada))

2025-01-29 15:05: Green Algorithms, Green DiSC and GREENER principles: making computational science more environmentally sustainable (Dr Loïc Lannelongue - Department of Public Health and Primary Care, University of Cambridge)

2025-02-05 15:05: EU AI Act: A firsthand perspective (Dr Gabriele Mazzini - Research Affiliate, MIT Media Lab. Architect & lead author of the EU AI Act)

2025-02-12 15:05: Hardware Datapath: For Machine Learning and Beyond (Professor George A. Constantinides - Professor of Digital Computation, Department of Electrical and Electronic Engineering, Imperial College London)

2025-02-19 15:05: Probabilistic weather forecasting with machine learning (Dr Ilan Price - Senior Research Scientist, Google DeepMind)

2025-02-26 15:05: Digital Money and Decentralised Finance (Professor Frank Stajano and Dr Ferdinando Samaria - Department of Computer Science and Technology, University of Cambridge.)

2025-03-05 15:05: Generative modelling for de novo design of therapeutics (Dr Joe Watson - Co-founder, Xaira Therapeutics and Dr Emile Mathieu)

2025-03-19 14:05: Which Faculty Diversity Programs Work? Evidence from 600 U.S. Colleges and Universities (Professor Frank Dobbin - Henry Ford II Professor of the Social Sciences at Harvard)

2025-05-07 15:05: The TPTP World - Infrastructure for Automated Reasoning (Dr Geoff Sutcliffe - Department of Computer Science, University of Miami, USA)

2025-05-14 15:05: Type-driven Development with Idris 2 (Dr Edwin Brady - School of Computer Science, University of St Andrews)

2025-05-21 15:05: Recreating the Physical Natural World from Images (Dr Elliott Wu - Department of Engineering, University of Cambridge)

2025-05-28 15:05: Hard and soft equivariance priors via Steerable CNNs (Dr Gabriele Cesa - Qualcomm AI Research, Amsterdam)

2025-10-22 15:00: Wheeler Lecture 2025: Efficiency, Resilience, and Artificial Intelligence (Professor Moshe Vardi - Rice University)

2025-10-29 15:05: Standing on the Shoulders of Giants (Dr Greg Lavender - Former CTO of Intel and VMware Trustee, American School of Classical Studies at Athens)

2025-11-12 15:05: From research lab to newsroom: deploying secure whistleblower technology in practice (Dr Daniel Hugenroth and Professor Alastair Beresford - Department of Computer Science and Technology, University of Cambridge)

2025-11-19 15:05: AI for Math: The Future of Collaborative Discovery (Professor Mateja Jamnik - Department of Computer Science and Technology, University of Cambridge.)

2025-11-26 15:05: Physical Inductive Biases for World Models (Dr Ayush Tewari - Department of Engineering, University of Cambridge)

2025-12-03 15:05: Resource estimation and optimization to accelerate progress towards quantum advantage (Dr Prakash Murali - Department of Computer Science and Technology, University of Cambridge)

2026-01-28 15:05: What is HoTT? (Professor Steve Awodey - Departments of Philosophy and Mathematics, Carnegie Mellon University )

2026-02-04 15:05: 15 years of the CHERI Research Project: Reflections, Current Work, and Next Directions (Professor Robert N. M. Watson - Department of Computer Science and Technology, University of Cambridge)

2026-02-11 15:05: A Gentle Introduction to Quantum Computational ElectroMagnetics (Professor Gabriele Gradoni - Institute for Communication Systems, University of Surrey)

2026-02-18 15:05: Geometric Gaussian Processes (Dr Viacheslav Borovitskiy - School of Informatics Institute for Adaptive and Neural Computation, University of Edinburgh )

2026-02-25 15:00: The Cybersecurity Awareness Experience: A Masterclass in Social Engineering, Behavioral Psychology, and Digital Self-Defense (Paul Draper)

2026-03-04 15:05: Automated Translation of Real-World Codebases: How Far Are We? (Dr Cristina David - School of Computer Science, University of Bristol)

2026-05-06 15:05: Title to be confirmed (Professor Tomas Petricek - Department of Distributed and Dependable Systems, Faculty of Mathematics and Physics, Charles University, Czech Republic)

2026-05-13 15:05: Title to be confirmed (Professor Simon Moore - Department of Computer Science and Technology, University of Cambridge)

2026-05-20 15:05: Title to be confirmed (Professor Tom Stafford - School of Psychology, Universitry of Sheffield)

2026-05-27 15:00: Title to be confirmed (Professor David Kotz - Department of Computer Science, Dartmouth College)

2026-06-03 15:05: Title to be confirmed (Dr Hana Aliee - Cancer Research UK, University of Cambridge)