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: