New York City Metropolitan Area
Coq mechanization of Hydra, a language-based approach to providing end-to-end security guarantees for distributed data processing applications
File Systems and Storage Lab (FSL) Worked on two projects: - Research project in collaboration with IBM to develop a mathematical model that optimizes storage costs for serverless applications by balancing durability and compute costs - Senior honors thesis on developing a formal semantics for the compute-storage separation model intrinsic in serverless computing platforms
- Research project in computational learning theory and formal languages, developed new noise-tolerant learning algorithms to show that the string extension formal language classes are learnable from noisy training data in polynomial time, advised by Prof. Jeff Heinz
React development on the Claims technology team
Implemented a quantitative model for evaluating cyber risk using the FAIR framework
Teaching Assistant for CSE 150, Fundamentals of Computer Science: Honors, a course on discrete math. Planned and led weekly recitation section, held weekly office hours, and graded exams and homework assignments.