Who I am

Hey! I'm Mark, a junior studying math and computer science at Brown University. I'm currently interested in formal methods and programming languages. 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

Microsoft logo
Software Engineering Intern
Microsoft
Summer 2020, Summer 2021
STR logo
Computational Research Intern
Systems & Technology Research
Spring 2021
Fidelity logo
Data Engineering Intern
Fidelity Investments
Summer 2019
AFRL logo
Wright Scholar
Air Force Research Lab
Summer 2017

Coursework

Code Course Semester
csci 0190 Accelerated Intro to CS Fall '18
csci 0320 Intro to Software Engineering Spring '19
csci 1950y Logic for Systems Spring '19
csci 1470 Deep Learning Fall '19
csci 1730 Programming Languages Fall '19
csci 1550 Probabilistic Methods in CS Spring '20
csci 2951o Prescriptive Analytics Spring '20
math 1530 Abstract Algebra Spring '20
csci 0330 Intro to Computer Systems Fall '20
math 1410 Topology Fall '20
about me projects résumé