CV

Education

• B.S. in GitHub, GitHub University, 2012
• M.S. in Jekyll, GitHub University, 2014
• Ph.D in Version Control Theory, GitHub University, 2018 (expected)

Work experience

• Summer 2015: Research Assistant
  • Github University
  • Duties included: Tagging issues
  • Supervisor: Professor Git
• Fall 2015: Research Assistant
  • Github University
  • Duties included: Merging pull requests
  • Supervisor: Professor Hub

Skills

• Skill 1
• Skill 2
  • Sub-skill 2.1
  • Sub-skill 2.2
  • Sub-skill 2.3
• Skill 3

Publications

An NIP-like notion in abstract elementary classes

On successive categoricity, stability and NIP in abstract elementary classes

Building models in small cardinals in local abstract elementary classes

On Stability and Existence of Models in Abstract Elementary Classes

Talks

$\aleph_0$-stable AECs

April 22, 2021

Model Theory Seminar at Carnegie Mellon University, Pittsburgh, PA

Shelah’s eventual categoricity conjecture in universal classes,

February 24, 2022

Model Theory Seminar at Carnegie Mellon University, Pittsburgh, PA

Some relations between $\mu$-abstarct elementary classes and accessible categories

May 06, 2022

HoTT Seminar at Carnegie Mellon University, Pittsburgh, PA

Deligne’s completeness theorem

February 03, 2023

HoTT Seminar at Carnegie Mellon University, Pittsburgh, PA

An NIP-like notion for abstract elementary classes

March 28, 2023

Contributed Talk at 2023 North American Annual Meeting of the Association for Symbolic Logic, UC Irvine, Irvine, CA

An NIP-like notion in abstract elementary classes

April 04, 2023

PALS Seminar at University of Colorado, Boulder, Department of Mathematics, Boulder, CO

Teaching

Teaching at CMU

Grading at CMU

Service and leadership

• Currently signed in to 43 different slack teams