Andreas Lynge

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.

Interests

Projects

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