![[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
computer science
Contact: Jim H Tang
5 upcoming talks View 702 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
Churchill CompSci Talks
Introduction to GANs
Churchill CompSci Talks
Autoencoders
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
Churchill CompSci Talks
Treaps - Power and Simplicity of Randomisation
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
Churchill CompSci Talks
FluBot
Churchill CompSci Talks
The Asynchronous Computability Theorem
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?
Churchill CompSci Talks
Serving Webpages with Client-side Frameworks
Churchill CompSci Talks
Attention in sequence-to-sequence models
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
Churchill CompSci Talks
Nelder-Mead Optimization
Churchill CompSci Talks
Developments in VLSI design
Churchill CompSci Talks
Machine Translation
Wednesday Seminars - Department of Computer Science and Technology
Modelling syntactico-semantic composition for natural language understanding and generation
Churchill CompSci Talks
Recommender systems
Churchill CompSci Talks
Genetic Algorithms
Churchill CompSci Talks
Electronic Analogue Computers
Churchill CompSci Talks
Typesetting with TeX and LaTeX
Churchill CompSci Talks
Dimensionality Redution
Churchill CompSci Talks
L1TF/Foreshadow Attack
Wednesday Seminars - Department of Computer Science and Technology
Data driven design for sustainable future cities: incorporating the intangible
Churchill CompSci Talks
Implementation of persistent arrays
Churchill CompSci Talks
Introduction to programming with OpenGL
Churchill CompSci Talks
Learning-to-Rank for Information Retrieval
Wednesday Seminars - Department of Computer Science and Technology
Theoretical Foundations of Graph Neural Networks
Churchill CompSci Talks
Introduction to LoRaWAN
Churchill CompSci Talks
Neuroevolution & NEAT
Churchill CompSci Talks
Data anonymization and differential privacy
Churchill CompSci Talks
Nelder-Mead Optimization
Churchill CompSci Talks
Evolution algorithms
Wednesday Seminars - Department of Computer Science and Technology
The Compelling World of Augmented Perception - A Perspective on Sensory Wearables
Churchill CompSci Talks
Shadow Mapping in Real-Time 3D Graphics
Churchill CompSci Talks
Image Enhancement
Churchill CompSci Talks
Forward and Deferred Rendering
Wednesday Seminars - Department of Computer Science and Technology
Reconciling Temporalities in Relating Different Worlds
Churchill CompSci Talks
Alternative Memory Technologies to DRAM and SRAM (for on-chip cache design)
Churchill CompSci Talks
Computer Viruses
Churchill CompSci Talks
btrfs
Churchill CompSci Talks
Constraint Programming
Churchill CompSci Talks
Adversarial attacks against reinforcement learning agents
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.
Churchill CompSci Talks
Raymarching
Churchill CompSci Talks
Turning Points in Programming
Churchill CompSci Talks
Searchable Encryption
Churchill CompSci Talks
Cloud Gaming
Churchill CompSci Talks
Censorship and Surveillance Resistance Systems
Churchill CompSci Talks
Programming with monads
Churchill CompSci Talks
How to Land on the Moon: The Apollo Guidance Computer
Churchill CompSci Talks
Multidimensional scaling
Churchill CompSci Talks
String-matching Algorithms
Wednesday Seminars - Department of Computer Science and Technology
Haar Graph Pooling
Churchill CompSci Talks
Data-Oriented Design
Churchill CompSci Talks
Understanding the Source Coding Theorem: A Talk on Shannonβs Entropy
β οΈ Online only
Churchill CompSci Talks
Designing a type system: an introduction
Churchill CompSci Talks
A Graph of All Mathematics
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
Churchill CompSci Talks
Differentiable rendering
Churchill CompSci Talks
SLAM Problem: Dealing with Augmented Reality
Churchill CompSci Talks
Covert channels (a networks perspective)
Churchill CompSci Talks
Acoustic Fingerprinting and Music Identification
Churchill CompSci Talks
Netflix and Recommender Systems
Churchill CompSci Talks
Deep Learning for Vision: Lecture and Workshop
Churchill CompSci Talks
Text Summarisation with TextRank
Churchill CompSci Talks
CycleGANs
Churchill CompSci Talks
Why theory matters in biology
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
Churchill CompSci Talks
Quantum Cryptography
Churchill CompSci Talks
The Nature of Entropy
Churchill CompSci Talks
The busy beaver game: a simple yet non-computable function
Wednesday Seminars - Department of Computer Science and Technology
Machine Learning at the Extreme Edge - an Open Platform Approach
Churchill CompSci Talks
Variational Autoencoders
Churchill CompSci Talks
Anti-malware software and trusting trust
Churchill CompSci Talks
Fingerprint matching
Churchill CompSci Talks
The Perfect Snake AI
Wednesday Seminars - Department of Computer Science and Technology
Digital Modeling of Reality with Machine Learning
Churchill CompSci Talks
Proofs: From a Complexity Theoretic Perspective
Churchill CompSci Talks
Balanced Allocations : Balls into Bins
Churchill CompSci Talks
Halting Problem and GΓΆdel's Incompleteness Theorem
Churchill CompSci Talks
On the Use of Typing for Static Logical Verification: RCF and Refinement Types
Churchill CompSci Talks
Censorship Resistance Systems
Churchill CompSci Talks
Software design anti-patterns
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
Churchill CompSci Talks
Expander Graphs
Churchill CompSci Talks
Paxos: How can we all agree?
Wednesday Seminars - Department of Computer Science and Technology
Deep learning on graphs and manifolds: going beyond Euclidean data
Churchill CompSci Talks
AI in Graphics
Churchill CompSci Talks
Range Minimum Query & Lowest Common Ancestor
Wednesday Seminars - Department of Computer Science and Technology
StructureNet: Hierarchical Graph Networks for 3D Shape Generation
Churchill CompSci Talks
Hypercomputation
Churchill CompSci Talks
Representing words for NLP (An introduction to Semantic Vector Space Models and GloVe)
β οΈ Note late start time
Churchill CompSci Talks
Neural Architecture Search - a gateway to AutoML
Churchill CompSci Talks
Difficult games for computers: Arimaa
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
Churchill CompSci Talks
The CAP theorem and its limitations
Churchill CompSci Talks
Less is more
Wednesday Seminars - Department of Computer Science and Technology
DevOps and Cloud Native development in the University of Cambridge
Churchill CompSci Talks
Hyper-converged infrastructure
Churchill CompSci Talks
The Nature of Entropy
Wednesday Seminars - Department of Computer Science and Technology
Verified Probabilistic Reachability in Parametric Hybrid Systems: Theory and Tool Implementation
Churchill CompSci Talks
Breaking and Making the Internet
Churchill CompSci Talks
Quantum computing in the Real World
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
Churchill CompSci Talks
Segment Trees
Churchill CompSci Talks
Generative Adversarial Networks
Churchill CompSci Talks
Adversarial Machine Learning
Wednesday Seminars - Department of Computer Science and Technology
The Magic of Machine Learning and Classifier ensembles
Churchill CompSci Talks
The AKS primality test explained
Churchill CompSci Talks
What are the goals of 5G?
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
Churchill CompSci Talks
Spectre and Meltdown
Wednesday Seminars - Department of Computer Science and Technology
Failing with Style: Why and How we Should Encourage Humans to Fail with Highly Capable Systems
Churchill CompSci Talks
Monads
Churchill CompSci Talks
AI: How it works, and why it could be working against us
Wednesday Seminars - Department of Computer Science and Technology
Scalable Intelligent Systems by 2025
Churchill CompSci Talks
PID Controllers
Churchill CompSci Talks
How to implement an encryption system badly: InfoSec lessons from WW2
Wednesday Seminars - Department of Computer Science and Technology
Stylus input and the benefits of a standard
Churchill CompSci Talks
Recommender systems
Churchill CompSci Talks
Recommendation Systems
Wednesday Seminars - Department of Computer Science and Technology
A journey into interdisciplinary research
Churchill CompSci Talks
Email Spam Detection and Filtering: Keeping Your Mailbox Clean
Churchill CompSci Talks
Monads: Simple AND Usable
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
Churchill CompSci Talks
Resource Management in Programming Languages
Churchill CompSci Talks
Where Compilers Optimizations Go Wrong
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.
Churchill CompSci Talks
Typesetting with TeX and LaTeX
Churchill CompSci Talks
Torrenting for Free
Churchill CompSci Talks
How DNSSEC secures DNS
Wednesday Seminars - Department of Computer Science and Technology
Part Ib Group Project Presentations
Churchill CompSci Talks
Particle Swarm Optimisation
Churchill CompSci Talks
Spell Checking: A comparison of approaches
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
Churchill CompSci Talks
Lua: designing a language to be embeddable
Churchill CompSci Talks
Pedestrian detection and tracking
Churchill CompSci Talks
Practical Decisions in Neural Network Design
Wednesday Seminars - Department of Computer Science and Technology
Kiwi Scientific Acceleration on FPGA
Churchill CompSci Talks
Mental Poker
Churchill CompSci Talks
Kolmogorov Complexity and GΓΆdelβs Incompleteness Theorems
Churchill CompSci Talks
Requirements in Application Development
Wednesday Seminars - Department of Computer Science and Technology
Private Statistics and Their Applications to Distributed Learning: Tools and Challenges
Churchill CompSci Talks
The Signal Protocol for end-to-end encryption in chat clients
β οΈ Note unusual time
Wednesday Seminars - Department of Computer Science and Technology
Amazon Alexa
Churchill CompSci Talks
Asynchronous Computation
Churchill CompSci Talks
Internet censorship and Tor
Wednesday Seminars - Department of Computer Science and Technology
THEMIS: Fairness in Federated Stream Processing under Overload
Churchill CompSci Talks
Constraint Satisfaction Problems
Churchill CompSci Talks
Reliable Transmission in Broadcast Networks
Wednesday Seminars - Department of Computer Science and Technology
Hands-on Generative Programming: Write an Interpreter, Build a Compiler.
Churchill CompSci Talks
MapReduce
Churchill CompSci Talks
The NTP Algorithm in Detail
Wednesday Seminars - Department of Computer Science and Technology
Using Modern C++ - stepping up to C++14/17
Churchill CompSci Talks
Google's Transformer: A Novelty to Language Understanding
Churchill CompSci Talks
Programming with Monads
Wednesday Seminars - Department of Computer Science and Technology
When Robots Hit the Road: New Challenges in Multi-Vehicle Coordination and Control
Churchill CompSci Talks
Maze Generation and Solving Algorithms
Churchill CompSci Talks
Sarcasm Identification in Natural Language Processing
Wednesday Seminars - Department of Computer Science and Technology
Open source β 19th C. capitalism re-invented ?
Churchill CompSci Talks
Practical Type Systems
Churchill CompSci Talks
The KarhunenβLoΓ¨ve Transform and Principal Component Analysis
Wednesday Seminars - Department of Computer Science and Technology
Programming Computers Without Processors
Churchill CompSci Talks
Bufferbloat
Churchill CompSci Talks
An introduction to Reinforcement Learning
Wednesday Seminars - Department of Computer Science and Technology
What if Computers Understood Physics?
Churchill CompSci Talks
Genetic Algorithms
Churchill CompSci Talks
Adversarial Machine Learning
Wednesday Seminars - Department of Computer Science and Technology
(No Seminar Today)
Churchill CompSci Talks
Introduction to coding and information theories and the noisy-channel coding theorem
Churchill CompSci Talks
Btrfs
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
Churchill CompSci Talks
The Achilles' heel: a cautionary tale
Churchill CompSci Talks
Convert Channels and their Analysis
Wednesday Seminars - Department of Computer Science and Technology
Are Sensor Networks a first step towards the Diamond Age?
Churchill CompSci Talks
Emulating Early Computers
Churchill CompSci Talks
Google Translate
Wednesday Seminars - Department of Computer Science and Technology
Part Ib Computer Science Group Project Presentations
Churchill CompSci Talks
How not to hit pedestrians if you're a self driving car
Churchill CompSci Talks
Pretending to be a computer
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
Churchill CompSci Talks
Using Neural Networks to Generate Image Captions
Churchill CompSci Talks
On-line recognition of handwritten equations in a nutshell
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
Churchill CompSci Talks
Bitcoin as a currency
Churchill CompSci Talks
Chess Engines
Wednesday Seminars - Department of Computer Science and Technology
GLOBULAR: A PROOF ASSISTANT FOR DIAGRAMMATIC SCIENCE
Churchill CompSci Talks
How to Render Stuff with OpenGL
Churchill CompSci Talks
Voting systems
Wednesday Seminars - Department of Computer Science and Technology
Sequencing DNA Using Biological Nanopores
Churchill CompSci Talks
Space-partitioning Data- Structures and their Applications
Churchill CompSci Talks
Real-time Computer Graphics: An overview of popular approaches and techniques
Churchill CompSci Talks
Closed Timelike Curves and Complexity Theory
Churchill CompSci Talks
Concurrency in C++
Wednesday Seminars - Department of Computer Science and Technology
Architectural Impacts of the Silicon Performance Wall
Churchill CompSci Talks
An Introduction to Secure Hash Algorithms
Churchill CompSci Talks
Music Recommender Systems
Wednesday Seminars - Department of Computer Science and Technology
Making Reactive Programs Function
β οΈ Note: Venue is LT2 (not LT1).
Churchill CompSci Talks
What did I just hear? An introduction to Speech Recognition using Hidden Markov Models
Churchill CompSci Talks
Combinators
Churchill CompSci Talks
Monads and Comonads
Wednesday Seminars - Department of Computer Science and Technology
PYNQ - Enabling Software Engineers to Program Heterogeneous, Reconfigurable SoCs
Churchill CompSci Talks
Anti-aliasing Techniques for Real-time Graphics Applications
Wednesday Seminars - Department of Computer Science and Technology
Web search in an AI world: small, cute, distributed.
Churchill CompSci Talks
Yao's protocol for secure computation
Churchill CompSci Talks
C++ Templates, Concepts and Modules
Wednesday Seminars - Department of Computer Science and Technology
Graduate Studies Open Day
β οΈ This is not a regular seminar. Please see separate programme.
Churchill CompSci Talks
A comparison of three modern filesystems
β οΈ Room changed: Jock Colville Hall
Churchill CompSci Talks
Things you thought you couldn't do in Java
β οΈ Room changed: Jock Colville Hall
Wednesday Seminars - Department of Computer Science and Technology
End-to-end encryption: Behind the scenes
Churchill CompSci Talks
Sublinear time property testers
Churchill CompSci Talks
Localisation for Robotics
Wednesday Seminars - Department of Computer Science and Technology
From Idea to Startup
Churchill CompSci Talks
Lock-free programming
Churchill CompSci Talks
PAC learning
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
Churchill CompSci Talks
MIDI: What it is and how it changed the world of music
Churchill CompSci Talks
Capture the Flag 101 - practical systems and web security
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
Churchill CompSci Talks
Don't like the sound of your voice? You can do something about that!
Churchill CompSci Talks
Electronic mail
Churchill CompSci Talks
Composing by Numbers: An Introduction to Algorithmic Melody Generation
Wednesday Seminars - Department of Computer Science and Technology
CST Part Ib, Group Project Presentations
Churchill CompSci Talks
Computer Timekeeping
Churchill CompSci Talks
2-SAT
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.
Churchill CompSci Talks
Rinocloud
Churchill CompSci Talks
The Current State of Virtual Reality
Churchill CompSci Talks
Meta-Programming
Wednesday Seminars - Department of Computer Science and Technology
Communication with Artificial Intelligences
Churchill CompSci Talks
Constraint Programming
Churchill CompSci Talks
Maze Generation Algorithms
Wednesday Seminars - Department of Computer Science and Technology
Predicting Psychology from Social Media Data
Churchill CompSci Talks
Network Coding: An introduction to network coding and random linear codes
Churchill CompSci Talks
Iterative Development: the Lowest Common Ancestor Problem
Wednesday Seminars - Department of Computer Science and Technology
The Supercloud: Opportunities and Challenges
Churchill CompSci Talks
Deep Learning with the Analytical Engine
Churchill CompSci Talks
Lenstra's elliptic curve factorization method
Churchill CompSci Talks
Arduino and Genuino Hardware Programming
Wednesday Seminars - Department of Computer Science and Technology
Synthetic Biology
Churchill CompSci Talks
AI in Board Games 2: The Settlers of Catan
Churchill CompSci Talks
Deep Learning in Practice
Wednesday Seminars - Department of Computer Science and Technology
Finding what is invisible through computation
Churchill CompSci Talks
Whimsical Networking: the Past, the Present, and the Future
β οΈ Last session of term
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
Churchill CompSci Talks
Sonic Pi: Keeping the Rhythm
Churchill CompSci Talks
The Colossus computer and code breaking in WW2
Wednesday Seminars - Department of Computer Science and Technology
Talk Cancelled (was 'Synthetic Biology')
β οΈ This talk is cancelled.
Churchill CompSci Talks
Deep Learning (II) -- A comprehensive survey
Churchill CompSci Talks
Algorithmic Musical Composition in the Style of J. S. Bach
Wednesday Seminars - Department of Computer Science and Technology
Unpatchable: Living with a Vulnerable Implanted Device
Churchill CompSci Talks
How Sharding is Accomplished in MongoDB
Churchill CompSci Talks
Tracking the Hand using Computer Vision
Wednesday Seminars - Department of Computer Science and Technology
Image-triage, Brain Computer Interaction and Deception Detection using EEG
Churchill CompSci Talks
Where did that come from? An introduction to Sound Localisation
β οΈ Room changed: Jock Colville Hall
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
Churchill CompSci Talks
Pass Go and collect $200: how slot machines are advancing the state of the art in computer go AI
Churchill CompSci Talks
Balls into Bins: A Sequential Resource Allocation Problem
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
Churchill CompSci Talks
A Look into the Fascinating World of Matrix Computations
Churchill CompSci Talks
A Talk on Paradoxes
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
Churchill CompSci Talks
On the pitfalls and traps of programming languages
Churchill CompSci Talks
An Introduction to Wireless Sensor Systems
Wednesday Seminars - Department of Computer Science and Technology
The Evolution of Sophos
Churchill CompSci Talks
Game theory: What really happens
Churchill CompSci Talks
Designing Socially Aware Robots
Wednesday Seminars - Department of Computer Science and Technology
Compressed sensing in the real world - Why and what actually works
Churchill CompSci Talks
A Primer in Machine Learning
Churchill CompSci Talks
Reversible computing
Wednesday Seminars - Department of Computer Science and Technology
Non-Photorealistic Rendering of Images
Churchill CompSci Talks
Bitcoin: How to design a peer-to-peer currency
Churchill CompSci Talks
Local Search and the General Assignment Problem
Wednesday Seminars - Department of Computer Science and Technology
Interacting with Infrastructure: Home Networking and Beyond
Churchill CompSci Talks
Molecular programming β moving from electronic computation to molecular systems
Churchill CompSci Talks
Methods for Lossless Data Compression
Wednesday Seminars - Department of Computer Science and Technology
The UK National Cyber Security Programme
Churchill CompSci Talks
Exploring the Static Semantics of the Standard ML Core Language
Churchill CompSci Talks
Uncovering the Secrets of Rumor Spreading
Wednesday Seminars - Department of Computer Science and Technology
Transitive leap frogging: how to avoid queuing up for work
Churchill CompSci Talks
An Introduction to Analogue Computing
β οΈ Room changed to the Jock Colville Hall
Wednesday Seminars - Department of Computer Science and Technology
Text Analysis of Social Media Beyond Twitterdome
Churchill CompSci Talks
Coupling of Markov Chains
Churchill CompSci Talks
The Linux Networking Stack
Wednesday Seminars - Department of Computer Science and Technology
Scientific Data Management
Churchill CompSci Talks
"Programming" Problems
Churchill CompSci Talks
IPv6
Wednesday Seminars - Department of Computer Science and Technology
Kafka and Samza: distributed stream processing in practice
Churchill CompSci Talks
Adaptive Filters
Churchill CompSci Talks
Solving games - the what, how and why.
Wednesday Seminars - Department of Computer Science and Technology
Payment System Security - Attacks and Defences
Churchill CompSci Talks
In Search of the Perfect Voting System
Churchill CompSci Talks
Consensus in distributed systems
Wednesday Seminars - Department of Computer Science and Technology
Structure and Dynamics of Mutlilayer Networks
Churchill CompSci Talks
The structure and dynamics of networks
Churchill CompSci Talks
The Impartial Game of Nim and the Sprague Grundy Theorem
Wednesday Seminars - Department of Computer Science and Technology
Science Data Processor for the Square Kilometre Array Telescope
Churchill CompSci Talks
Curry-Howard Correspondence: Dependent Types and First Order Intuitionistic Logic
Churchill CompSci Talks
An Introduction to Computerised Tomographic Imaging
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
Churchill CompSci Talks
How to make Auto-tune? Harmonic Audio Pitch Detection and Correction
β οΈ Last talk of term
Wednesday Seminars - Department of Computer Science and Technology
Energy efficiency and the design of brains
Churchill CompSci Talks
Macros in Clojure
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
Churchill CompSci Talks
Feature Extraction Method of Eye Detection / HOWTO: Sleep Detection
Wednesday Seminars - Department of Computer Science and Technology
Content delivery in the Internet: an infrastructure-oriented perspective.
Churchill CompSci Talks
Anonymous Information Storage and Retrieval
Churchill CompSci Talks
Bootstrapping compilers / self-hosting compilers
Churchill CompSci Talks
Bufferbloat and RED
Churchill CompSci Talks
NoSQL
Churchill CompSci Talks
Bloom filters
aac10's list
IBM Watson from Jeopardy! to Healthcare: could a quiz-show winning computer advise your doctor?
Churchill CompSci Talks
History of Cryptography
Wednesday Seminars - Department of Computer Science and Technology
A Communications Medium for the 21st Century : Towards Open Public Display Networks
Churchill CompSci Talks
Lossless Data Compression
Churchill CompSci Talks
Music, Movies, Media
Wednesday Seminars - Department of Computer Science and Technology
Inclusive Design
Churchill CompSci Talks
Cooperative Pathfinding - from A Star to the field
Wednesday Seminars - Department of Computer Science and Technology
Speech Synthesis at Google
Churchill CompSci Talks
How to cook an undigestable program with lots of LOLZ? [Esoteric programming languages]
Churchill CompSci Talks
Photon Mapping
Wednesday Seminars - Department of Computer Science and Technology
Automatic Discovery of Patterns in Media Content
Churchill CompSci Talks
How Parallel is My Computer?
Wednesday Seminars - Department of Computer Science and Technology
Search Based Software Engineering
Churchill CompSci Talks
Skip Lists
Wednesday Seminars - Department of Computer Science and Technology
Algebraic theories and computational effects
Churchill CompSci Talks
Principal Component Analysis
Wednesday Seminars - Department of Computer Science and Technology
Notes on the Synthesis of Music
Churchill CompSci Talks
Algorithms on Strings
Wednesday Seminars - Department of Computer Science and Technology
TIME: Transport Information Monitoring Environment
Churchill CompSci Talks
Concurrent Programming
Churchill CompSci Talks
Viola-Jones Real-time Face Detection
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
Churchill CompSci Talks
Software as Engineering
Wednesday Seminars - Department of Computer Science and Technology
Exhibition of Student Design Projects
β οΈ Note special event! Note unusual time!
Churchill CompSci Talks
Type-Checking and Type-Error Reporting
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
Churchill CompSci Talks
html5 - imagination, meet implementation
Churchill CompSci Talks
IPv6
Wednesday Seminars - Department of Computer Science and Technology
In the beginning God created tensor, ... then matter, ... then speech
Churchill CompSci Talks
Data compression techniques in theory and practice
β οΈ Date and room changed
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
Churchill CompSci Talks
Facebook Platform ruined my life
Wednesday Seminars - Department of Computer Science and Technology
Implementing a Distributed Event Processing Network
Churchill CompSci Talks
Scripting with Lua
Churchill CompSci Talks
A Brief Overview of Procedural Generation
Churchill CompSci Talks
Unmanned Helicopter Flight: Learning for Control from Multiple Demonstrations
Wednesday Seminars - Department of Computer Science and Technology
Detecting Network Traffic Anomalies
Churchill CompSci Talks
How to keep your secrets secret
Wednesday Seminars - Department of Computer Science and Technology
What is happening now? Finding events in Massive Message Streams
Churchill CompSci Talks
How Humans Hear
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
Churchill CompSci Talks
Peer-to-peer Networking
Wednesday Seminars - Department of Computer Science and Technology
Test Generation and Fault Localization for Web Applications
Churchill CompSci Talks
Index and ETF arbitrage
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
Churchill CompSci Talks
Demystifying the Cloud: A Survey of Cloud Computing
Wednesday Seminars - Department of Computer Science and Technology
Privacy in Advertising: Not all Adware is Badware
Churchill CompSci Talks
Solution by Evolution: an Introduction to Genetic Programming
Wednesday Seminars - Department of Computer Science and Technology
Aura: A Programming Language with Authorization and Audit
Churchill CompSci Talks
Beating Word Soup
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
Churchill CompSci Talks
The Basics of Image Analysis
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
Churchill CompSci Talks
An Introduction to Neural Networks
Wednesday Seminars - Department of Computer Science and Technology
Automated Experimentation: Beyond Deployment and Execution
Churchill CompSci Talks
Motion Commotion: Using Hidden Markov Models in Gesture Recognition
β οΈ Room changed
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
Churchill CompSci Talks
Going Hybrid - An introduction to Scala
Wednesday Seminars - Department of Computer Science and Technology
Multipath TCP
Churchill CompSci Talks
Electronic Music: An Introduction
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
Churchill CompSci Talks
Modern Software Engineering in Practice
Lionhead Studios
Lionhead Studios
Wednesday Seminars - Department of Computer Science and Technology
Insights from Expert Software Design Practice
Churchill CompSci Talks
Computer Algebra and Calculus
Wednesday Seminars - Department of Computer Science and Technology
On Quantitative Software Verification
Churchill CompSci Talks
Digital Image Processing Techniques
Wednesday Seminars - Department of Computer Science and Technology
Serializability Enforcement for Concurrent ML
Churchill CompSci Talks
Why is today's encryption so complicated?
Wednesday Seminars - Department of Computer Science and Technology
Aggregated Security Monitoring in 10GB networks
Churchill CompSci Talks
Parallel programming using NVIDIA CUDA
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.
Churchill CompSci Talks
Emacs vs. VI, and other holy wars
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)
Churchill CompSci Talks
Social Networks: An Overview
Wednesday Seminars - Department of Computer Science and Technology
Accounting for User Behaviour in Security
Churchill CompSci Talks
Introduction to AI in First Person Shooter games
Wednesday Seminars - Department of Computer Science and Technology
"Re-architecting Internet capacity sharing" aka "Putting far-reaching Cambridge research into practice"
Churchill CompSci Talks
Chord and Bloom Filters
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
Churchill CompSci Talks
Wireless Networking Technologies
Wednesday Seminars - Department of Computer Science and Technology
Privacy and HCISec: Notes From The Front
Churchill CompSci Talks
Further Topics in Ray Tracing
Wednesday Seminars - Department of Computer Science and Technology
Modelling Quality Properties of Systems
Churchill CompSci Talks
The Power of Light
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
Churchill CompSci Talks
Commercial developments in Computer Architecture
Wednesday Seminars - Department of Computer Science and Technology
Structured Hidden Markov Model: A General Tool for Analysing Sequential data
Churchill CompSci Talks
Cloud Computing - Back to the Mainframe?
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
Churchill CompSci Talks
DRM: A Necessary Evil?
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
Churchill CompSci Talks
How (in)secure is it to surf the internet with your browser?
β οΈ Room changed
Wednesday Seminars - Department of Computer Science and Technology
The Manticore project
Churchill CompSci Talks
Covert Channels
Wednesday Seminars - Department of Computer Science and Technology
How to Protect your Data by Eliminating Trusted Storage Infrastructure
Churchill CompSci Talks
Querying and Visualising a Knowledge Base
Wednesday Seminars - Department of Computer Science and Technology
Forensic Genomics:Kin Privacy, Driftnets and Other Open Questions
Churchill CompSci Talks
Ruby on Rails and Test-Driven Development
Wednesday Seminars - Department of Computer Science and Technology
Practical Dynamic Software Updating for C
Churchill CompSci Talks
The Consequences of Open Source Licensing
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.