Portrait de 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

CACM 2020 – The BBC micro:bit – From the U.K. to the World, March 2020

CHI 2019 – MakerArcade: Using Gaming and