Paper Title Number 1
Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1).
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
Paper Title Number 2
Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2).
Paper Title Number 3
Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3).
Talks
Type Theory and Agda
Talk at Directed Reading Program 2021, Johns Hopkins University, Baltimore, Maryland
Fuzzy Type Theory for Opinion Dynamics
Talk at Applied Category Theory 2022, University of Strathclyde, Glasgow, Scotland
What is Constructive Mathematics?
Talk at What is... Seminar 2022, Johns Hopkins University, Baltimore, Maryland
Teaching
Service and leadership
- Currently signed in to 43 different slack teams