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.
7 years of coding experience
Github Skills (30)
in-progress10
relational9
verification9
mathematics9
probabilistic9
logic9
theorem-proving8
coq8
viper8
computer-algebra-system8
asynchronous8
computer-algebra7
math7
security7
fibonacci7
Programming languages (7)
Github contributions (5)
markusdemedeiros/clutch
Nov 2023 - Jan 2025
A probabilistic relational separation logic with support for asynchronous couplings.
Contributions:128 pushes, 14 branches in 1 year 2 months
markusdemedeiros/prusti-dev
May 2022 - Feb 2024
A static verifier for Rust, based on the Viper verification infrastructure.
Contributions:10 PRs, 144 pushes, 9 branches in 1 year 8 months
rustsecurityverifierinfrastructureviper
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.