About Me

I am a Ph.D. student at Carnegie Mellon University’s (CMU) Computer Science Department in the areas of programming language theory, type theory, and mechanized verification. My advisor is Karl Crary.

My undergrad was at CMU where I graduated in 2021 with a Computer Science Bachelor. I was awarded a Masters in Computer Science Research from CMU in 2026 as a progression towards my Ph.D. completion.

Research

  • Correctness of Compilation. Blog post on CMU website (link)

  • Compactness via Residual Stepping. M. Scharager. Preprint (pdf)

  • Verified Quadratic Virtual Subsitution for Real Arithmetic. M. Scharager, K. Cordwell, S. Mitsch, and A. Platzer. Formal Methods (FM) 2021 (doi | arXiv | AFP)

Teaching Experience

  • 15814 TA: Type Systems, Fall 2023
  • 15317 TA: Constructive Logic, Fall 2021
  • 15312 TA: Foundations of Programming Languages, Fall 2020
  • 98038 Co-Instructor: Student Taught Course Anime From Astro Boy to Your Name, Fall 2020 and Spring 2021
  • 15451 TA: Algorithm Design and Analysis, Fall 2019

Work Experience

  • 2025 - 2026: Cryptography Researcher at Hedera Hashgraph
  • 2024: Applied Research Scientist Intern at Amazon, NYC
  • 2023: Software Engineering Intern at Amazon, Seattle
  • 2022: Software Engineering Intern at Google, Sunnyvale
  • 2020: Software Engineering Intern at Facebook, Menlo Park
  • 2019: Applied Research Mathematician and Software Engineer Intern at the National Security Agency
  • 2018: Cybersecurity Developer Intern at Northrop Grumman Xetron
  • 2015: Machine Shop Intern at Max Planck Florida Institute for Neuroscience