Stockholm university

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

Department of Mathematics (incl. Math. Statistics)
Portrait of Lars Arvestad

Members

Josefin Ahlkrona

Bitr. universitetslektor

Department of Mathematics (incl. Math. Statistics)
AhlkronaProfilePic

Marc Hellmuth

Associate Professor

Department of Mathematics (incl. Math. Statistics)
Marc Hellmuth

Chun-Biu Li

Universitetslektor, docent

Department of Mathematics (incl. Math. Statistics)
Chun-Biu Li

Anders Mörtberg

Universitetslektor

Department of Mathematics (incl. Math. Statistics)

Kristoffer Sahlin

Associate Senior lecturer

Department of Mathematics (incl. Math. Statistics)
KristofferSahlin