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

Formalizing Graph Trail Properties in Isabelle/HOL

Laura Kov{\'{a}}cs, Hanna Lachnitt, Stefan Szeider, "Formalizing Graph Trail Properties in Isabelle/HOL." In the proceedings of Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings, 2020.

Talks

Teaching

Service and leadership

• Currently signed in to 43 different slack teams