基本信息
浏览量:38
职业迁徙
个人简介
Research
Scientific leader of the INRIA research project-team ProVal (common PCRI project: université Paris Sud, CNRS, École Polytechnique and INRIA Saclay - Île-de-France)
Head of the team Démons
Editorial board: Journal of Formalized Reasoning
Member of Program committees:
MPC ’10: Mathematics of Program Construction, 21-23 June 2010, Manoir St-Castin Québec, Canada
TPHOLs’08 : 21st International Conference on Theorem Proving in Higher Order Logics, 18-21 August 2008, Montréal, Canada
MPC ’08: Mathematics of Program Construction, 15-18 July 2008, CIRM, Luminy, France (chair)
TPHOLs’07 : 20th International Conference on Theorem Proving in Higher Order Logics, 11-13 September 2007, Kaiserslautern, Germany
WoLLIC’2007 : 14th Workshop on Logic, Language, Information and Computation July 2-5, 2007, Rio de Janeiro, Brazil
IJCAR : International Joint Conference on Automated Reasoning August 16-21, 2006, Seattle (part of FLOC’06)
JFLA’2006 Journées Francophones des Langages Applicatifs 28-31 janvier 2006, Pauillac, France
Past events
Organisation of the Mathematics of Program Construction (MPC ’08) conference.
CIRM, Luminy, France, 15-18 July 2008.
Colloquium in honor of Gérard Huet June 22th and 23th, 2007, École Normale Supérieure, Paris.
Summerschools
Types Summer School, August 19-31th, 2007 Bertinoro - Italy slides
Types Summer School 2005 Slides : advi, ps, ps (4 per page)
Summer School on Foundations of Security (2003)
Course notes on inductive definitions
Research projects
Denotational semantics for Kahn Networks
Description of the Coq library - Version July 2007 (HTML version)
Coq Source files of the library
Proofs of randomized algorithms
ANR Project SCALP (2007-2011)
Description of the Coq library - new version 4 - 2009 (HTML version)
Coq Source files of the library
Proofs of Java programs
ACI security project: GECCOO (2003-2006)
Site leader and member of the steering committee of the europeean Coordination Action TYPES
We organised the international workshop TYPES’2004, Jouy-en Josas, 15-18 décembre 2004
Working groups Maths in Coq
Report 2006-PDF
Report 2005(PDF)
研究兴趣
论文共 34 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving (2013)
引用23浏览0EI引用
23
0
SCIENCE OF COMPUTER PROGRAMMINGno. 8 (2009): 568-589
From Semantics to Computer Sciencepp.383-414, (2009)
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction (2008)
引用21浏览0EI引用
21
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn