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.
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
There are no research project connections.
No news items available.
No events available.