Curriculum Vitae
Education
Massachusetts Institute of Technology
Ph.D. in Computer Science
2025 - present
Advisor: Daniel Jackson
Columbia University
B.A. in Computer Science and Mathematics
2019 - 2023
Teaching
Teaching Assistant
| Fall 2023 | CSEE 6863 Formal Verification
COMS 4995 Parallel Functional Programming |
| Fall 2022 | COMS 4115 Programming Languages and Translators |
2019 - 2023 · Private Java tutor
2020 · Instructor · CodeAdvantage
Research
2023 · Composable Systems Lab · REUSE @ Carnegie Mellon University
2022 - 2023 · Edwards Lab · Columbia University
2020 - 2022 · Making and Knowing Project · Columbia University
2019 · Laboratory for Physical Sciences · University of Maryland, College Park
Industry
2024 - 2025 · Software Engineer · Nectry
2022 · Software Engineering Intern · CertiK
Papers
M. Weidner, H. Qi, M. Kjaer, R. Pradeep, B. Geordie, Y. Zhang, G. Schare, X. Tang, S. Xing, & H. Miller. (2023, preprint). Collabs: A Flexible and Performant CRDT Collaboration Framework. arXiv.
Other stuff
2019 - 2023 · Philolexian Society
2020 - 2022 · Columbia Space Initiative