欢迎访问我的主页



在开始攻读博士学位之前,J-M.Lagniez在年获得了研究生学位算法系,用于推理和决策信息学研究生院阿托伊斯大学(透镜,法国)。之后,他在中心Recherche en Informatique de Lens公司(CRIL实验室,研究中心法国阿托伊斯大学《透镜信息学》(Informatics in Lens,Artois University,France),导演:PrÉ. 格雷戈里.他的研究项目侧重于结合本地搜索和回溯搜索(SAT和CSP)以及改进中使用CDCL解算器解决SAT问题的能力和平行框架),在Pr下L。萨伊斯'(麻省理工学院计算机科学教授科学Jean-Perrin in Lens),PrG.公司。奥德玛'(透镜计算机科学教授IUT)和PrB。迷宫'方向(香港中文大学计算机科学教授科学Jean Perrin在Lens)方向。

之后,他在形式模型和验证(克卜勒奥地利林茨大学)答:。比雷的方向。然后,2013年,他在透镜信息中心低于PrÉ. 格雷戈里的方向。

2014年,Jean-Marie Lagniez加入了IUT de Lens公司作为副教授。