MatiasĀ Scharager
West Palm Beach, Florida, United States
Summary
š¤©
Rockstarš
Top SchoolMatias Scharager is a Carnegie Mellon University PhD student in Programming Languages with a decade of software engineering experience and a passion for type theory and programming language theory. He builds compilers and formal verification tools, helping teams prove correctness and ensure their code runs as intended. Currently interning at Facebook's Menlo Park campus, he pairs cutting-edge research with practical systems engineering. Based in West Palm Beach, he blends deep academic rigor with hands-on implementation, often translating theoretical ideas into production-ready components. An uncommon strength is his ability to navigate both proof assistants and large-scale codebases, making formal methods accessible to engineering teams.
10 years of coding experience
Carnegie Mellon University
English, Spanish
Github Skills (11)
linux10
verification10
model-checking10
rust9
rust-lang8
substitution6
nixos6
nix6
quadratic5
nixpkgs4
isabelle3
Programming languages (6)
Github contributions (5)
pi314mm/kani
May 2024 - Jul 2024
Kani Rust Verifier
Contributions:137 pushes, 20 branches in 2 months
pi314mm/VirtualSubstitution
Feb 2020 - May 2021
Quadratic case of virtual substitution in isabelle
Contributions:4 PRs, 210 pushes, 12 branches in 1 year 2 months
substitutionisabellequadratic
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.