David Greaves

Name:	David Greaves
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Tue May 07 10:01:13 +0000 2019

Public lists managed by David Greaves

• srg

Talks given by David Greaves

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

Talks organised by David Greaves

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that David Greaves actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.

• The Wheeler Lecture In Computer Science: Language, Learning, and Creativity
• The Wheeler Lecture In Computer Science
• Rule Control Of Teleo-Reactive, Multi-Tasking, Communicating Robotic Agents
• A New Era of Open-Source System-on-Chip Design
• Latent Variable Model, Matrix Estimation and Collaborative Filtering
• No Seminar Today
• Embedding Musical Codes into an Interactive Piano Composition
• Part Ib Group Project Presentations
• The Exposome in Epidemiological Practice
• Exploring the mechanisms of haematopoietic lineage progression at the single-cell level
• Kiwi Scientific Acceleration on FPGA
• Private Statistics and Their Applications to Distributed Learning: Tools and Challenges
• Amazon Alexa
• THEMIS: Fairness in Federated Stream Processing under Overload
• Hands-on Generative Programming: Write an Interpreter, Build a Compiler.
• Using Modern C++ - stepping up to C++14/17
• When Robots Hit the Road: New Challenges in Multi-Vehicle Coordination and Control
• Open source – 19th C. capitalism re-invented ?
• Programming Computers Without Processors
• What if Computers Understood Physics?
• (No Seminar Today)
• Wireless community mesh networks: fresh connectivity for 7 billion people
• Reigniting Innovation in the Hardware Industry
• Can we make people value IT security?
• Ubiquitous Sensing with Light
• Pervasive Sensing for Lifestyle Monitoring and Urban Applications
• (Computational Genomics) Precise Title TBC
• Morphologically Computing Soft Robots toward Self-Organizing Machines
• (Mobile systems and wireless networking) Precise Title TBC
• Are Sensor Networks a first step towards the Diamond Age?
• Are Sensor Networks a first step towards the Diamond Age?
• Part Ib Computer Science Group Project Presentations
• AI Meets Cancer
• CHERI - Architectural support for software memory protection and compartmentalisation
• Challenges in Human-Robot Interaction
• Data Science for the World of Moving Things
• GLOBULAR: A PROOF ASSISTANT FOR DIAGRAMMATIC SCIENCE
• Sequencing DNA Using Biological Nanopores
• Architectural Impacts of the Silicon Performance Wall
• Making Reactive Programs Function
• PYNQ - Enabling Software Engineers to Program Heterogeneous, Reconfigurable SoCs
• Web search in an AI world: small, cute, distributed.
• Graduate Studies Open Day
• End-to-end encryption: Behind the scenes
• From Idea to Startup
• Rethinking Auto-Parallelisation
• From EDA to NDA: Treating Networks like Hardware Circuits
• A History of Virtualisation in Operating Systems.
• What does the operating system ever do for me? - Systems Challenges in Graph Analytics
• No Littering!
• Imaginary Engines: Lovelace, Babbage and the Analytical Engine.
• Android: Mobile, Wearable and IoT devices - Designing Global, Scalable Systems
• Title to be confirmed
• From Human Affect and Personality to Social Robots: Affective and Social Signal Processing
• Freedom to Innovate: Addressing Student Legal Risks at MIT and Queen Mary's Entrepreneurship and Cyberlaw Clinics
• CST Part Ib, Group Project Presentations
• Data Science at The Guardian
• Communication with Artificial Intelligences
• Predicting Psychology from Social Media Data
• The Supercloud: Opportunities and Challenges
• Synthetic Biology
• Finding what is invisible through computation
• Understanding and Verifying Javascript Programs.
• Communication Technologies Research at the NPL
• Talk Cancelled (was 'Synthetic Biology')
• Unpatchable: Living with a Vulnerable Implanted Device
• Image-triage, Brain Computer Interaction and Deception Detection using EEG
• Today’s and Tomorrow’s Camera Processing Pipelines
• Cluster Management with Kubernetes
• Clouds, Things and Robots: the need for innovation in Architecture and Software
• Interaction + Graphics: Four Lectures By Computer Laboratory Visitors
• Probabilistic Programming; Ways Forward
• Hints and Principles for Computer System Design
• Cancelled : Full reduction in the face of absurdity.
• Cellular Systems Biology of Chromosome Dynamics
• Toward Causal Machine Learning
• Deep Learning of Natural Language Semantics
• The Automatic Statistician - an AI for Data Science
• Group Project Presentations
• Digital by Default - A Paradigm Shift in Government
• The Evolution of Sophos
• Compressed sensing in the real world - Why and what actually works
• Non-Photorealistic Rendering of Images
• Interacting with Infrastructure: Home Networking and Beyond
• The UK National Cyber Security Programme
• Transitive leap frogging: how to avoid queuing up for work
• Text Analysis of Social Media Beyond Twitterdome
• Scientific Data Management
• Kafka and Samza: distributed stream processing in practice
• Payment System Security - Attacks and Defences
• Structure and Dynamics of Mutlilayer Networks
• Science Data Processor for the Square Kilometre Array Telescope
• Fuzzy Optimisation of Reverse Logistics Networks
• No Fixed Abode: Avoiding IP Address Blocking to Circumvent Censorship
• Theory into Practice: the story of Incremental
• Computational Thinking
• No Babbage Seminar today owing to the Wheeler Lecture
• Multitask Learning
• Computing Cancer
• *** The Weight of Gravity ***
• Competitive Contagion in Networks
• Part Ib Group Project Presentations
• What We Talk About When We Talk About Types
• Interactive Configuration Problems
• Safer Healthcare by Better Computer Science
• Talking About Shapes
• Randomised Load Balancing For Networks
• Evaluation Metrics and Learning to Rank for Information Retrieval
• MirageOS: compiling a functional cloud
• Compressed sensing and the art of subsampling
• Research Issues in Computer Support for Collaborative Problem Solving
• Towards Do-It-Yourself Networking
• Pico: no more passwords!
• Understanding Video and Audio at Google
• Disciplined Approximate Computing: From Language to Hardware and Beyond
• Towards Position-based Routing for Mobile Environments
• Humans + Automation: Greater than the sum of the parts
• Errors, Exploits, and Espionage - A tour of software vulnerabilities and their real-world impact
• The Domain Name System in 2013 – The political and technical landscape
• Digging into (Historical) Data: Tracking global commodity trading in the nineteenth century
• Strongly-Typed Language Support for Internet-Scale Information Sources
• Mind the Map - Modelling Sustainability of Urban Crowd-Sourcing
• CANCELLED: Compressed Sensing and the Art of Subsampling
• Concurrency and Communication: Lessons from the SHIM Project