This page is no longer being updated! Since August 2013, I hold a postdoc position at the Computer Science & Engineering Department of the Chalmers University of Technology. For further developments, please check my home page there.
Functional programming, dependently-typed programming, scientific computing.
- N. Botta, C. Ionescu and Edwin Brady. Sequential decision problems, dependently typed solutions,
In proceedings of PLMMS 2013.
- C. Ionescu, P. Jansson. Dependently-typed Programming in Scientific Computing. Accepted for publication of IFL 2012 post-proceedings. Preprint.
- C. Ionescu, P. Jansson. Testing versus Proving in Climate Impact Research. Proceedings of the 18th Workshop Types for Proofs and Programs (TYPES’11), 19 pp. 41-54.
- N. Botta, A. Mandel, C. Ionescu, M. Hofmann, D. Lincke, S. Schupp, C. Jaeger. A functional framework for agent-based models of exchange. Applied Mathematics and Computation 218(8):4025-4040 (2011).
- C. Ionescu. Vulnerability Modelling with Functional Programming and Dependent Types. Accepted for publication by Mathematical Structures in Computer Science. Preprint.
- Relation-based computations in a monadic BSP model. N. Botta, C. Ionescu. Parallel Computing, Elsevier, Sept. 2006. Abstract, full paper.
- Ionescu, C., R.J.T. Klein, J. Hinkel, K.S. Kavi Kumar and R. Klein. Towards a formal framework of vulnerability to climate change. Environmental Modeling & Assessment, February 2009, Volume 14, Issue 1, pp 1-16.
- Dependently-typed Programming in Scientific Computing. IFL 2012, August 30 - September 1 2012, Oxford. Video.
- Increasingly Correct Scientific Programming. Invited talk, CICM 2012, July 8-13 2012, Bremen.
- Calculation and Communication. Meeting of IFIP Working Group 2.1 on Algorithmic Languages and Calculi, February 6-10 2012, Rome.
- Economic Equilibria in Type Theory. Types 11, September 12-15 2011, Bergen.
- Dependently-typed Programming in Economic Modelling. DTP11, August 27 2011, Nijmegen. Code.
- Proving versus testing in climate impact research. Types 10, October 13-16 2010, Warsaw.
- Using dependent types in models of climate change impacts. DTP10, July 9-10 2010, Edinburgh.
- Vulnerability modeling and monadic dynamical systems. Freie Universität Berlin, 2009.
Advanced Functional Programming, FU Berlin, Summer Semester 2013.
Potsdam Institute for Climate Impact Research (PIK)
Mail: P.O. Box 60 12 03, 14412 Postdam
Courier: Telegrafenberg A51, 14473 Potsdam
D-14412 Potsdam, Germany
Email: ionescu AT pik-potsdam DOT de