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
Talks
The Bass-Quillen conjecture and affine representability for vector bundles
Talk at [RéGA](https://indico.math.cnrs.fr/category/287/) seminar, Paris 13,
Deriving the higher K-theory of forms
Talk at Southampton topology seminar, University of Southampton,
Internal colimits I
Talk at Reading group on higher internal category theory,
Preliminaries on higher internal categories
Talk at Reading group on higher internal category theory ([notes](https://dmarl.github.io/files/ihc1.pdf)),
Locally 2-ringed topoi and comparison transformations
Talk at Reading group on higher Zariski geometry,
Deriving the higher K-theory of forms
Talk at Wuppertal algebra & topology seminar, Universität Wuppertal,
Deriving the K-theory of forms
Talk at Conference on recent advances in algebraic $$K$$-theory, University of Warwick,
The universal property of motivic spectra
Talk at Reading group on synthetic spectra and the cellular motivic category ([notes](https://dmarl.github.io/files/shk.pdf)),
Lindel’s solution to the Bass-Quillen conjecture in the geometric case
Talk at ECHT reading seminar on algebraic vector bundles ([notes](https://dmarl.github.io/files/lindel_bqc.pdf)),
Theorems of the cube and square and applications
Talk at Reading group on abelian varieties ([notes](https://dmarl.github.io/files/cube.pdf)),
Homotopy type theory and univalent foundations
Talk at [Warwick Postgraduate Seminar](https://dmarl.github.io/files/postgraduate_seminar_daniel_marlowe.pdf),
Joyal’s lifting theorem
Talk at Reading group on higher categories,
Monoidal categories and localisation
Talk at Reading group on higher algebraic K-theory,
Teaching
Service and leadership
- Currently signed in to 43 different slack teams