Egbert Rijke is a postdoctoral researcher at the University of Ljubljana. His research is on homotopy type theory and general mathematics from a univalent point of view.
Fredrik is a PhD student at the Norwegian University of Science and Technology in Trondheim. His research is on homotopy theory and higher category theory.
Elisabeth is a PhD student at the University of Bergen. Her research is on homotopy type theory.
Jonathan is a researcher and a compiler engineer at Heliax designing and implementing the functional programming language Juvix. His PhD research is on graph theory from a univalent point of view.