Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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…
Project
Live Programming
Programming today involves editing code while also running it in our head. To augment this mental simulation, live programming promises for much more fluid feedback between the programmer and a program that is executing while…
Publication