Company name
2022Founder
Michael George researches programming languages, compilers and formal verification. They previously built Move developer tools at Mysten Labs and worked on smart-contract verification at Certora.
Senior Software Engineer
I was a senior software engineer on the developer experience team.
Software Engineer
Software Engineer
Master's studies in mathematics
Bachelor's studies in software