Faculty Summit 2016: Hot Topics

February 26, 2020
Lucy Vanderwende, Ran Gilad-Bachrach, Bryan Parno and Nikhil Swamy, Neil Dalchau | Micrososft Research

Generating Natural Questions About an Image
CryptoNets: Machine Learning Inference on Encrypted Data
Everest: Deploying Verified-Secure Implementations in the HTTPS Ecosystem
Molecular Programming

- Neil Dalchau
  
  Principal Research Manager
- Nikhil Swamy
  
  Senior Principal Researcher
- Ran Gilad-Bachrach
  
  Visiting Researcher
Research Area

Watch Next

Introducing Muse: Our first generative AI model designed for gameplay ideation
May 20, 2026
Designing Dynamic Measure Transport for Sampling
May 19, 2026
Aimee Maurais
Guiding the AI disruption to the Good Place
May 14, 2026
Yash Lara,

David Rothschild
New fine-tuning of language models: Match meaning, not tokens
May 14, 2026
Yash Lara,

Carles Domingo-Enrich
Introducing Interwhen: Steering reasoning agents with real-time verification
May 14, 2026
Yash Lara,

Amit Sharma
Introducing GitHub Agentic Workflows: AI that runs your repo
May 14, 2026
Yash Lara,

Peli de Halleux
MagenticLite: A full-stack agentic experience powered by Small Models
May 14, 2026
Harkirat Behl,

Weili Shi,

Hussein Mozannar
Generative AI for High-Stakes Decision-Making with Applications in One Health
May 12, 2026
Lingkai Kong
Language-Agnostic Detection of Bugs in Zero-Knowledge Proof Programs
April 23, 2026
Greg Zaverucha,

Arman Kolozyan
Upper Bound 2024: Towards Human-Centered AI in AAA Video Game
June 11, 2024
Raluca Georgescu

Faculty Summit 2016: Hot Topics

Neil Dalchau

Research Area

Watch Next