Activity

2024

• An extended version of the paper "A Compositional Theory of Linearizability" was accepted to the Journal of the ACM!
• The paper "Compositionality and Observational Refinement for Linearizability with Crashes" (also known as Crash-Aware Linearizability) was accepted to OOPSLA '24.

2023

• I gave a talk on Compositional Linearizability at POPL '23.
• I gave a talk on Compositional Linearizability to members of the PL community at Boston University, and had a lovely chat with the PL folk there.
• I was an external reviewer for ECOOP 2023
• I was awarded a Master's of Science degree in Computer Science by Yale University.
• I was awarded a Master of Philosophy degree in Computer Science by Yale University.

2022

• I gave a talk on Layered Game Semantics at POPL '22
• I was an external reviewer for CPP '23
• I gave a talk on Layered Game Semantics at NEPLS '22
• The paper "A Compositional Theory of Linearizability" was accepted to POPL '23

2021

• I participated in Galois' Summer School for Trustworthy Machine Learning, Artificial Intelligence, and Data Science
• I attended LICS '21
• I attended OPLSS '21
• I was a sub-reviewer for ESOP '21
• The paper "Layered and object-based game semantics" was accepted to POPL '22

2020

• I attended PLMW at POPL '20
• I attended POPL '20 thanks to funding from PLMW

2019

• I was awarded Bachelor of Science degrees with honors in Mathematics and Computer Science by the University of Chicago.
• I was awarded a Master of Science degree by the University of Chicago.

2018

• I participated in the University of Chicago Mathematics Department's REU program

2016

• I participated in the University of Chicago Mathematics Department's REU program
• I participated in the third summer school in analysis at the University of Chicago