Portrait of Tom Ball

Tom Ball

Partner Researcher


I work in the area of programming languages and software engineering in MSR’s Redmond Lab. My research interests are in how combinations of static/dynamic program analysis, model checking and theorem proving techniques can help improve the correctness and reliability of programs. See my papers for more details. I am an ACM Fellow.

I’ve been working for the past few years on Microsoft MakeCode, a new platform for bringing physical computing to CS education, based on our experience with the BBC micro:bit. 

Recently, we started Project Alava, which expands the scope of programming to webs of microcontrollers. Our first application of this technology was in a fashion show in Brooklyn, NY – see Project Brookdale for more info!

Recent Papers

CHI 2019 – MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity. Teddy Seyed, Peli de Halleux, Michal Moskal, James…