Michael Vitousek
Seattle, Washington, United States
Summary
🤩
RockstarMichael Vitousek is a researcher and software engineer with 13 years of experience specializing in programming languages, type systems, and runtimes, currently working on the Flow JavaScript typechecker and the React Compiler at Meta. He has a strong track record of core compiler and type-system work—designing Reticulated Python and contributing significant improvements to Flow’s type parameter system, error messages, and parsing. Michael is a frequent contributor across major Facebook open-source projects (React, React Native, Relay, Metro, and Recoil), where he focuses on improving type safety, build tooling, and compatibility with Flow’s local type inference. Comfortable across front-end and back-end codebases, he often resolves tricky dependency cycles and refactors generics to improve maintainability at scale. Based in Seattle, he blends research-level understanding with pragmatic engineering, routinely shipping changes that reduce suppression comments and tighten type annotations in large codebases. An understated strength is his ability to translate advanced type-theory ideas into practical fixes that improve developer experience across widely used projects.
13 years of coding experience
Github Skills (37)
javascript10
type-inference10
mobile-development10
flow-control10
react-native10
type-check10
testing10
app-framework10
work-flow10
relayer10
type-annotations10
type-system10
compiler-design10
workflow-automation10
bundler10
Programming languages (8)
Github contributions (5)
facebook/flow
Oct 2018 - Jan 2023
Adds static typing to JavaScript to improve developer productivity and code quality.
Role in this project:
Back-end Developer & Core Contributor
Back-end Developer & Core ContributorContributions:481 commits, 12 PRs, 9 branches in 4 years 4 months
Contributions summary:Michael contributed to the `facebook/flow` repository, which adds static typing to JavaScript. Their work focused on core improvements to the type system and language parsing, including enhancements to the type parameter system, and the creation of new error messages. This involved the modification of key data structures for type representation, the implementation of new type annotations, and refinement of existing code to more robustly handle optional chaining and other language features. The user's contributions demonstrate a deep understanding of type system design and compiler implementation details.
javascriptstatic-typing
react/react
May 2024 - Jun 2026
The library for web and native user interfaces.
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:83 reviews, 139 PRs, 571 pushes in 2 years 1 month
Contributions summary:Michael primarily contributed to the React library, focusing on the "React Forget" compiler. Their commits addressed issues related to the compiler, including bug fixes, the implementation of Flow suppression handling, and the addition of debugging tools like change detection and memoization control. They also introduced and updated several test fixtures to validate the compiler's behavior, alongside code refactoring and linting.
user-interfacereactjavascript-libraryjavascriptdeclarative
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.