Mathematics, Computing and Data Science Research

Mathematics, Computing and Data Science research in the Department for Continuing Education
Research in the Department is centred around the following areas:
- Dependently-typed programming
- Validated and verified scientific computing
- Domain-specific languages for synthetic populations
- Domain-specific languages of mathematics
- Applying computational thinking outside computer science, e.g., to social sciences
- Computer science and mathematics education
Research highlights, past and present:
- Dependently-typed programming in scientific computing
- Pedagogical project on domain-specific languages of mathematics
- Modelling vulnerability
- Presenting mathematical analysis using functional programming
- A new growth path for Europe
Past research projects:
- GRACeFUL - Global systems Rapid Assessment tools through Constraint FUnctional Languages
- Global System Dynamics and Policy
- FAVAIA - Formal Approaches to Vulnerability Assessment that Informs Adaptation
Current research projects:
Understanding Global Systems Science

Understanding Global Systems Science
Developing evidence and understanding concerning Global Systems using High Performance Computing.
Domain-specific languages of mathematics

Domain-specific languages of mathematics
DSLs of Mathematics is a Quality Funding project granted by Chalmers University
Collaborators
Nicola Botta Potsdam Institute for Climate Impact Research, Germany
Patrik Jansson Chalmers University of Technology, Gothenburg, Sweden
Paul Flondor Politechnical University of Bucharest, Romania
Carlo Jaeger Global Climate Forum, Germany
Jochen Hinkel Global Climate Forum, Germany