Design@Large Series: Thomas Ball (Microsoft Research)


Wednesday, October 11, 2017 at 4:00 p.m.

RSVP on Eventbrite

ABSTRACT:

Physical Computing for Everyone

Thanks to Moore’s Law, embeddable microcontroller-based devices continue to get cheaper, faster, and include more integrated sensors and networking options. In 2016, the BBC and a host of technical partners, including Microsoft, delivered such a physical computing device, the micro:bit, to every 5th grader in the UK.  Microsoft Research helped to make the micro:bit easy to program for novices. The non-profit Micro:bit Education Foundation (microbit.org), of which Microsoft is a founding partner, was recently created to take the micro:bit global. Over the last year, Microsoft has invested in a new web-based programming platform for physical computing in education, called Microsoft MakeCode (www.makecode.com). In this talk, I’ll describe the design principles behind the platform and our experience with it to date.

BIO:

Thomas (TomBall is a principal researcher and manager at Microsoft Research. Tom initiated the influential SLAM software model-checking project with Sriram Rajamani, which led to the creation of the Static Driver Verifier tool for finding defects in Windows device drivers. Tom is a 2011 ACM Fellow for “contributions to software analysis and defect detection.” As a manager, he has nurtured research areas such as automated theorem proving, program testing/verification, and empirical software engineering.

Join Us

Are you a Design practitioner, student, or industry professional interested in getting involved with the Design Lab?

Contact us or sign-up to receive our Newsletter, Mail List, and Design@Large Announcements.

OPEN FACULTY AND STAFF POSITIONS

PROSPECTIVE PHD STUDENTS

RESEARCH ASSISTANT POSITION

Contact Us