Research Interests
- Human-Centric AI (e.g., interpretability and safety)
- Logic (e.g., causal and probabilistic)
Education
- Ph. D. in Computer Science, Stanford University, 2024
- A. B. in Mathematics, Harvard College, 2016
Fellowships & Awards
| Year | Award | Given by |
|---|---|---|
| 2019 | Graduate Research Fellow | National Science Foundation |
| 2016 | Phi Beta Kappa | PBK Alpha of Massachusetts |
| 2015 | Certificate of Distinction in Teaching | Harvard Bok Center |
| 2012 | Presidential Scholar | US Department of Education |
| 2012 | Davidson Fellow | Davidson Institute for Talent Development |
| 2011 | Silver Medal | International Linguistics Olympiad |
Teaching Assistantships
| Year | Course | # | School |
|---|---|---|---|
| 2021 | Modal Logic | PHIL 154/254 | Stanford |
| 2021 | Computer and Network Security | CS 155 | Stanford |
| 2020 | Quantum Computing | CS 259Q | Stanford |
| 2019 | Quantum Computer Programming | CS 269Q | Stanford |
| 2019 | Algorithms | CS 161 | Stanford |
| 2018 | Automata Theory | CS 154 | Stanford |
| 2015 | Honors Real Analysis | Math 25b | Harvard |
| 2014, 2015 | Computer Graphics | CS 175 | Harvard |
Service
- Conference refereeing: ICML (2024), ICLR (2024), NeurIPS (2023, WHY-21 workshop), GandALF(2023), AISTATS (2021, 2022, 2024), CAV (2019)
- Journal refereeing: Logic Journal of the IGPL, Journal of Philosophical Logic
- Organizing Committee, NACLO 2020