Markus de Medeiros
PhD Candidate
Summary
🤩
RockstarMarkus de Medeiros is a PhD candidate in formal methods at NYU with seven years of software engineering experience, supervised by Joseph Tassarotti. He blends rigorous academic research with practical engineering, focusing on provable correctness and reliable systems. Based in Canada, Markus brings both theoretical depth and real-world software experience to projects that require formal guarantees. Though early in his academic career, he’s likely active in research-grade code and reproducible experiments common in formal methods labs. His background suggests a knack for translating complex proofs into maintainable implementations that support developer workflows.
8 years of coding experience
Github Skills (24)
asynchronous10
relational10
viper10
verification10
logic10
coq9
formal-verification9
math-library9
rust9
differential-privacy8
algorithm8
kernel7
fibonacci7
discord-bot5
machine-learning5
Programming languages (10)
Github contributions (5)
markusdemedeiros/markusdemedeiros.github.io
Aug 2021 - May 2026
Contributions:30 PRs, 104 pushes, 6 branches in 4 years 9 months
nonsensepluspurescript
markusdemedeiros/iris-lean
Nov 2024 - Oct 2025
Lean 4 port of Iris, a higher-order concurrent separation logic framework
Contributions:11 PRs, 62 pushes, 11 branches in 11 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.