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

PhD Thesis

Fibration of contexts beget fibrations of toposes

Kripke-Joyal forcing for type theory and uniform fibrations

A 2-categorical proof of Frobenius for fibrations defined from a generic point

Talks

Fibrations of Toposes and Etale Maps

September 16, 2017

Conference talk, PSSL 101 at School of Mathematics, University of Leeds, Leeds, UK

Fibrations Of Bicategories And Fibrations Of Toposes

March 21, 2018

Conference talk, YaMCATS at School of Mathematics, University of Sheffield, Sheffield, UK

Toposes In Como

June 29, 2018

Conference talk, Toposes in Como at Chiostro di Sant’Abbondio, Università degli Studi dell’Insubria, Como, Italy

Bicategorical Comprehension Construction And Fibration Of Toposes

June 20, 2019

Conference talk, TACL 2019 at Laboratoire Mathématiques J.A. Dieudonné, Université Côte d’Azur, Parc Valrose, Nice, France

Kripke Joyal Semantics For Dependent Type Theory

December 11, 2020

HoTT Seminar at Pittsburgh HoTT Seminar, Online

The Roots of Intuitionistic and Constructive Mathematics

January 17, 2021

Kripke Joyal Semantics For Homotopy Type Theory

April 09, 2022

Association for Symbolic Logic, 2022 Annual Meeting at Cornell University, Ithaca, USA,

A 2-Categorical Proof of Frobenius for Fibrations Defined From a Generic Point

June 28, 2022

MURI Meeting 2022 at Carnegie Mellon University, Pittsburgh, USA,

Teaching Introduction To Proofs With Lean

January 11, 2023

Seminar Talk at TU Delft Programming Language Group,

Fibred and Displayed Categories in Lean 4

April 16, 2024

Dutch Formal Methods Day 2024 at Univeristy of Utrecht,

Formalization of Polynomial Functors in Lean 4

June 11, 2024

Trimester in Prospects of Formal Mathematics at Hausdorff Research Institute in Mathematics (HIM), Bonn,

Linear Algebra Game in Lean4

June 19, 2024

Trimester in Prospects of Formal Mathematics at Hausdorff Research Institute in Mathematics (HIM), Bonn,

A DSL for HoTT in Lean 4

August 01, 2024

Trimester in Prospects of Formal Mathematics at Hausdorff Research Institute in Mathematics (HIM), Bonn,

Teaching

Introduction to Proofs (Fall 2021 & Spring 2022)

Introduction to Proofs with Lean Proof Assistant (Fall 2022)

Mathematical and Computational Foundations of Data Science (Spring 2023)

Service and leadership

• Currently signed in to 43 different slack teams