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
