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 in artificial intelligence and data science, 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).  The current domain of application is the correctness and explainability of machine learning algorithms, especially decision making and reinforcement learning.  Additional interests 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