Explore projects

Simple IDE

Implementing generics in LFortran

An Agda development of set theory inside homotopy type theory.

Slides for talk at EMBO Symposium Regulatory Epigenomics.

Slides for talk at UiB Symposium on AI and ML

Slides for lecture at NORBIS Course Computational Approaches in Transcriptome Analysis.

Slides for talk at causal inference workshop at IMR Bergen

Homotopy type theory cheatsheets to read the HoTT Book

LaTeX template for masteroppgaver ved Institutt for informatikk ved UiB

Introduction to quantum computing. The presentation includes remarks on security and scientific computation.

HEDTOOLS: Fortran Modelling Toolbox