Research group Computational Mathematics
The research group Computational Mathematics works with mathematical modeling and method development for the study of systems, encompassing mathematical proof structures as well as physical structures spanning from the molecular to the planetary level.
Group description
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
Seminars
Seminars are announced in the calendar at Stockholm Mathematics Centre, SMC
Group members
Group managers
Lars Arvestad
Universitetslektor
Members
Josefin Ahlkrona
Associate professor
Marc Hellmuth
Associate Professor
Chun-Biu Li
Universitetslektor, docent
Anders Mörtberg
Universitetslektor
Kristoffer Sahlin
Associate Senior lecturer