Cezar Ionescu

Gästforskare at Chalmers, Computer Science and Engineering (Chalmers), Functional Programming



Strongly Typed Libraries for Programs and Proofs

Patrik Jansson Software Technology (Chalmers)
Jean-Philippe Bernardy Software Technology (Chalmers)
Cezar Ionescu Software Technology (Chalmers)
Swedish Research Council (VR)


Domain Specific Languages of Mathematics (DSLsofMath)

Patrik Jansson Software Technology (Chalmers)
Cezar Ionescu Software Technology (Chalmers)
Irene Lobo Valbuena Software Technology (Chalmers)
Adam Sandberg Eriksson Software Technology (Chalmers)


Centre of excellence for Global Systems Science (CoeGSS)

Patrik Jansson Software Technology (Chalmers)
Cezar Ionescu Software Technology (Chalmers)
Devdatt Dubhashi Computing Science (Chalmers)
Michal Palka Software Technology (Chalmers)
Oskar Allerbo Computing Science (Chalmers)
European Commission (Horizon 2020)

There might be more projects where Cezar Ionescu participates, but you have to be logged in as a Chalmers employee to see them.



Sequential decision problems, dependent types and generic solutions

Nicola Botta, Patrik Jansson, Cezar Ionescu et al
Logical Methods in Computer Science
Scientific journal article - peer reviewed

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming

Cezar Ionescu, Patrik Jansson,
Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education. Vol. 230, p. 1-15
Conference paper - peer reviewed