News

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.

Research interests

Functional programming, dependently-typed programming, scientific computing.

Publications

• 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.

Talks

• 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.