Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Project
Topological Quantum Computing
Quantum computers should be capable of performing tasks that would be very difficult, if not impossible, with digital computers, such as finding the prime factors of large numbers, searching large databases, and simulating quantum systems.…
Publication
Five Attempts at Spatializing Code
Video
Microsoft Research – Global Talent
Microsoft Research advances the state of the art of computing and supports early-career faculty and outstanding students throughout the world.
Publication
Classes, Jim, but not as we know them (2009)
Publication