Cezar Ionescu

at

Projects

2012–2015

Strongly Typed Libraries for Programs and Proofs

Patrik Jansson Department of Computer Science and Engineering, Software Technology (Chalmers)
Jean-Philippe Bernardy Department of Computer Science and Engineering, Software Technology (Chalmers)
Cezar Ionescu Department of Computer Science and Engineering, Software Technology (Chalmers)
Swedish Research Council (VR)

2014–2016

Domain Specific Languages of Mathematics (DSLsofMath)

Patrik Jansson Department of Computer Science and Engineering, Software Technology (Chalmers)
Cezar Ionescu Department of Computer Science and Engineering, Software Technology (Chalmers)
Irene Lobo Valbuena Department of Computer Science and Engineering, Software Technology (Chalmers)
Adam Sandberg Eriksson Department of Computer Science and Engineering, Software Technology (Chalmers)
Chalmers

2015–2018

Centre of excellence for Global Systems Science (CoeGSS)

Patrik Jansson Department of Computer Science and Engineering, Software Technology (Chalmers)
Cezar Ionescu Department of Computer Science and Engineering, Software Technology (Chalmers)
Devdatt Dubhashi Department of Computer Science and Engineering, Computing Science (Chalmers)
Michal Palka Department of Computer Science and Engineering, Software Technology (Chalmers)
Oskar Allerbo Department of Computer Science and Engineering, Computing Science (Chalmers)
EC, 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.

Publications

2016

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
2016

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