Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Programming with Managed Time
Publication
The Dafny Integrated Development Environment
Publication
The Trill Incremental Analytics Engine
Video
What is Code Hunt?
Code Hunt is an educational coding game which runs in a browser. The game consists of a series of worlds and levels, which get more challenging. In each level, the player has to discover a…
