Rune Haugseng
Current
- Louis Martini
(PhD
2020-)
Louis
is working on
internal categories in ∞-topoi.
- Fredrik Bakke
(PhD
2022-)
Fredrik
is working on
∞-categories in homotopy type theory.
- Fernando Abellán García
(Postdoc
2022-)
- Tallak Manum
(PhD
2023-)
Previous
Master students
- Klaus Caning
(University of Copenhagen, 2017-2018)
Klaus
worked on
state-sum constructions of 2- and 3-dimensional TQFTs.
- Fredrik Bakke
(2021-2022)
Fredrik
worked on
Segal spaces in homotopy type theory.
- Even Aslaksen
(2022-2023)
Even
worked on
adjunctions and monads in (∞,2)-categories.
- Tallak Manum
(2022-2023)
Tallak
worked on
additivity for the little disc operads.
- Preben Hast Sørli
(2022-2023)
Preben
worked on
Verdier duality for stable ∞-categories.
Bachelor students
- Eigil Fjeldgren Rischel
(University of Copenhagen, 2018)
Eigil
worked on
multiplicative infinite loop spaces via ∞-categories.
- Preben Hast Sørli
(2021)
Preben
worked on
sheaf cohomology.