Portrait of Thomas Ball

Thomas 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