POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Thomas Ball

Registered user since Mon 11 Dec 2017

Name:Thomas Ball
Bio:

I work in the area of programming languages and software engineering in MSR’s Redmond Lab, as a member of the RiSE group. Over the past five years, I’ve turned my attention from problems plaguing professional software developers to focus on simplifying the creation of physical computing systems for the rest of society. I led the team from Microsoft that helped to deliver the BBC micro:bit to over 800,000 year-seven students in the UK, and then started Microsoft MakeCode, a web-based platform to support CS education. Working with the Micro:bit Education Foundation, over nine million micro:bits have been distributed worldwide to over 60 countries. More recently, I’ve worked on Jacdac, a plug-and-play system for microcontollers, and MicroCode, a portable programming environment for the micro:bit.

Country:United States
Affiliation:Microsoft Research
Research interests:CS Education, Formal Methods, Programming Languages

Contributions

Show activities from other conferences

Using general profile