About Me

I am a fourth-year 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

Research

  • Compactness via Pattern Stepping Bisimulation. M. Scharager. CMU SCS technical report (pdf | arXiv)

  • 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

  • 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

  • 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