CV

Education

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

Work experience

• Spring 2024: Academic Pages Collaborator
  • GitHub University
  • Duties includes: Updates and improvements to template
  • Supervisor: The Users
• Fall 2015: Research Assistant
  • GitHub University
  • Duties included: Merging pull requests
  • Supervisor: Professor Hub
• Summer 2015: Research Assistant
  • GitHub University
  • Duties included: Tagging issues
  • Supervisor: Professor Git

Skills

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

Publications

Generalised ultracategories and conceptual completeness of geometric logic

Ultracategories as colax algebras for a pseudo-monad on CAT

Bundles of metric structures as left ultrafunctors

Talks

Ultractegories as algebras for the ultracompletion pseudo-monad.

March 13, 2025

Talk at University of Turin, Online

Bundles of metric structures as left ultrafunctors.

June 01, 2024

Talk at Ontario Graduate Math Conference, University of Waterloo, Waterloo, Ontario, Canada

Two talks on the syntactic site , and the classifying topos of a geometric theory.

November 15, 2023

Talk at Reading Seminar, University of Ottawa

Bundles of complete metric spaces and related structures.

November 01, 2022

Talk at Logic seminar, University of Ottawa, Online

Teaching

Teaching assistant

Service and leadership

• Currently signed in to 43 different slack teams