Explore projects
-
-
Homotopy type theory cheatsheets to read the HoTT Book
Updated -
An Agda development of set theory inside homotopy type theory.
Updated -
LaTeX template for masteroppgaver ved Institutt for informatikk ved UiB
Updated -
-
-
-
Introduction to quantum computing. The presentation includes remarks on security and scientific computation.
Updated -
-
Slides for talk at causal inference workshop at IMR Bergen
Updated -
Updated
-
Slides for talk at EMBO Symposium Regulatory Epigenomics.
Updated -
Updated
-
-
Slides for lecture at NORBIS Course Computational Approaches in Transcriptome Analysis.
Updated