Andreas Lynge

Engineering, Compiler

Andreas is a Senior Software Engineer at Category Labs. With a background in mathematics and computer science, he's focusing on homotopy type theory as a PhD student at Aarhus University.