Dr Cezar Ionescu

Research interests

Cezar's research involves applications of concepts and methods from functional programming, type theory, and category theory to the analysis of a wide range of problems, from correctness of software models, to the improvement of our understanding of social science concepts (needed, e.g., in order to ensure "fairness", "transparency", "accountability" of algorithms).  Of particular interest are new approaches to the teaching of mathematics at undergraduate level (via domain-specific languages of mathematics) and the "computational thinking" aspects of the GCSE in computer science.

Selected publications

Selected talks

PhD Thesis