About me
Hey! I'm Mark, a software engineer at Microsoft. I recently graduated from Brown University, concentrating in math and computer science. I'm currently interested in programming Languages and compilers. My favorite programming language is Racket.
In my free time, I enjoy building race cars as part of Brown's FSAE team and riding my bike. I'm also always on the lookout for good maple syrup.
Work experience
Software Engineer II
Microsoft
Feb 2023 - present
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 |