![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Dr Cristina David - School of Computer Science, University of Bristol.
Wednesday 04 March 2026, 15:05-15:55
jd670's list
A personal list of talks.
Contact: jo de bono
5 upcoming talks View 398 archived talks
Wednesday Seminars - Department of Computer Science and Technology
Automated Translation of Real-World Codebases: How Far Are We?
Wednesday Seminars - Department of Computer Science and Technology
The Cybersecurity Awareness Experience: A Masterclass in Social Engineering, Behavioral Psychology, and Digital Self-Defense
Wednesday Seminars - Department of Computer Science and Technology
Geometric Gaussian Processes
Wednesday Seminars - Department of Computer Science and Technology
A Gentle Introduction to Quantum Computational ElectroMagnetics
Wednesday Seminars - Department of Computer Science and Technology
15 years of the CHERI Research Project: Reflections, Current Work, and Next Directions
Wednesday Seminars - Department of Computer Science and Technology
What is HoTT?
Wednesday Seminars - Department of Computer Science and Technology
Resource estimation and optimization to accelerate progress towards quantum advantage
Wednesday Seminars - Department of Computer Science and Technology
Physical Inductive Biases for World Models
Wednesday Seminars - Department of Computer Science and Technology
AI for Math: The Future of Collaborative Discovery
Wednesday Seminars - Department of Computer Science and Technology
From research lab to newsroom: deploying secure whistleblower technology in practice
Wednesday Seminars - Department of Computer Science and Technology
Standing on the Shoulders of Giants
The Wheeler Lectures in Computer Science
Wheeler Lecture 2025: Efficiency, Resilience, and Artificial Intelligence
Wednesday Seminars - Department of Computer Science and Technology
Hard and soft equivariance priors via Steerable CNNs
Wednesday Seminars - Department of Computer Science and Technology
Recreating the Physical Natural World from Images
Wednesday Seminars - Department of Computer Science and Technology
Type-driven Development with Idris 2
Wednesday Seminars - Department of Computer Science and Technology
The TPTP World - Infrastructure for Automated Reasoning
Wednesday Seminars - Department of Computer Science and Technology
Which Faculty Diversity Programs Work? Evidence from 600 U.S. Colleges and Universities
Wednesday Seminars - Department of Computer Science and Technology
Generative modelling for de novo design of therapeutics
Wednesday Seminars - Department of Computer Science and Technology
Digital Money and Decentralised Finance
Wednesday Seminars - Department of Computer Science and Technology
Probabilistic weather forecasting with machine learning
Wednesday Seminars - Department of Computer Science and Technology
Hardware Datapath: For Machine Learning and Beyond
Wednesday Seminars - Department of Computer Science and Technology
EU AI Act: A firsthand perspective
Wednesday Seminars - Department of Computer Science and Technology
Green Algorithms, Green DiSC and GREENER principles: making computational science more environmentally sustainable
Wednesday Seminars - Department of Computer Science and Technology
The first AGI will be Federated
Wednesday Seminars - Department of Computer Science and Technology
Sensing human activities: from the lab to the home of the elderly
Wednesday Seminars - Department of Computer Science and Technology
Computing for Climate Science and Programming for the Planet
Wednesday Seminars - Department of Computer Science and Technology
Lean Learning: Applying Lean and Agile Techniques to Software Engineering Education
The Wheeler Lectures in Computer Science
Wheeler Lecture 2024: Supercharging the Human Mind With AI
Wednesday Seminars - Department of Computer Science and Technology
Iterative active learning for the rapid discovery of best-in-class multispecific antibody therapeutics
Wednesday Seminars - Department of Computer Science and Technology
Exploring novel (bio)molecular spaces by design β a dialogue between representation and generation
Wednesday Seminars - Department of Computer Science and Technology
Private Data Analysis over Large Populations
Wednesday Seminars - Department of Computer Science and Technology
Distribution Shifts in Human-Centered Representation Learning
Wednesday Seminars - Department of Computer Science and Technology
A Data-Free, Universal Prior Distribution for Syntactic Structures
Wednesday Seminars - Department of Computer Science and Technology
Making Large Language Models Safe: A Case Study of Llama2
Wednesday Seminars - Department of Computer Science and Technology
Graph Neural Networks for skillful weather forecasting
Wednesday Seminars - Department of Computer Science and Technology
The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and Verification
Wednesday Seminars - Department of Computer Science and Technology
Quantum computing via the lens of additive combinatorics
Wednesday Seminars - Department of Computer Science and Technology
A brief introduction to causal inference
Wednesday Seminars - Department of Computer Science and Technology
Cross-lingual transfer learning with multilingual masked language models
The Wheeler Lectures in Computer Science
Wheeler Lecture 2023: Beyond functional programming: a taste of Verse
Wednesday Seminars - Department of Computer Science and Technology
Coherence Attacks and Defenses in 2.5D Integrated Systems
Wednesday Seminars - Department of Computer Science and Technology
Pathfinding for 10k agents
Wednesday Seminars - Department of Computer Science and Technology
An invitation to univalent foundations of mathematics
Wednesday Seminars - Department of Computer Science and Technology
How can we make trustworthy AI?
Wednesday Seminars - Department of Computer Science and Technology
Privacy in mobility measurements
Wednesday Seminars - Department of Computer Science and Technology
Bayes in the age of intelligent machines
Wednesday Seminars - Department of Computer Science and Technology
Learning the topology of complex systems from their dynamics
Wednesday Seminars - Department of Computer Science and Technology
From the GUI to ChatGPT: a historical sketch of HCI research agendas and their applicability today
Wednesday Seminars - Department of Computer Science and Technology
TALK CANCELLED: Explicit Weakening (A Functional Pearl)
Wednesday Seminars - Department of Computer Science and Technology
Backdoors in Machine Learning Models
Wednesday Seminars - Department of Computer Science and Technology
Data Science and Machine Learning in Context
Wednesday Seminars - Department of Computer Science and Technology
Memorial Event for Alexander 'Sandy' Fraser
Wednesday Seminars - Department of Computer Science and Technology
Using Everyday Routines as a Resource for Understanding Behaviors and Making Recommendations
Wednesday Seminars - Department of Computer Science and Technology
Formalised Mathematics: Obstacles and Achievements
Wednesday Seminars - Department of Computer Science and Technology
Financing Forests: A Credible Approach towards Halting Tropical Deforestation
Wednesday Seminars - Department of Computer Science and Technology
CANCELLED: Turning the metaverse from myth to reality
Wednesday Seminars - Department of Computer Science and Technology
Developing an artificial heart
Wednesday Seminars - Department of Computer Science and Technology
Would you trust a cybercriminal?
Wednesday Seminars - Department of Computer Science and Technology
Computational Inverse Design of Deployable Structures
Wednesday Seminars - Department of Computer Science and Technology
Balanced Allocations: The Power of Choice versus Noise
Wednesday Seminars - Department of Computer Science and Technology
AI Hardware and Real-World AI
The Wheeler Lectures in Computer Science
CANCELLED: Wheeler Lecture 2022
Wednesday Seminars - Department of Computer Science and Technology
Safe and accurate satellite navigation with non-Gaussian models
Wednesday Seminars - Department of Computer Science and Technology
Graph Neural Networks through the lens of algebraic topology, differential geometry, and PDEs
Wednesday Seminars - Department of Computer Science and Technology
Intelligent Systems of the People, by the People, for the People
Wednesday Seminars - Department of Computer Science and Technology
AI x Mathematics
Wednesday Seminars - Department of Computer Science and Technology
Improving Quality of Experience for Video Users in Cellular Networks
Wednesday Seminars - Department of Computer Science and Technology
The Quarks of Attention
Wednesday Seminars - Department of Computer Science and Technology
Self-Organization of Lifelike Behaviors
Wednesday Seminars - Department of Computer Science and Technology
Remote sensing and computer vision β just analysis of images from different sensors?
Wednesday Seminars - Department of Computer Science and Technology
CO2 Monitoring in the Department
Wednesday Seminars - Department of Computer Science and Technology
A Retrospective on the 2014 NeurIPS Experiment
Wednesday Seminars - Department of Computer Science and Technology
The Statistical Finite Element Method
Wednesday Seminars - Department of Computer Science and Technology
Morello - Arm's research prototype using Capabilities
Wednesday Seminars - Department of Computer Science and Technology
Computation, Composition
The Wheeler Lectures in Computer Science
Wheeler Lecture 2021: Reimagining Robots
Wednesday Seminars - Department of Computer Science and Technology
Programming languages for humans
Wednesday Seminars - Department of Computer Science and Technology
Modelling syntactico-semantic composition for natural language understanding and generation
Wednesday Seminars - Department of Computer Science and Technology
Data driven design for sustainable future cities: incorporating the intangible
Wednesday Seminars - Department of Computer Science and Technology
Theoretical Foundations of Graph Neural Networks
Wednesday Seminars - Department of Computer Science and Technology
The Compelling World of Augmented Perception - A Perspective on Sensory Wearables
Wednesday Seminars - Department of Computer Science and Technology
Reconciling Temporalities in Relating Different Worlds
Wednesday Seminars - Department of Computer Science and Technology
Graph Neural Networks for Biomedical Data
β οΈ This seminar is part of the Artificial Intelligence Group Talk series too.
Wednesday Seminars - Department of Computer Science and Technology
Haar Graph Pooling
Wednesday Seminars - Department of Computer Science and Technology
Addressing Imbalance in Object Detection
The Wheeler Lectures in Computer Science
Wheeler Lecture 2020: The Future of Microprocessors
Wednesday Seminars - Department of Computer Science and Technology
Soft Aerial Robotics for Digital Infrastructure Systems
Wednesday Seminars - Department of Computer Science and Technology
Climate, Carbon, and Computer Science
Wednesday Seminars - Department of Computer Science and Technology
Machine Learning at the Extreme Edge - an Open Platform Approach
Wednesday Seminars - Department of Computer Science and Technology
Digital Modeling of Reality with Machine Learning
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
Earphones: The Next Significant Platform after Smartphones
Wednesday Seminars - Department of Computer Science and Technology
The Digital Architecture of Future Cities
Wednesday Seminars - Department of Computer Science and Technology
Deep learning on graphs and manifolds: going beyond Euclidean data
Wednesday Seminars - Department of Computer Science and Technology
StructureNet: Hierarchical Graph Networks for 3D Shape Generation
Wednesday Seminars - Department of Computer Science and Technology
Security and Privacy in a World of Safety: Analysing Avionic Data Links and NextGen ATC Networks
Wednesday Seminars - Department of Computer Science and Technology
The Principle of Least Cognitive Action
The Wheeler Lectures in Computer Science
Combining Formal Methods and Machine Learning
Wednesday Seminars - Department of Computer Science and Technology
How to design a programming language
Wednesday Seminars - Department of Computer Science and Technology
Hand Tracking on HoloLens 2
Wednesday Seminars - Department of Computer Science and Technology
Representation Learning on Graphs
Wednesday Seminars - Department of Computer Science and Technology
DevOps and Cloud Native development in the University of Cambridge
Wednesday Seminars - Department of Computer Science and Technology
Verified Probabilistic Reachability in Parametric Hybrid Systems: Theory and Tool Implementation
Wednesday Seminars - Department of Computer Science and Technology
Make Switches Simple Again!
Wednesday Seminars - Department of Computer Science and Technology
Perpetual Computing: Technologies for Banishing Batteries
Wednesday Seminars - Department of Computer Science and Technology
The Magic of Machine Learning and Classifier ensembles
Wednesday Seminars - Department of Computer Science and Technology
Imitation learning for structured prediction
Wednesday Seminars - Department of Computer Science and Technology
From molecules to recurrent visual hallucinations: multimodal imaging and computational modelling of Dementia with Lewy bodies
Wednesday Seminars - Department of Computer Science and Technology
Computational Imaging for Realistic Appearance Modelling
Wednesday Seminars - Department of Computer Science and Technology
Failing with Style: Why and How we Should Encourage Humans to Fail with Highly Capable Systems
Wednesday Seminars - Department of Computer Science and Technology
Scalable Intelligent Systems by 2025
Wednesday Seminars - Department of Computer Science and Technology
Stylus input and the benefits of a standard
Wednesday Seminars - Department of Computer Science and Technology
A journey into interdisciplinary research
Wednesday Seminars - Department of Computer Science and Technology
Machine learning for medicine: Predicting, pre-empting and treating disease
The Wheeler Lectures in Computer Science
The Wheeler Lecture In Computer Science: Language, Learning, and Creativity
Wednesday Seminars - Department of Computer Science and Technology
Rule Control Of Teleo-Reactive, Multi-Tasking, Communicating Robotic Agents
Wednesday Seminars - Department of Computer Science and Technology
A New Era of Open-Source System-on-Chip Design
Wednesday Seminars - Department of Computer Science and Technology
Latent Variable Model, Matrix Estimation and Collaborative Filtering
Wednesday Seminars - Department of Computer Science and Technology
No Seminar Today
Wednesday Seminars - Department of Computer Science and Technology
Embedding Musical Codes into an Interactive Piano Composition
β οΈ Sadly, today's seminar shall not take place owing to strike action.
Wednesday Seminars - Department of Computer Science and Technology
Part Ib Group Project Presentations
Wednesday Seminars - Department of Computer Science and Technology
The Exposome in Epidemiological Practice
β οΈ Sadly today's seminar shall not take place owing to snowy travel conditions.
Wednesday Seminars - Department of Computer Science and Technology
Exploring the mechanisms of haematopoietic lineage progression at the single-cell level
Wednesday Seminars - Department of Computer Science and Technology
Kiwi Scientific Acceleration on FPGA
Wednesday Seminars - Department of Computer Science and Technology
Private Statistics and Their Applications to Distributed Learning: Tools and Challenges
Wednesday Seminars - Department of Computer Science and Technology
Amazon Alexa
Wednesday Seminars - Department of Computer Science and Technology
THEMIS: Fairness in Federated Stream Processing under Overload
Wednesday Seminars - Department of Computer Science and Technology
Hands-on Generative Programming: Write an Interpreter, Build a Compiler.
Wednesday Seminars - Department of Computer Science and Technology
Using Modern C++ - stepping up to C++14/17
Wednesday Seminars - Department of Computer Science and Technology
When Robots Hit the Road: New Challenges in Multi-Vehicle Coordination and Control
Wednesday Seminars - Department of Computer Science and Technology
Open source β 19th C. capitalism re-invented ?
Wednesday Seminars - Department of Computer Science and Technology
Programming Computers Without Processors
Wednesday Seminars - Department of Computer Science and Technology
What if Computers Understood Physics?
Wednesday Seminars - Department of Computer Science and Technology
(No Seminar Today)
Wednesday Seminars - Department of Computer Science and Technology
Wireless community mesh networks: fresh connectivity for 7 billion people
Wednesday Seminars - Department of Computer Science and Technology
Reigniting Innovation in the Hardware Industry
Wednesday Seminars - Department of Computer Science and Technology
Can we make people value IT security?
β οΈ Wheeler Lecture β Please register for this session on separate web page.
Wednesday Seminars - Department of Computer Science and Technology
Ubiquitous Sensing with Light
Wednesday Seminars - Department of Computer Science and Technology
Pervasive Sensing for Lifestyle Monitoring and Urban Applications
Wednesday Seminars - Department of Computer Science and Technology
Morphologically Computing Soft Robots toward Self-Organizing Machines
Wednesday Seminars - Department of Computer Science and Technology
Are Sensor Networks a first step towards the Diamond Age?
Wednesday Seminars - Department of Computer Science and Technology
Part Ib Computer Science Group Project Presentations
Wednesday Seminars - Department of Computer Science and Technology
AI Meets Cancer
Wednesday Seminars - Department of Computer Science and Technology
CHERI - Architectural support for software memory protection and compartmentalisation
Wednesday Seminars - Department of Computer Science and Technology
Challenges in Human-Robot Interaction
Wednesday Seminars - Department of Computer Science and Technology
Data Science for the World of Moving Things
Wednesday Seminars - Department of Computer Science and Technology
GLOBULAR: A PROOF ASSISTANT FOR DIAGRAMMATIC SCIENCE
Wednesday Seminars - Department of Computer Science and Technology
Sequencing DNA Using Biological Nanopores
Wednesday Seminars - Department of Computer Science and Technology
Architectural Impacts of the Silicon Performance Wall
Wednesday Seminars - Department of Computer Science and Technology
Making Reactive Programs Function
β οΈ Note: Venue is LT2 (not LT1).
Wednesday Seminars - Department of Computer Science and Technology
PYNQ - Enabling Software Engineers to Program Heterogeneous, Reconfigurable SoCs
Wednesday Seminars - Department of Computer Science and Technology
Web search in an AI world: small, cute, distributed.
Wednesday Seminars - Department of Computer Science and Technology
Graduate Studies Open Day
β οΈ This is not a regular seminar. Please see separate programme.
Wednesday Seminars - Department of Computer Science and Technology
End-to-end encryption: Behind the scenes
Wednesday Seminars - Department of Computer Science and Technology
From Idea to Startup
Wednesday Seminars - Department of Computer Science and Technology
Rethinking Auto-Parallelisation
β οΈ Please note: All seminars in this series now start at 16:15
Wednesday Seminars - Department of Computer Science and Technology
From EDA to NDA: Treating Networks like Hardware Circuits
β οΈ (Out-of-term, one-off extra seminar.)
The Wheeler Lectures in Computer Science
A History of Virtualisation in Operating Systems.
β οΈ [14:30 Minute madness; 16:00 Main lecture; 17:00 Drinks reception.]
Wednesday Seminars - Department of Computer Science and Technology
What does the operating system ever do for me? - Systems Challenges in Graph Analytics
Wednesday Seminars - Department of Computer Science and Technology
No Littering!
β οΈ Please note: Unusual day of week and time.
Wednesday Seminars - Department of Computer Science and Technology
Imaginary Engines: Lovelace, Babbage and the Analytical Engine.
Wednesday Seminars - Department of Computer Science and Technology
Android: Mobile, Wearable and IoT devices - Designing Global, Scalable Systems
β οΈ Note revised date.
Wednesday Seminars - Department of Computer Science and Technology
From Human Affect and Personality to Social Robots: Affective and Social Signal Processing
Wednesday Seminars - Department of Computer Science and Technology
Freedom to Innovate: Addressing Student Legal Risks at MIT and Queen Mary's Entrepreneurship and Cyberlaw Clinics
Wednesday Seminars - Department of Computer Science and Technology
CST Part Ib, Group Project Presentations
Wednesday Seminars - Department of Computer Science and Technology
Data Science at The Guardian
β οΈ There is no 2:00pm Seminar this week, but the 3:00pm NLIP talk is a recommended alternative.
Wednesday Seminars - Department of Computer Science and Technology
Communication with Artificial Intelligences
Wednesday Seminars - Department of Computer Science and Technology
Predicting Psychology from Social Media Data
Wednesday Seminars - Department of Computer Science and Technology
The Supercloud: Opportunities and Challenges
Wednesday Seminars - Department of Computer Science and Technology
Synthetic Biology
Wednesday Seminars - Department of Computer Science and Technology
Finding what is invisible through computation
Wednesday Seminars - Department of Computer Science and Technology
Understanding and Verifying Javascript Programs.
Wednesday Seminars - Department of Computer Science and Technology
Communication Technologies Research at the NPL
Wednesday Seminars - Department of Computer Science and Technology
Talk Cancelled (was 'Synthetic Biology')
β οΈ This talk is cancelled.
Wednesday Seminars - Department of Computer Science and Technology
Unpatchable: Living with a Vulnerable Implanted Device
Wednesday Seminars - Department of Computer Science and Technology
Image-triage, Brain Computer Interaction and Deception Detection using EEG
Wednesday Seminars - Department of Computer Science and Technology
Todayβs and Tomorrowβs Camera Processing Pipelines
Wednesday Seminars - Department of Computer Science and Technology
Cluster Management with Kubernetes
Wednesday Seminars - Department of Computer Science and Technology
Clouds, Things and Robots: the need for innovation in Architecture and Software
NLIP Seminar Series
Unweaving The Lexical Rainbow: Grounding Linguistic Creativity in Perceptual Semantics
β οΈ We only have LT2 for the hour, so please don't enter before 1pm and don't be late for the talk, as it will start promptly at 1:05 and we'll have to leave before 2pm.
Wednesday Seminars - Department of Computer Science and Technology
Interaction + Graphics: Four Lectures By Computer Laboratory Visitors
β οΈ This is a cross posting from the Rainbow Group.
Wednesday Seminars - Department of Computer Science and Technology
Probabilistic Programming; Ways Forward
The Wheeler Lectures in Computer Science
Hints and Principles for Computer System Design
Wednesday Seminars - Department of Computer Science and Technology
Cancelled : Full reduction in the face of absurdity.
β οΈ Talk cancelled for today - speaker cannot make it.
Wednesday Seminars - Department of Computer Science and Technology
Cellular Systems Biology of Chromosome Dynamics
Wednesday Seminars - Department of Computer Science and Technology
Toward Causal Machine Learning
Wednesday Seminars - Department of Computer Science and Technology
Deep Learning of Natural Language Semantics
β οΈ Extrodinary (out-of-term) Babbage Seminar
Wednesday Seminars - Department of Computer Science and Technology
The Automatic Statistician - an AI for Data Science
Wednesday Seminars - Department of Computer Science and Technology
Group Project Presentations
Wednesday Seminars - Department of Computer Science and Technology
Digital by Default - A Paradigm Shift in Government
Wednesday Seminars - Department of Computer Science and Technology
The Evolution of Sophos
Wednesday Seminars - Department of Computer Science and Technology
Compressed sensing in the real world - Why and what actually works
Wednesday Seminars - Department of Computer Science and Technology
Non-Photorealistic Rendering of Images
Wednesday Seminars - Department of Computer Science and Technology
Interacting with Infrastructure: Home Networking and Beyond
Wednesday Seminars - Department of Computer Science and Technology
The UK National Cyber Security Programme
Wednesday Seminars - Department of Computer Science and Technology
Transitive leap frogging: how to avoid queuing up for work
Wednesday Seminars - Department of Computer Science and Technology
Text Analysis of Social Media Beyond Twitterdome
Wednesday Seminars - Department of Computer Science and Technology
Scientific Data Management
Wednesday Seminars - Department of Computer Science and Technology
Kafka and Samza: distributed stream processing in practice
Wednesday Seminars - Department of Computer Science and Technology
Payment System Security - Attacks and Defences
Wednesday Seminars - Department of Computer Science and Technology
Structure and Dynamics of Mutlilayer Networks
Wednesday Seminars - Department of Computer Science and Technology
Science Data Processor for the Square Kilometre Array Telescope
Wednesday Seminars - Department of Computer Science and Technology
Fuzzy Optimisation of Reverse Logistics Networks
Wednesday Seminars - Department of Computer Science and Technology
No Fixed Abode: Avoiding IP Address Blocking to Circumvent Censorship
Wednesday Seminars - Department of Computer Science and Technology
Theory into Practice: the story of Incremental
The Wheeler Lectures in Computer Science
Computational Thinking
Wednesday Seminars - Department of Computer Science and Technology
No Babbage Seminar today owing to the Wheeler Lecture
Wednesday Seminars - Department of Computer Science and Technology
Multitask Learning
Wednesday Seminars - Department of Computer Science and Technology
Computing Cancer
Wednesday Seminars - Department of Computer Science and Technology
*** The Weight of Gravity ***
β οΈ (Additional Talk: Week 0, Extended Duration 1.5 hrs)
Wednesday Seminars - Department of Computer Science and Technology
Competitive Contagion in Networks
Wednesday Seminars - Department of Computer Science and Technology
Part Ib Group Project Presentations
Wednesday Seminars - Department of Computer Science and Technology
What We Talk About When We Talk About Types
Wednesday Seminars - Department of Computer Science and Technology
Interactive Configuration Problems
Wednesday Seminars - Department of Computer Science and Technology
Safer Healthcare by Better Computer Science
Wednesday Seminars - Department of Computer Science and Technology
Talking About Shapes
Wednesday Seminars - Department of Computer Science and Technology
Randomised Load Balancing For Networks
Wednesday Seminars - Department of Computer Science and Technology
Evaluation Metrics and Learning to Rank for Information Retrieval
β οΈ Please note new seminar start time of 2:00pm this term.
Wednesday Seminars - Department of Computer Science and Technology
MirageOS: compiling a functional cloud
Wednesday Seminars - Department of Computer Science and Technology
Compressed sensing and the art of subsampling
Wednesday Seminars - Department of Computer Science and Technology
Research Issues in Computer Support for Collaborative Problem Solving
Wednesday Seminars - Department of Computer Science and Technology
Towards Do-It-Yourself Networking
Wednesday Seminars - Department of Computer Science and Technology
Pico: no more passwords!
Wednesday Seminars - Department of Computer Science and Technology
Understanding Video and Audio at Google
Wednesday Seminars - Department of Computer Science and Technology
Disciplined Approximate Computing: From Language to Hardware and Beyond
Wednesday Seminars - Department of Computer Science and Technology
Towards Position-based Routing for Mobile Environments
Wednesday Seminars - Department of Computer Science and Technology
Humans + Automation: Greater than the sum of the parts
Wednesday Seminars - Department of Computer Science and Technology
Errors, Exploits, and Espionage - A tour of software vulnerabilities and their real-world impact
Wednesday Seminars - Department of Computer Science and Technology
The Domain Name System in 2013 β The political and technical landscape
Wednesday Seminars - Department of Computer Science and Technology
Digging into (Historical) Data: Tracking global commodity trading in the nineteenth century
Wednesday Seminars - Department of Computer Science and Technology
Strongly-Typed Language Support for Internet-Scale Information Sources
Wednesday Seminars - Department of Computer Science and Technology
Mind the Map - Modelling Sustainability of Urban Crowd-Sourcing
Wednesday Seminars - Department of Computer Science and Technology
CANCELLED: Compressed Sensing and the Art of Subsampling
The Wheeler Lectures in Computer Science
Could Computers Understand Their Own Programs
Wednesday Seminars - Department of Computer Science and Technology
Student Design Project Presentations
Wednesday Seminars - Department of Computer Science and Technology
High-Assurance Algorithmic Trading
Wednesday Seminars - Department of Computer Science and Technology
Challenges in Computer Graphics Modeling
Wednesday Seminars - Department of Computer Science and Technology
Privacy Challenges and Solutions for Data Sharing
Wednesday Seminars - Department of Computer Science and Technology
Adaptive Runtime Verification
Wednesday Seminars - Department of Computer Science and Technology
Replacing lectures with videos in the Computer Science Tripos
Wednesday Seminars - Department of Computer Science and Technology
Computing at School: Tackling the ICT Education Crisis in UK Schools
Wednesday Seminars - Department of Computer Science and Technology
One Bit is Not Enough: The Benefit of Reference Analysis in Virtual Memory Management
Wednesday Seminars - Department of Computer Science and Technology
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
Wednesday Seminars - Department of Computer Science and Technology
Structural executable comparison, malware classification, and collaborative binary analysis - the formerly-zynamics tools at Google
Wednesday Seminars - Department of Computer Science and Technology
Sentiment Analysis
Wednesday Seminars - Department of Computer Science and Technology
Semi-local string comparison
Wednesday Seminars - Department of Computer Science and Technology
Challenges and approaches to improving the accuracy of indoor positioning systems
Wednesday Seminars - Department of Computer Science and Technology
Machine Learning Methods for the Detection and Prediction of Transmembrane Beta-Barrel Proteins in Prokariotes
Wednesday Seminars - Department of Computer Science and Technology
Dart: A Platform for Building Large Web Applications
Wednesday Seminars - Department of Computer Science and Technology
The Great Indoors: The Next Frontier in Location-Based Services
β οΈ Note unusual time, day and location
Wednesday Seminars - Department of Computer Science and Technology
Behavioural Nudge or Technological Fudge?
Wednesday Seminars - Department of Computer Science and Technology
A Bayesian Approach to Learning the Structure of Human Languages
Wednesday Seminars - Department of Computer Science and Technology
Alan Turing as a computer designer
Wednesday Seminars - Department of Computer Science and Technology
Energy efficiency and the design of brains
Wednesday Seminars - Department of Computer Science and Technology
CANCELLED: Structural executable comparison, malware classification, and collaborative binary analysis - the formerly-zynamics tools at Google
β οΈ CANCELLED: will most likely be rescheduled for next term
Wednesday Seminars - Department of Computer Science and Technology
Content delivery in the Internet: an infrastructure-oriented perspective.
Wednesday Seminars - Department of Computer Science and Technology
A Communications Medium for the 21st Century : Towards Open Public Display Networks
Wednesday Seminars - Department of Computer Science and Technology
Inclusive Design
Wednesday Seminars - Department of Computer Science and Technology
Speech Synthesis at Google
Wednesday Seminars - Department of Computer Science and Technology
Automatic Discovery of Patterns in Media Content
Wednesday Seminars - Department of Computer Science and Technology
Search Based Software Engineering
Wednesday Seminars - Department of Computer Science and Technology
Algebraic theories and computational effects
Wednesday Seminars - Department of Computer Science and Technology
Notes on the Synthesis of Music
Wednesday Seminars - Department of Computer Science and Technology
TIME: Transport Information Monitoring Environment
Wednesday Seminars - Department of Computer Science and Technology
Probabilistic Graphical Models in Microsoft's Online Services: TrueSkill, AdPredictor, and Matchbox
Wednesday Seminars - Department of Computer Science and Technology
Compiler Tools for MATLAB
Wednesday Seminars - Department of Computer Science and Technology
EXAMS - NO SEMINAR THIS WEEK
Wednesday Seminars - Department of Computer Science and Technology
Body Part Recognition: Making Kinect Robust
Wednesday Seminars - Department of Computer Science and Technology
The Duality of State and Observation
Wednesday Seminars - Department of Computer Science and Technology
Kernel Methods: the Emergence of a Well-founded Machine Learning
Wednesday Seminars - Department of Computer Science and Technology
From deterministic finite automata to infinite games
Wednesday Seminars - Department of Computer Science and Technology
Reflection on Java Security and Its Practical Impacts
β οΈ Joint with the Security seminar series
Wednesday Seminars - Department of Computer Science and Technology
Moose: an open platform for software analysis
Wednesday Seminars - Department of Computer Science and Technology
Quantum computing -- theoretical prospects and relations to classical computation
β οΈ Note change of lecture theatre
Wednesday Seminars - Department of Computer Science and Technology
Exhibition of Student Design Projects
β οΈ Note special event! Note unusual time!
Wednesday Seminars - Department of Computer Science and Technology
Mobile Software Engineering - Characteristics and Challenges
Wednesday Seminars - Department of Computer Science and Technology
Reasoning about Software Safety Integrity and Assurance
Wednesday Seminars - Department of Computer Science and Technology
In the beginning God created tensor, ... then matter, ... then speech
Wednesday Seminars - Department of Computer Science and Technology
Efficient Network-wide Flow Record Generation
Wednesday Seminars - Department of Computer Science and Technology
Challenging Computer Science Problems at Ocado
Wednesday Seminars - Department of Computer Science and Technology
Implementing a Distributed Event Processing Network
Wednesday Seminars - Department of Computer Science and Technology
Detecting Network Traffic Anomalies
Wednesday Seminars - Department of Computer Science and Technology
What is happening now? Finding events in Massive Message Streams
Wednesday Seminars - Department of Computer Science and Technology
A Look Into Youtube - The World's Largest Video Site
Wednesday Seminars - Department of Computer Science and Technology
A Survey of Classical and Real-Time Verification
Wednesday Seminars - Department of Computer Science and Technology
Test Generation and Fault Localization for Web Applications
Wednesday Seminars - Department of Computer Science and Technology
Hierarchies, Lowerarchies, Anarchies, and Plutarchies: Historical Perspectives of Composably Layered High-Assurance Architectures
β οΈ Note unusual time and day (and LT2)
Wednesday Seminars - Department of Computer Science and Technology
Multi-Target Data-Parallel Programming with Accelerator for GPUs, Multicore Processors and FPGAs
Wednesday Seminars - Department of Computer Science and Technology
Some Uses of Hashing in Networking Problems
Wednesday Seminars - Department of Computer Science and Technology
Executable Strategies for Cellular Decision Making
Wednesday Seminars - Department of Computer Science and Technology
EXAMS
β οΈ No Wednesday Seminar due to Exams!
Wednesday Seminars - Department of Computer Science and Technology
Dynamical Grammars for Galaxy Image Recognition
Wednesday Seminars - Department of Computer Science and Technology
Statistical problems in complex networks
Wednesday Seminars - Department of Computer Science and Technology
Privacy in Advertising: Not all Adware is Badware
β οΈ Rescheduled from April 21.
Wednesday Seminars - Department of Computer Science and Technology
NO SEMINAR THIS WEEK
Wednesday Seminars - Department of Computer Science and Technology
From Separation Logic to Systems Code
Wednesday Seminars - Department of Computer Science and Technology
Privacy in Advertising: Not all Adware is Badware
Wednesday Seminars - Department of Computer Science and Technology
Aura: A Programming Language with Authorization and Audit
Wednesday Seminars - Department of Computer Science and Technology
Exhibition of Student Design Projects
β οΈ Note special event! Note unusual time!
Wednesday Seminars - Department of Computer Science and Technology
Generic Programming
Wednesday Seminars - Department of Computer Science and Technology
Proving that programs eventually do something good
Wednesday Seminars - Department of Computer Science and Technology
Third Generation Machine Intelligence
Wednesday Seminars - Department of Computer Science and Technology
Automated Experimentation: Beyond Deployment and Execution
Wednesday Seminars - Department of Computer Science and Technology
Graphical Reasoning in Symmetric Monoidal Categories
Wednesday Seminars - Department of Computer Science and Technology
Models of large-scale real-life networks
Wednesday Seminars - Department of Computer Science and Technology
Multipath TCP
Wednesday Seminars - Department of Computer Science and Technology
Performance Comparisons of Hard Logic, Programmable Soft Logic, and Instruction Set Architectures
β οΈ Note unusual out of term date.
Wednesday Seminars - Department of Computer Science and Technology
A POPLmark retrospective: Using proof assistants in programming language research
β οΈ Note change of speaker!
Wednesday Seminars - Department of Computer Science and Technology
Elements of a Networked Urbanism
Wednesday Seminars - Department of Computer Science and Technology
Insights from Expert Software Design Practice
Wednesday Seminars - Department of Computer Science and Technology
On Quantitative Software Verification
Wednesday Seminars - Department of Computer Science and Technology
Serializability Enforcement for Concurrent ML
Wednesday Seminars - Department of Computer Science and Technology
Aggregated Security Monitoring in 10GB networks
Wednesday Seminars - Department of Computer Science and Technology
Pushing JavaScript Performance
Wednesday Seminars - Department of Computer Science and Technology
Reaching Out: how to engage young people with computer science
β οΈ Warning: the talk will include loud bangs.
Wednesday Seminars - Department of Computer Science and Technology
Scalable Ontology-Based Information Systems
Wednesday Seminars - Department of Computer Science and Technology
Reflections on merging the digital and the physical
β οΈ Note unusual time
Wednesday Seminars - Department of Computer Science and Technology
Evolving a language in and for the real world
β οΈ 800th Anniversary of Cambridge Univ. talk
Wednesday Seminars - Department of Computer Science and Technology
Toward Energy-efficient Computing
β οΈ 800th Anniversary of Cambridge Univ. talk/Note unusual time
Wednesday Seminars - Department of Computer Science and Technology
What can sequent calculus do for functional programs?
Wednesday Seminars - Department of Computer Science and Technology
Concurrency Through the Ages
β οΈ 800th Anniversary of Cambridge Univ. talk
Wednesday Seminars - Department of Computer Science and Technology
No Wednesday Seminar today!
Wednesday Seminars - Department of Computer Science and Technology
The 10 Cultures Problem
β οΈ 800th Anniversary of Cambridge Univ. talk
Wednesday Seminars - Department of Computer Science and Technology
Computational Creativity: A Different Future for AI Research
Wednesday Seminars - Department of Computer Science and Technology
Model-Based Design: a New Landscape for Embedded Systems Development
Wednesday Seminars - Department of Computer Science and Technology
Inventing the User: EDSAC in context
β οΈ EDSAC 60th Anniversary talk/800th Anniversary of Cambridge Univ. talk/Note unusual time (Talk followed by Drinks Reception at 17:00)
Wednesday Seminars - Department of Computer Science and Technology
Accounting for User Behaviour in Security
Wednesday Seminars - Department of Computer Science and Technology
"Re-architecting Internet capacity sharing" aka "Putting far-reaching Cambridge research into practice"
Wednesday Seminars - Department of Computer Science and Technology
Correctness by Construction of High-Integrity Software
Wednesday Seminars - Department of Computer Science and Technology
Collective Intelligence Techniques for Pervasive Computing
Wednesday Seminars - Department of Computer Science and Technology
Balancing the expected and the surprising in geometric patterns: an investigation inspired by Bridget Riley's early Op art
Wednesday Seminars - Department of Computer Science and Technology
Privacy and HCISec: Notes From The Front
Wednesday Seminars - Department of Computer Science and Technology
Modelling Quality Properties of Systems
Wednesday Seminars - Department of Computer Science and Technology
IPv6: the basics
Wednesday Seminars - Department of Computer Science and Technology
A Framework for the Analysis of Mix-Based Steganographic File Systems
Wednesday Seminars - Department of Computer Science and Technology
Structured Hidden Markov Model: A General Tool for Analysing Sequential data
Wednesday Seminars - Department of Computer Science and Technology
Statistical Parsing of Natural Language with Lexicalised Grammars
Wednesday Seminars - Department of Computer Science and Technology
Second-Order Quantifier Elimination
Wednesday Seminars - Department of Computer Science and Technology
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
Wednesday Seminars - Department of Computer Science and Technology
Robust Networks
Wednesday Seminars - Department of Computer Science and Technology
Defending Networked Resources Against Floods of Unwelcome Requests
Wednesday Seminars - Department of Computer Science and Technology
The Manticore project
Wednesday Seminars - Department of Computer Science and Technology
How to Protect your Data by Eliminating Trusted Storage Infrastructure
Wednesday Seminars - Department of Computer Science and Technology
Forensic Genomics:Kin Privacy, Driftnets and Other Open Questions
Wednesday Seminars - Department of Computer Science and Technology
Practical Dynamic Software Updating for C
Wednesday Seminars - Department of Computer Science and Technology
Design, Compilation and Runtime Solutions for Energy-Efficient Microprocessors
β οΈ Note unusual date and time
Wednesday Seminars - Department of Computer Science and Technology
Content Distribution based on Social Swarming
Wednesday Seminars - Department of Computer Science and Technology
STRUCTURE AND DYNAMICS IN COMPLEX SYSTEMS
Wednesday Seminars - Department of Computer Science and Technology
Acceleration of scientific computing using graphics hardware
Wednesday Seminars - Department of Computer Science and Technology
How to prove that a communications protocol stack is up to the job
Wednesday Seminars - Department of Computer Science and Technology
Citations and Argumentation for Better Information Access
Wednesday Seminars - Department of Computer Science and Technology
Stylized Rendering for Multi-resolution Image Representation: Reconciling Efficiency with Aesthetics in Image Compression
Wednesday Seminars - Department of Computer Science and Technology
Copyright vs Community
β οΈ Please note the extended duration
Wednesday Seminars - Department of Computer Science and Technology
Sustainable Energy -- without the hot air
Wednesday Seminars - Department of Computer Science and Technology
Student Design Project Presentations
Wednesday Seminars - Department of Computer Science and Technology
Delay Tolerant Routing in Mobile and Sensor Networks
Wednesday Seminars - Department of Computer Science and Technology
High-Performance Processing with Field-Programmable Logic
Wednesday Seminars - Department of Computer Science and Technology
Rethink and Arise!
Wednesday Seminars - Department of Computer Science and Technology
Defence against the Dark Arts
Wednesday Seminars - Department of Computer Science and Technology
Executable Biology: Successes and Challenges
Wednesday Seminars - Department of Computer Science and Technology
Fine-grained differences and similarities in meanings
β οΈ NOTE THE LATER TIME
Wednesday Seminars - Department of Computer Science and Technology
Searching for Evil
Wednesday Seminars - Department of Computer Science and Technology
Automation for Interactive Theorem Provers
Wednesday Seminars - Department of Computer Science and Technology
Executable Biology: Successes and Challenges
β οΈ Canceled
Wednesday Seminars - Department of Computer Science and Technology
Software Defect Mining with Formal Concept Analysis
Wednesday Seminars - Department of Computer Science and Technology
Birrell's distributed reference listing revisited
Wednesday Seminars - Department of Computer Science and Technology
Multi-core programming with automatic parallelisation
Wednesday Seminars - Department of Computer Science and Technology
TechTalk by Google - The Chubby lock service for loosely-coupled distributed systems
Wednesday Seminars - Department of Computer Science and Technology
How Do We Know What to Design?
Wednesday Seminars - Department of Computer Science and Technology
How to Write Bug-Free Code - A Live Demonstration
Wednesday Seminars - Department of Computer Science and Technology
SQ Minus EQ can Predict Programming Aptitude
Wednesday Seminars - Department of Computer Science and Technology
Smart-card based authentication on an insecure network
Wednesday Seminars - Department of Computer Science and Technology
Electronics Revolution - driving pivotal change in Computer Science
Wednesday Seminars - Department of Computer Science and Technology
New Directions for Navigation
Wednesday Seminars - Department of Computer Science and Technology
Modelling Biochemical Pathways with Stochastic Process Algebra
Wednesday Seminars - Department of Computer Science and Technology
βI want to tell you a joke. Are you ready?β β Implementing automated pun generation for children with complex communication needs.
Wednesday Seminars - Department of Computer Science and Technology
DNA Microarray Technology at Agilent Technologies: Engineering, Manufacturing and Applications
β οΈ Host: Pietro Lio'.
Wednesday Seminars - Department of Computer Science and Technology
Church's Problem on the Synthesis of Nonterminating Programs
β οΈ Host: Anuj Dawar. NOTE: This talk is OUT-OF-TERM
Wednesday Seminars - Department of Computer Science and Technology
Annual Presentation of Student Projects
β οΈ NOTE LATER TIME
Wednesday Seminars - Department of Computer Science and Technology
Security and Cooperation in Wireless Networks
Wednesday Seminars - Department of Computer Science and Technology
The Lixto Web Data Extraction Project: A Status Report
Wednesday Seminars - Department of Computer Science and Technology
Computing for the Future of the Planet
Wednesday Seminars - Department of Computer Science and Technology
From Pascal and ML to Perl and VB: Software Engineering in Postmodernity
Wednesday Seminars - Department of Computer Science and Technology
Mechanising First-Order Logic: Technology, Decidability and Applications
Wednesday Seminars - Department of Computer Science and Technology
Road transport data and their uses
Wednesday Seminars - Department of Computer Science and Technology
Verification of fine-grain concurrency: Separation Logic for Floyd assertions in Petri nets.
Wednesday Seminars - Department of Computer Science and Technology
New Challenges in Describing Digital Music
Wednesday Seminars - Department of Computer Science and Technology
Safety checking in a domain of collaborative applications.
Wednesday Seminars - Department of Computer Science and Technology
Automatic termination proofs for software
Wednesday Seminars - Department of Computer Science and Technology
Security Applications and Aspects of Meaning-Based Computing
Wednesday Seminars - Department of Computer Science and Technology
The Challenges and Thrills of a Young Industry
Wednesday Seminars - Department of Computer Science and Technology
All-Optical Networks
Wednesday Seminars - Department of Computer Science and Technology
Learning Probabilistic Sequence Models for Uncovering Gene Regulation
β οΈ This talk was originally scheduled for October 4. NOTE THAT IT IS NOT AT THE USUAL TIME.
Wednesday Seminars - Department of Computer Science and Technology
Semantics in broad-coverage natural language processing
Wednesday Seminars - Department of Computer Science and Technology
Logics for Unranked Trees: An Overview
Wednesday Seminars - Department of Computer Science and Technology
Learning Probabilistic Sequence Models for Uncovering Gene Regulation
Wednesday Seminars - Department of Computer Science and Technology
Electromagnetic eavesdropping on computers
Please see above for contact details for this list.