Resume
Summary of Research Interests
My research interest spans PL theory — mainly type theory, formal methods, and verification. Additionally, I enjoy working on applying PL techniques to cryptography.
Skills: EasyCrypt, Coq, Haskell, OCaml, C/++, Python
Education
- Ph.D., Computer Science, University of Massachusetts Lowell (2024 - Present) - Advisor: Dr. Paul Downen
- M.S., Computer Science, Boston University (2023 - 2024) - Advisor: Dr. Alley Stoughton
- B.S., Mathematics and Computer Science, UML (2019 - 2023)
Research Experience
- Student Researcher - Formalizing the Wolfram Axiom using Double Negation Elimination
- Research Assistant - Formalizing Algorithm Bounds in the EasyCrypt Framework
- UML KCS Summer Scholars Program - Toward Implementing Dependent-Intersection Types as a Kernel-Safe Language
- Undergraduate Math Thesis - A Deep Dive into the Curry-Howard Correspondence
Related Coursework
- COMP 4600: Effective Functional Programming
- COMP 3010: Organization of Programming Languages
- COMP 4900: Compiler Construction
- CS 599 G1: Formal Methods in Security and Privacy
- COMP 5901: Zero Knowledge Proofs (ZKP)
- MATH 6500: Category Theory
- COMP 4600: Programs, Logic, and Verification
Projects
- Built a game of BlackJack, a parser, and Red-Black Trees in Haskell
- A minimalistic Interpreter and Type Checker for the λ-Calculus
- A compiler for a minimalistic C-like language
- Implemented Row Level Security (RLS) in databases using Haskell LIO
- Formalizing the interactive ZKP for quadratic residues in EasyCrypt
Teaching Experience
- Organization of Programming Languages (Fall 2024)
- Organization of Programming Languages (Spring 2025)
Volunteer Experience
- Student Volunteer at OPLSS'24
- Student Volunteer at POPL'25