Activity
2024
- An extended version of my paper "A Compositional Theory of Linearizability" was accepted to the Journal of the ACM!
2023
- I gave a talk on Compositional Linearizability on 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 a reviewer for CPP '23
- I gave a talk on Layered Game Semantics at NEPLS '22
- My 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
- My 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