Areas of Expertise

  • Computable analysis
  • Effective descriptive set theory
  • Game theory and CS


  1. & Comparing Representations for Function Spaces in Computable Analysis. Theory of Computing Systems
  2. & How constructive is constructing measures?. Journal of Logic and Analysis 9
  3. Many-one reductions and the category of multivalued functions. Mathematical Structures in Computer Science 27(03), 376-404.
  4. & Computability and Complexity. In The Vitali Covering Theorem in the Weihrauch Lattice. (pp. 188-200).
  5. & A topological view on algebraic computation models. Journal of Complexity 44, 1-22.

See more...


  • CSCM70 Mathematical Skills for Data Scientists

    This course is an introductory course to the mathematical methods needed by a data scientist. It covers the basics of algebra, optimisation techniques, statistics, and Fourier analysis. The main goal of the class is for students to gain practical experience of the mathematical methods and tools that are essential in data science and that will be used in the other modules of this programme. The module is aimed at students with basic experience in mathematics.