Haojun Ma
Senior Research Scientist at Meta
California, United States
Summary
👤
Senior🎓
Top SchoolHaojun Ma is a Senior Research Scientist based in California with nine years of experience designing and verifying distributed systems and storage infrastructure. At Meta he has driven safety-focused control plane projects—building a snapshot service for gradual rollouts and health-checked deployments—and previously improved cross-region replication and repair for a low-dependency object store. His PhD-backed research background and internships at Microsoft and Facebook inform a practical verification-first approach to system design, turning formal validation ideas into production tooling like internal Paxos validators. Colleagues know him for preferring provable safety over quick hacks, and for making complex distributed guarantees operable at scale.
9 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy - PhD, computer science and engineering, Doctor of Philosophy - PhD, computer science and engineering at University of MichiganBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Shanghai Jiao Tong University
Chinese, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (20)
tla7
ironclad7
smart-contracts7
designer6
abstraction6
msr6
concurrent6
protocols5
blockchain5
correctness5
visualization4
ivy4
rust4
high-performance4
confidentiality3
Programming languages (6)
Github contributions (5)
MadeByMars/ivy
Mar 2020 - May 2022
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
Contributions:4 PRs, 24 pushes, 1 branch in 2 years 2 months
protocolsresearch-tooltechniquesinteractive-visualizationdeveloping
GLaDOS-Michigan/I4
Aug 2019 - May 2021
Contributions:11 commits, 10 pushes, 3 branches in 1 year 9 months
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.