Explore projects

An Agda development of set theory inside homotopy type theory.

Bergen snow simulator

An Agda development of set theory inside homotopy type theory.

WaterSip is a diagnostic software tool that identifies source, transport and arrival properties of atmospheric water vapour based on air parcel backward trajectories, using the moisture source diagnostic of Sodemann et al. (2008). Moisture sources are thereby identified from changes in specific humidity interpolated to the air parcel trajectory per time step. The changes in specific humidity at each time step are set in relation with the current humidity of the air parcel. This allows to estimate the quantitative contribution of moisture to the air parcel at a specific location, a so-called moisture accounting. WaterSip identifies and aggregates further properties of the moisture source and during the moisture transport, such as temperature, pressure, latitude etc.

Verktøy for å konvertere FUP-en til JSON-format og generere nettsiden https://fupperåd.no

for testing purposes

Univalent mathematics in Agda

2D balanced atmospheric fields for initialising idealised WRF and COSMO simulations.

Initially developed by Annick Terpstra, but the project now contains considerable contributions from myself and Hai Bui.

Random stuff that I like to save in git

Analysis of transient events from functional imaging data

2D balanced atmospheric fields for initialising idealised WRF and COSMO simulations.

Initially developed by Annick Terpstra, but the project now contains considerable contributions from myself and Hai Bui.

Verktøy for å periodisere og produsere uttrekk av arkiv