新闻

此页面不再更新！自2013年8月起，我在查尔默斯理工大学计算机科学与工程系担任博士后职位。有关进一步的发展，请查看我的主页那里。

研究兴趣

函数式编程、依赖型编程、科学计算。

出版物

• N.Botta、C.Ionescu和Edwin Brady。 顺序决策问题，依赖类型的解决方案,
  在诉讼中2013年PLMMS。

• C.Ionescu、P.Jansson。科学计算中的依赖型程序设计。已接受2012年国际单项体育联合会赛后出版。 预打印.
• C.Ionescu、P.Jansson。气候影响研究中的测试与证明.第18届校对和课程研讨会记录（类型11）第19页，第41-54页。
• N.Botta、A.Mandel、C.Ionescu、M.Hofmann、D.Lincke、S.Schupp、C.Jaeger。基于代理的交换模型的功能框架。应用数学与计算218（8）：4025-4040（2011）。
• C.Ionescu。使用函数编程和依赖类型进行漏洞建模。被《计算机科学中的数学结构》接受出版。预打印.
• 一元BSP模型中基于关系的计算。N.Botta，C.Ionescu。并行计算，爱思唯尔，2006年9月。摘要,全文.
• Ionescu，C.、R.J.T.Klein、J.Hinkel、K.S.Kavi Kumar和R.Klein。建立气候变化脆弱性的正式框架。 环境建模与评估，2009年2月,第14卷，第1版，第1-16页。

会谈

• 科学计算中的依赖型程序设计IFL 2012，2012年8月30日至9月1日，牛津。视频.
• 日益正确的科学规划受邀演讲，2012年7月8日至13日，不来梅。
• 计算和通信IFIP算法语言和微积分2.1工作组会议，2012年2月6日至10日，罗马。
• 类型理论中的经济均衡第11类，2011年9月12日至15日，卑尔根。
• 经济建模中的依赖型规划DTP112011年8月27日，奈梅亨。代码.
• 气候影响研究中的验证与测试。类型10，2010年10月13日至16日，华沙。
• 在气候变化影响模型中使用依赖类型DTP10，2010年7月9日至10日，爱丁堡。