Research Areas

  • Program logic, including mathematical properties of computer programs and interactive theorem proving.
  • Computational biology on the molecular level, including biological sequence analysis, protein structure modeling, inference of evolution.
  • Numerical analysis of the partial differential equations describing ice and ocean dynamics. In particular focused on finite element methods for non-linear free surface problems.
  • Computational statistics, including data science, machine learning , information theory, modeling and analysis of stochastic dynamical systems.
  • Algorithm design, complexity theory and discrete mathematics including combinatorics, optimization and (hyper)graph theory


An illustration of a mesh for FEM-analysis of ice-sheet movement on Greenland.

Josefin Ahlkrona

Josefin studies finite element methods for geophysical flows. She received her PhD in 2016 from the Division of Scientific Computing, Department of Information Technology, at Uppsala University, where she developed finite element and radial basis function methods for computer simulations of ice sheets. She then studied stabilized finite element methods at the Christian-Albrechts-Universität zu Kiel in Germany before she joined the division of Computational Mathematics in January 2019.

Profile Josefin Ahlkrona

Lars Arvestad

My background is in Computer Science and I study problems in evolution and genomics. The fundamental questions relate to making use of the information in biological data: how do we best extract knowledge out of the given data and how do we do it efficiently?

A comparison of several protein-coding genes, with colors indicating the class of amino acids that codons (DNA triples) code for.

Profile Lars Arvestad

Marc Hellmuth

My work is highly interdisciplinary and comprises topics in mathematics, computer science and bioinformatics. In general, my research focuses on mathematical characterization of data and structures and the design of efficient algorithms as well as complexity theory. In particular, the development of mathematical theory and algorithms to help understanding complex processes in life sciences are one of my main interests.

Four graphs with labelled vertices
Evolutionary scenarios and resulting homology relations, i.e., pairwise relationships between homologous genes.

Profile Marc Hellmuth

Chun-Biu Li

My research interest is to develop and apply statistical and computational methods to understand how biophysical systems work. Two specific questions I am asking are what are the constructive roles of stochasticity and heterogeneity in biological functions, and what are the appropriate multi-scale theoretical methods and models to study them. In particular, my focuses are on the interplays between information theory, data science, machine learning and statistical physics. I also teach and supervise in Mathematical Statistics.

Profile Chun-Biu Li

Anders Mörtberg

My main research interests are currently in homotopy type theory and univalent foundations, in particular computational justifications to univalence and higher inductive types using cubical type theory. I'm also interested in constructive mathematics, logic and type theory, category theoretical foundations, functional programming, and computer formalization of mathematics and computer science.

A view of code and workspace for computer-assisted theorem proving with Cubical.

Profile Anders Mörtberg

Kristoffer Sahlin

Kristoffer Sahlin has a background is in Computer Science and Statistics. His research focus on algorithm development for various computational problems in Bioinformatics. Particularly, he develops algorithms to extract information from large DNA and RNA sequencing datasets. His algorithms and their implementations have been used in a variety of biological and biomedical studies and integrated into standard analysis suites of biotech companies.

Four DNA strands with sections highlighted. Next to them, a heart, lungs, brain and stomach.
An illustration of a computer based sampling technique (strobemers) for sampling DNA (yellow pieces) used for sequence comparisons between DNA from different tissues, individuals, or organisms.

Profile Kristoffer Sahlin