Michal Moskal
Member Of Technical Staff at OpenAI
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolMichal Moskal is a seasoned programming languages and systems engineer with 25 years of experience building language runtimes, tooling, and embedded systems. Previously a principal research SDE at Microsoft and now an OpenAI Member of Technical Staff, he helped found MakeCode and contributed to widely used projects like micro:bit editors, DeviceScript, and the UF2 bootloader ecosystem. His work spans the full stack—from low-level VM opcodes and USB bootloaders to front-end editors and cloud-scale backends—and increasingly focuses on applying a PL perspective to AI tooling (notably contributing to llguidance/guidance for structured control of LLMs). A PhD in computer science underpins his strengths in formal methods and verifier work (VCC/VerifiedC), which inform robust engineering choices across projects. He is an active open-source contributor comfortable debugging tokenization and parsing in ML libraries as well as refining simulators, editors, and embedded firmware. Based in Seattle, he combines deep research roots with pragmatic product engineering and a knack for making language and runtime ideas usable in real devices and developer tools.
26 years of coding experience
18 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at University of Wroclaw
Stackoverflow
31reputation
21kreached
3answers
0questions
Github Skills (76)
python10
testing10
file-conversion10
c1110
c1710
boot10
makecode10
embedded10
game-development10
bootloader10
tokenize10
javascript10
uid10
tokenizer10
u-boot10
Programming languages (21)
Github contributions (5)
microsoft/devicescript
Nov 2021 - Jan 2023
TypeScript for Tiny IoT Devices (ESP32, RP2040, ...)
Role in this project:
Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:54 reviews, 678 commits, 23 PRs in 1 year 1 month
Contributions summary:Michal's contributions are focused on implementing buffer manipulation functionalities such as setting, getting, and blitting buffers within the `devicescript` runtime environment. These changes involve the addition of new opcodes and modifications to the underlying code to support the efficient manipulation of data within these buffers. The changes demonstrate an understanding of the virtual machine's architecture and how to interact with low-level data structures.
esp32iot-devicerp2040typescriptembedded
microsoft/uf2
Dec 2016 - Nov 2022
UF2 file format specification
Role in this project:Back-end Developer
Back-end DeveloperContributions:21 reviews, 121 commits, 62 PRs in 6 years
Contributions summary:Michal's primary contribution was the addition of a Python conversion utility, `uf2conv.py`, demonstrating a focus on file format manipulation. This utility includes functions for converting between binary and UF2 formats, suggesting involvement in the core functionality of the repository. The user further made bug fixes and minor improvements to the utility. Additionally, the user added a HID-tool, which extends functionality for working with the UF2 format.
file-formatspecificationbootloaderuf2makecode
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.