## Education

- Ph. D. student in Computer Science, Stanford University, 2017–
- A. B. in Mathematics, Harvard College, 2012–2015

## 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 |
---|---|---|---|

2020 | Quantum Computing | CS 259Q | Stanford |

2020 | 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

- Reviewer for CAV 2019
- Organizing Committee, NACLO 2020