![[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 Elad Yom-Tov, Microsoft Research.
Monday 09 May 2022, 11:00-12:00
Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB
Contact: No managers listed
0 upcoming talks View 298 archived talks
Microsoft Research Cambridge, public talks
Assisting in the response to the COVID19 pandemic using internet data, Dr Elad Yom-Tov - MSR Cambridge, Lecture Series
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
Microsoft Research Cambridge, public talks
Distributed distributional codes for learning successor features in partially observable environments
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Sankie: Using Data to Build Better Systems and Services
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Machine Learning Meetup
Microsoft Research Cambridge, public talks
Deep (Inter-)Active Learning for NLP: Cure-all or Catastrophe?
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Deep (Inter-)Active Learning for NLP: Cure-all or Catastrophe?
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Algorithmic Differentiation (AD) Beyond Back Propagation
Microsoft Research Cambridge, public talks
Moonshot Thinking to Unleash Innovation, Dr Pablo Rodriguez - Telefonica Alpha: MSR Cambridge, Lecture Series
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
The Mobile Computing Platform after Smartphones - Prof Romit Roy Choudhury: MSR Cambridge, Lecture Series
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Photonic-chip-based soliton microcombs
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Advanced polarized light microscopy for mapping molecular orientation
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
Microsoft Research Cambridge, public talks
Three case studies for coexisting mechanisms in protein-pattern forming systems
Microsoft Research Cambridge, public talks
Modeling User Experience in Games: Lessons Learned
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Physical security and side channel attacks in Arm based SoCs
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Using reason and evidence to do the most good
Frontiers in Artificial Intelligence Series
How good is your classifier? Revisiting the role of evaluation metrics in machine learning
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Antennas for light and their applications in classical optics
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Photons in the cloud: communicating and storing data
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Photonics for Computing: from Optical Interconnects to Neuromorphic Architectures
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
AI+Pizza
Pizza & AI June 2019
β οΈ ο§Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
AI+Pizza
Pizza & AI April 2019
β οΈ ο§Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
An introduction to clustering and the expectation maximisation algorithm Part 2
β οΈ Please note, this event will be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
An introduction to clustering and the expectation maximisation algorithm Part 1
β οΈ Please note, this event will be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Type the title of a new list here
Structured light: seeing less to see more in optical microscopy
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
MSR Cambridge Cloud Talk Series; Structured light: seeing less to see more in optical microscopy
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
Microsoft Research Cambridge, public talks
What difference does one tonne make?
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Your personal list
Open Issues in Build Systems
Frontiers in Artificial Intelligence Series
Neural Code Comprehension: A Learnable Representation of Code Semantics
β οΈ ο§Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
AI+Pizza
Pizza & AI February 19
β οΈ ο§Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
The Microsoft AI Residency
An Introduction to Simple Markov Models
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
AI+Pizza
Pizza & AI January 2019
β οΈ ο§Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Frontiers in Artificial Intelligence Series
What Can Fair ML Learn from Economic Theories of Distributive Justice?
β οΈ ο§Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Idris 2: Type Driven Development of Idris
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
AI+Pizza
AI + Pizza October 2018
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Flux: Elegant Machine Learning with Julia
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
AI+Pizza
AI + Pizza September 2018
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Your personal list
Simulation for Intelligent Systems
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
AI+Pizza
AI+Pizza July 2018
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Neural Ordinary Differential Equations
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Frontiers in Artificial Intelligence Series
Interpretability in Machine Learning: What it means, How we're getting there
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
AI+Pizza
AI+Pizza June 2018
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
DiCE: The Infinitely Differentiable Monte-Carlo Estimator
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
AI+Pizza
AI+Pizza
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
AI+Pizza
AI+Pizza April 2018
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
AI+Pizza
AI+Pizza February 2018
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
AI+Pizza
AI+Pizza January 2018
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Frontiers in Artificial Intelligence Series
Optimal algorithms for smooth and strongly convex distributed optimization in networks
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Open Evening for Women in Engineering
Frontiers in Artificial Intelligence Series
Probabilistic and Deep Models for 3D Reconstruction
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Manifest Sharing with Session Types
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Frontiers in Artificial Intelligence Series
Coin Betting for Backprop without Learning Rates and More
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Frontiers in Artificial Intelligence Series
How Can NLP Help Cure Cancer?
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
AI and Healthcare Open Evening at Microsoft Research
Frontiers in Artificial Intelligence Series
Nonlinear ICA using temporal structure: a principled framework for unsupervised deep learning
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Microsoft & the Future of Education Technology & Learning
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Predicting 3D Volume and Depth from a Single View
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Predicting 3D Volume and Depth from a Single View
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Generalizing Convolutions for Deep Learning
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Well-founded functions, induction, and extreme predicates in an SMT-based verifier
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Well-founded functions, induction, and extreme predicates in an SMT-based verifier
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Unsupervised Cluster Matching for Relational Data
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Developing PDE-compartment hybrid frameworks for modelling cell migration
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Developing PDE-compartment hybrid frameworks for modelling cell migration
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Computing In Schools: How Your Skills Can Change Lives
Microsoft Research Cambridge, public talks
Queueing with Redundant Requests: A more realistic model
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
Microsoft Research Cambridge, public talks
"Womenomics" and Gender-Inclusive Software: What the Software Industry Needs to Know
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Horn Clauses for Verification and Synthesis
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Managing Privacy Tradeoffs in the Internet
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
Microsoft Research Cambridge, public talks
Reflections on Code-Reuse Attacks and Defenses
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Resource Allocation for Next Generation of Radio Access Networks: how effective are my schedulers?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending.
Microsoft Research Cambridge, public talks
Engineering the Future: an open evening for women in engineering
Microsoft Research Cambridge, public talks
Admitting more tenants with tail latency SLOs
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
PCC: Re-architecting Congestion Control for Consistent High Performance
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Large-Scale Camera Pose Voting and the Geometric Burstiness Problem
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Large-Scale Camera Pose Voting and the Geometric Burstiness Problem
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Pony: Co-Designing a Type System and a Runtime
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
General-purpose representation learning from words to sentences
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Information-Theoretic Bounded Rationality
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Stamping Out Concurrency Bugs
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Parallel Inference and Learning with Deep Structured Distributions
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Into the Mountains: The Extraordinary True Story of Survival in the Andes and its Aftermath
Microsoft Research Cambridge, public talks
Freeform interactions and disrupted displays
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Regularized Optimal Transport and Applications
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
What I Learned From Inventing Scala Macros?
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
What I Learned From Inventing Scala Macros?
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Opportunistic Storage Maintenance (SOSPβ15)
Microsoft Research Cambridge, public talks
End-user programmers need first-class software engineering tools
Microsoft Research Cambridge, public talks
Verasco, a formally verified C static analyzer
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Formalising and Analysing Transactional Consistency Models
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
Microsoft Research Cambridge, public talks
Synthesising Gene Regulatory Networks from Single-Cell Gene Expression Data
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Symbiotic design for machine intelligence systems
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
A Decade of Thrill
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Model-Based Hand Tracking with Texture, Shading and Self-occlusions
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
A Constructive Approach to Secure-Channel Protocols
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Modern Deep Learning through Bayesian Eyes
Microsoft Research Cambridge, public talks
From Boolean to Quantitative Methods in Formal Verification
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Rethinking Storage and Networking in Next Generation Racks
Microsoft Research Cambridge, public talks
Talking with Reddit: Exploring limitations of recurrent neural network conversational systems.
Microsoft Research Cambridge, public talks
Microsoft Distinguished Research Lecture: What are the Prospects for Automatic Theorem Proving?
Microsoft Research Cambridge, public talks
Incremental Neuroevolution of Reactive and Deliberative 3D Agents
Microsoft Research Cambridge, public talks
Probabilistic Line Searches for Stochastic Optimisation.
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Towards Cross-fertilization Between Propositional Satisfiability and Data Mining
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
"Protecting the forward edge: Is that light at the end of the tunnel?"
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Plug into the Supercloud
β οΈ This event may be recorded and made available internally or externally viaΒ http://research.microsoft.com.Β Β Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendi
Microsoft Research Cambridge, public talks
Capturing and simulating the interaction of light with the world around us.
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Standing on the Shoulders of a Giant: One Personβs Experience of Turingβs Impact
β οΈ talkscam@microsoft.com
Microsoft Research Cambridge, public talks
Bonsai: Reactive Tools for Data Science
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Rendering Eyes for Eye-Tracking
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Generative Models for Shape and Appearance
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Asynchronized Concurrency: The Secret to Scaling Concurrent Search Data Structures
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
VISC: VIRTUAL INSTRUCTION SET COMPUTING
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Intelligible Machine Learning Models for HealthCare
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Microsoft Distinguished Research Lecture: Toward Causal Machine Learning
Microsoft Research Cambridge, public talks
Queues donβt matter when you can Jump them!
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Declarative query processing in imperative managed runtimes
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
"... and then just encode it to SAT."
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Enabling Connected Cars through Named Data.
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Probability and Prejudice: Bridging the Gap Between Machine Learning and Programming Languages
Microsoft Research Cambridge, public talks
Big Dream Documentary Screening and Q&A Panel
Microsoft Research Cambridge, public talks
An Efficient Solver for string and regular expression constraints
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Visual Programming Language for building Artificial Biochemistries in Haskell
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Unveiling the Secrets of High-Performance Datacenters
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Pushing the Limits of Localization and Capacity in Today's Wi-Fi Networks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Can you convince me why your software works?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Convex low-rank models: from matrices to tensors
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Supporting the Mobile Nomadic User through Projected User Interfaces
Microsoft Research Cambridge, public talks
Ensembles for Discovery of Compact Structures and Learning Back-propagation Forests.
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Content Placement as a Key to Leveraging Geo-Distributed Infrastructures
β οΈ o This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks
Text To Programs: Automating Computer Tasks from Natural Language Descriptions
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Automatic differentiation and machine learning
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Supporting Proxemic Interactions with Multi-Scale Electric Field Sensing
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Programming and Proving with Fine-Grained Concurrent Resources
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Workshop: Machine Learning in Cambridge 2015
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Death, Identity, and the Social Network
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Beyond acceleration: time, narratives, and the design of multiple worlds
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Un-Computing: Shaking off the βComputerβ Baggage
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Solving QBF by Counterexample-Guided Abstraction Refinement
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Towards Full-Stack Security Analysis of Web Applications
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Modeling, Quantifying, and Limiting Adversary Knowledge
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Turing trap. How the universal computer is making the internet less secure.
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Meta-Interpretive Learning and Program Induction
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Manifold correspondence: a signal processing perspective
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Predictable and Dependable Low-power Wireless Networks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Laws of Programming with Concurrency
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Microsoft Distinguished Research Lecture - Laws of Programming with Concurrency
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Causal Inference and Domain Adaptation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Genome-wide transcriptional control of blood cell type identity
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Bedrock: A Software Development Ecosystem Inside a Proof Assistant
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Checking microarchitectural implementations of weak memory
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Machine Learning in an Exchange Environment
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Platforms and Applications for "Big and Fast" Data Analytics
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Coping with the Intractability of Graphical Models
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Microsoft Distinguished Research Lecture Series - Technological Innovation in Healthcare
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Physical Web
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
On Basing One-Way Functions on NP-Hardness
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Taming GPU threads with F# and Alea.GPU
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Reasoning about GADT Pattern Matching in Haskell
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
An Approximate Differentiable Renderer
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Ancient lives, new discoveries: eight mummies, eight lives, eight stories
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Logic programming beyond Prolog
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
RDFox β A Modern Materialisation-Based RDF System
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Lottery Auctions
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
First-person Hyperlapse Videos
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Do Deep Nets Really Need To Be Deep?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Discursis: A Computational Methodology for the Analysis of Communication Data
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Case for using Trend Filtering over Splines
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Local Deep Kernel Learning for Efficient Non-linear SVM Prediction
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Micro-Policies: A Framework for Tag-Based Security Monitors
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Hedging Against Uncertainty via Multiple Diverse Predictions
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Beyond Mindless Labeling: *Really* Leveraging Humans to Build Intelligent Machines
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Compositional Models
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Towards Zero Latency Photonic Switching
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Computational Video: Methods for Video Segmentation and Video Stabilization, and their Applications.
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Systems, Science and FreeBSD
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Integral Image Method for Fisheye Images
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
FsLab: Doing data science with F#
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Verified Compiler for Probability Density Functions
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Brave New World of Next-Generation NoSQL Data Stores
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Steps toward usable verification
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
FSCL: homogeneous programming and execution for heterogeneous platforms
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Machine Learning @ CUED
Unifying logic and probability: A "New Dawn" for Artificial Intelligence?
β οΈ NOTE THE SPECIAL VENUE (Microsoft Research)
Microsoft Research Cambridge, public talks
Computer Vision for Movie Making and Infographics
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Collapsible Approach to Higher Order Verification
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Thinking for Programmers: Rising Above the Code
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Art of Corporate Storytelling
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Mid-level Likelihoods and Constraints for 3D Scene Interpretation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Protecting Programs During Resource Retrieval
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory)
On-the-fly garbage collection: issues and opportunities
Microsoft Research Cambridge, public talks
The shadowy life of many webcams
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Art of Corporate Storytelling
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Seeing in depth: computations and cortical networks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Crafting Visualizations
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Bandits with Switching Costs: T^{2/3} Regret
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Publish/Subscribe for Large-Scale Social Interaction: Design, Analysis and Resource Provisioning
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Decision Making and Inference under Limited Information and Large Dimensionality
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
IC3 Modulo Theories via Implicit Predicate Abstraction
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Rich semantic representations for detailed visual recognition
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Globally Optimizing Graph Partitioning Problems Using Message Passing
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Performance Optimizations for Compiler-based Error Detection Methodologies
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Using ConvNets, MALIS and crowd-sourcing to map the retinal connectome
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Data Driven Student Feedback For MOOCs: Global Scale Education for the 21st century
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Performance of Deferred-Acceptance Heuristic Auctions
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Trouble-makers: Audio-video distortions as a relational resource in couplesβ video calls
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Designing Controller Abstractions for Software-Defined Networks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Rethinking State-Machine Replication for Multicore Architectures
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Computational foundations of Bayesian inference and probabilistic programming
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
An Online Allocation Mechanism with Pre-Commitment and its Application to Electric Vehicle Charging
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Generative probabilistic programming: applications and new ideas
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Topological Data Analysis: potential applications to computer vision
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Declarative Static Program Analysis
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
FaRM: Fast Remote Memory
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The persistence of structure: Layers, time, and the estimation of optical flow
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory)
Automating reasoning tasks for separation logic
Microsoft Research Cambridge, public talks
Efficient Preconditioning of Laplacian Matrices for Computer Graphics
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Combinatorial Prediction Market for the US Elections
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Real time control with lots of humans in the loop
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Typed functional probabilistic programming: ready for practical use?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Reasoning about Eventual Consistency
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Principles and Techniques of Automatic Differentiation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Hardware Neural Network Accelerators
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Programming Approximate Systems
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Image Classification Using a Background Prior
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Automatic DifferentiationPart One: A Revisionist History and the State of the Art
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Depot: from Byzantine fault tolerance to eventual consistency in a single system
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Randomized tree ensembles: output kernels and variable importances
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory)
Language based web security: the operational semantics approach
Microsoft Research Cambridge, public talks
Language based web security: the operational semantics approach
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Language based web security: the operational semantics approach
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory)
Weighted relational models of typed lambda-calculi
Microsoft Research Cambridge, public talks
Multimodal Gaze-Supported Interaction
Microsoft Research Cambridge, public talks
Discovering the Structure of Visual Categories from Weak Annotations
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Memristors: The Future of Computer Memory and Neuromorphic Circuits?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Bigger and Faster Bitcoin: an Analysis of High-Rate Bitcoin Transaction Processing
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Type Refinement in the Abstract
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Reflection methods for user-friendly submodular optimization
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Framework for Automatically Enforcing Privacy Policies
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Anomaly Detection in the Field
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Five machine learning research topics at Oxford CS
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Active Pedestrian Safety: from Research to Reality
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Managing the Network with Merlin
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Robust Models of Mouse Movement on Dynamic Web Search Results Pages
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
How Watson Learns Superhuman Jeopardy! Strategies
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Inextensibility constraints for 3D reconstruction of deformable objects
Microsoft Research Cambridge, public talks
Auctioning based Coordinated TV White Space Spectrum Sharing for Home Networks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Big Data and Dark Silicon: Taming Two IT Inflection Points on a Collision Course
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Disciplined Approximate Computing: From Language to Hardware, and Beyond
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
QUIC Graphs: Relational Invariant Generation for Containers
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Is The Rise of Cloud Storage, Cloud Computing and Social Networks a Consequence of a Failed OS (Operating System) Design?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Want Effective Security Solutions? Let's Re-Think The Design Approach
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Static Analysis of Cache Side Channels
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Proving Equivalences Between Prolog Semantics in Coq
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Deep Gaussian Processes
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Censorship Circumvention: Staying Ahead in a Cat-and-Mouse Game
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
3D Reconstruction using Point-Based Fusion
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Improving Time-of-Flight Range Data Quality
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Relationship Between Separation Logic and Implicit Dynamic Frames
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Datalog for Program Analysis: Beyond the Free Lunch
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
KAT on a Wire: A Foundation for Network Programming
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
SWAN: Software-driven wide area network
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Bridging the Discrete and the Continuous in Reasoning about Programs
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Automated Analysis of Probabilistic Programs
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Very high speed networking in VMs and bare metal
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory)
A few lessons that I learnt about interprocedural program analyses
Microsoft Research Cambridge, public talks
NetFPGA: The Flexible Open-Source Networking Platform
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Building Better Questionnaires with Probabilistic Modelling
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Language-Integrated Quantum Operations: A Software Architecture for Quantum Computing
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks
Theory and Practice of Mix-Nets
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Cryptoforma: Computer-Aided Cryptographic proofs with EasyCrypt
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
From Bounded to Unbounded Proofs of Correctness
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Intelligent Location-Privacy Preserving Mechanisms
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Ramifications of Sharing in Data Structures
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Static Verification for Web Scripting Languages
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Graph-Based Reasoning in Separation Logic for Fun and Profit
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Programming The Parallelism Zoo
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Towards Algebra-Oriented Programming
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
CRASH/SAFE: Clean-slate Co-design of a Secure Host Architecture
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Austerity in MCM - Land : Cutting the computational Budget
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Fast Variational Inference in the Conjugate Exponential Family
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Proving Termination of Heap-Manipulating Java Programs
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Syntactic Foundations for Machine Learning
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Wireless Networking Using Smart Radios
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Trust and Mistrust on the Internet
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Mechanism design: dealing with interdependencies among agents.
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Privacy and Integrity of Remote Storage and Computation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Semantics\sqcap Scalability\models\bot? Are Semantics and Scalability Incompatible?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Optimal Payments in Dominant-Strategy Mechanisms
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Warped Mixture Models for Meaningful Clustering and Bayesian Manifold Learning
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Achieving High Data Rates in Distributed MIMO Systems
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Reasoning About Client Side Web Programs
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
New probabilistic methods for inference of natural selection on regulatory sequences in the human genome
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Danielβs Adventures in Computer Vision Land
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Modelling road networks in the Amazon
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Detecting Sybils without Graphs
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
How do we model global plant physiology? A case study of leaf phenology
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Land use / land cover change and malaria risk in the Amazon region
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Stratosphere: Massively parallel dataflow programming
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Please see above for contact details for this list.