I am a PhD student in the Logic and Semantics group at the Department of Computer Science, Aarhus University, Denmark.

My PhD project is on verified computer algebra in type theory. I am supervised by Bas Spitters, Department of Computer Science, and Niels Lauritzen, Department of Mathematics.

- Abstract Algebra
- Algebraic Topology
- Category Theory
- Type Theory
- Univalent Foundations

Universal Algebra in HoTT, https://github.com/andreaslyn/Work/blob/master/Math-Bachelor.pdf.