Speaker: Michal Moskal

Principal Research Software Development Engineer @Microsoft

Michał Moskal works at Microsoft Research in Redmond on programming languages and related topics. In the past Michał has worked on software verification (including VCC – a state of the art formal verifier for C programs) and automated theorem proving. In the past decade Michał has worked on programming experiences for beginners. In 2010, with Nikolai Tilmann, he started Touch Develop for programming phone on a phone, later adopted a programming environment for the very popular BBC micro:bit. In 2016, with Peli de Halleux and Tom Ball, Michał started Programming Experience Toolkit (PXT), which has grown into Microsoft MakeCode – a platform for creating domain-specific programming experiences for beginners, especially in education.

Find Michal Moskal at

Last Year's Tracks