Michael George
Senior Software Engineer at Mysten Labs
City of Ithaca, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolMichael George is a Senior Software Engineer with 19 years of experience who blends deep research-led expertise in programming languages and formal methods with practical systems engineering. He has led language design and development for projects like the Fabric research language and Certora's Verification Language (CVL), and contributed to the Certora Prover and tutorial ecosystem for smart contract verification. A PhD-trained computer scientist with strong math credentials, he moves effortlessly between high-level type systems and low-level distributed/OS concerns, favoring principled, well-specified designs that are secure and efficient. Colleagues rely on him as a fast-learning generalist who builds tools that shrink the gap between ideas and execution while emphasizing documentation, modularity, and rigorous testing. Based in Ithaca, he also brings a human touch to teams—valuing transparency, diverse perspectives, and clear feedback—and outside of work channels creativity into ceramics, dance, and music.
18 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Cornell UniversityMaster of Arts - MA, Mathematics, Master of Arts - MA, Mathematics at University of Rochester
Github Skills (5)
smart-contracts10
solidity10
ethereum10
file-organization9
refactoring8
Programming languages (13)
Github contributions (5)
Certora/Tutorials
Apr 2022 - Nov 2022
Practical tutorials of Certora Prover
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 review, 42 commits, 4 PRs in 6 months
Contributions summary:Michael's contributions center around refactoring and reorganizing the tutorial lessons within the `certora/tutorials` repository. They primarily changed file links to point to the correct locations for Solidity files, ensuring the tutorials function as intended. The user consolidated lessons related to ERC20, Borda, and MeetingScheduler, potentially improving the project's structure and clarity. This work indicates a focus on maintaining and organizing the educational content of the repository.
pythonprovertheorem-provingpracticalsolidity
Certora/Documentation
Dec 2021 - Dec 2022
Contributions:277 reviews, 391 commits, 165 PRs in 1 year
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.