Je suis directeur de recherche au公司中国科学院.Je travaileáVERIMAG公司,CNRS et de l’单元格勒诺布尔大学.
L'objectif pratique de ma recherche est de prouver la correction des logiciels(逻辑校正)。Ceci est reliéa la the theorie de la中心可计算性逻辑修正,环境,不可判定的问题(puisque la correction des logiciels,en général,est un problème indécidable),a la(拉丁语)情结之神高级建筑群中的公共设施问题,a la(拉丁语)逻辑数学实验,eta des champs aussi跳水选手que la特奥里德杰克斯,l'algèbre等'优化凸体.
Jeme suis notement intéresséa prouver des propriétés de logiciels批评民用航空的利用(notement par raphort aux dépassments de capacityéarithmeétique et des calculs en virgule flottante)。J'aiégalemment travailésur les protocoles密码学和系统概率。
博士学位(2001年,巴黎多芬大学)et-de-l'驾驶执照(2009年,格勒诺布尔约瑟夫·傅立叶大学)农业数学竞赛。
取消mes出版物列表,avec des liens vers des versions téléchargeables,se-trouveici公司.Vous pouvezégalement签证顾问DBLP上的mon entrée e sur.
苏维兹莫伊苏尔乳臭虫 !