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

Lean: Past, Present, and Future (Invited Talk)

Sebastian Ullrich, "Lean: Past, Present, and Future (Invited Talk)." 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia, 2024.

'do' unchained: embracing local imperativity in a purely functional language (functional pearl)

Sebastian Ullrich, Leonardo Moura, "'do' unchained: embracing local imperativity in a purely functional language (functional pearl)." Proc. ACM Program. Lang., 2022.

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

Sebastian Ullrich, Leonardo Moura, "Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages." Log. Methods Comput. Sci., 2022.

The Lean 4 Theorem Prover and Programming Language

Leonardo Moura, Sebastian Ullrich, "The Lean 4 Theorem Prover and Programming Language." Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, 2021.

Counting immutable beans: reference counting optimized for purely functional programming

Sebastian Ullrich, Leonardo Moura, "Counting immutable beans: reference counting optimized for purely functional programming." IFL '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019, 2019.

A metaprogramming framework for formal verification

Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo Moura, "A metaprogramming framework for formal verification." Proc. ACM Program. Lang., 2017.

Verified construction of static single assignment form

Sebastian Buchwald, Denis Lohner, Sebastian Ullrich, "Verified construction of static single assignment form." Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016, 2016.