Mathematics, Computing and Data Science Research

placeholder

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:

Past research projects:

Current research projects:

placeholder

Understanding Global Systems Science

Developing evidence and understanding concerning Global Systems using High Performance Computing.

placeholder

Domain-specific languages of mathematics

DSLs of Mathematics is a Quality Funding project granted by Chalmers University


Upcoming courses