## 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

## Members

### 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.

### 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?

### 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.

### 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.

### 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.

### 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.