![[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
Lecture Theatre 1, Computer Laboratory, William Gates Building
Contact: No managers listed
5 upcoming talks View 80 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
Artificial Intelligence Research Group Talks (Computer Laboratory)
AIReg-Bench: Benchmarking Language Models That Assess AI Regulation Compliance
β οΈ NOTE unusual place (LT1)
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
Foundation AI
On Vanishing Gradients, Over-Smoothing, and Over-Squashing in GNNs: Bridging Recurrent and Graph Learning
β οΈ hybrid : meet.google.com/bhz-scdk-unp
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
Technical Talks - Department of Computer Science and Technology
Jane Street: One Log to Rule Them All - How to Keep State Straight in Distributed System
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
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
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
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
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
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
AI x Mathematics
Technical Talks - Department of Computer Science and Technology
Huawei: Rethinking memory subsystem design
Wednesday Seminars - Department of Computer Science and Technology
Improving Quality of Experience for Video Users in Cellular Networks
Computer Laboratory Digital Technology Group (DTG) Meetings
Tools for helping supervisors: Presentations from summer students
Computer Laboratory Computer Architecture Group Meeting
Stream Chaining: Exploiting Multiple Levels of Correlation in Data Prefetching
Computer Laboratory Security Seminar
Reflection on Java Security and Its Practical Impacts
Optimization and Incentives Seminar
Statistical problems in complex networks
Computer Laboratory Digital Technology Group (DTG) Meetings
Flying round the world in a light aircraft
Computer Laboratory Security Seminar
Economics of architectural change: resistance to distributed denial of service attacks
Computer Laboratory Computer Architecture Group Meeting
High-Performance Processing with Field-Programmable Logic
β οΈ Note unusual time and place
Computer Laboratory Computer Architecture Group Meeting
All day seminar: Parallel Computing Everywhere
β οΈ Special one day meeting
Computer Laboratory Computer Architecture Group Meeting
IET/BCS talk: The Internet - Where it came from & where it is going
β οΈ IET/BCS evening talk
Computer Laboratory Opera Group Seminars
Implementing the SBUS Middleware for Sensor Data
Computer Laboratory Automated Reasoning Group Lunches
Verifying an Operating System Kernel
β οΈ Room changed
Computer Laboratory Security Seminar
Distance bounding protocols: Authentication logic analysis
β οΈ Note unusual room, day and hour
Interdisciplinary Design: Debates and Seminars
Rethinking Information and Space in Ubiquitous Computing
Computer Laboratory Security Seminar
CCTV in the UK: A failure of theory or a failure of practice?
Wednesday Seminars - Department of Computer Science and Technology
Electromagnetic eavesdropping on computers
Please see above for contact details for this list.