About me
Hey! I'm Mark, a security engineer at Stripe, working on our identity and secrets infrastructure. I'm broadly interested in high-assurance systems and using formal techniques to automatically prove properties about these systems, so bugs don't sneak in. In college, at Brown, I concentrated in math and CS, and also built race cars as part of Brown's FSAE team My favorite programming language is Racket.
In my free time, I backcountry ski and race my bike. I'm also always on the lookout for good maple syrup.
Work experience
Security Engineer
Stripe
July 2025 - present
Software Engineer II
Microsoft
Feb 2023 - July 2025
Internship experience
Software Engineering Intern
Microsoft
Summers 2020-22
Computational Research Intern
Systems & Technology Research
Spring 2021
Data Engineering Intern
Fidelity Investments
Summer 2019
Wright Scholar
Air Force Research Lab
Summer 2017
CS courses
| Code | Course | Semester |
|---|---|---|
| csci 1260 | Compilers | Fall '22 |
| csci 1460 | Computational Linguistics (NLP) | Fall '22 |
| csci 1470 | Deep Learning | Fall '19 |
| csci 1550 | Probabilistic Methods in CS | Spring '20 |
| csci 1600 | Embedded Systems | Fall '22 |
| csci 1730 | Programming Languages | Fall '19 |
| csci 1950y | Logic for Systems | Spring '19 |
| csci 1951x | Formal Proof & Verification | Fall '21 |
| csci 2951o | Prescriptive Analytics | Spring '20 |
Math courses
| Code | Course | Semester |
|---|---|---|
| math 1260 | Complex Analysis | Fall '21 |
| math 1410 | Topology | Fall '20 |
| math 1530 | Abstract Algebra | Spring '20 |
| math 1540 | Topics in Abstract Algebra (Galois Theory) | Spring '22 |
| math 1560 | Number Theory | Spring '22 |
| math 2410 | Algebraic Topology | Fall '21 |