吉尔DOWEK公司
吉尔斯·道克
我是Inria公司并在ENS巴黎-萨克利.
我是梅托德斯·福尔摩莱斯实验室, 在中Deducteam公司团队我们在哪里制定逻辑框架德杜克提.
我对数学的形式化和证明感兴趣计算物理中的处理系统航空航天系统,以及信息学的认识论和伦理学。这是我的列表科学的文件,哲学的文件,还有一些书.
我已经收到了科学奖飞利浦大奖赛1982年欧洲的飞利浦青年研究人员和发明家竞赛1983年大奖赛达朗贝尔由法国数学协会在里面2000, 这个大奖赛非哲学的由学院法国2007年,大奖赛洛杉矶生命科学,由départment des颁发上围网,使用Serge Abiteboul,2018年Inria大奖赛-科学院2023年。
我为逻辑第三节课学士学位年份。这是一门翻转课堂课程视频是那里. 我教这门课证明体系的基础在MPRI公司. 这是它的课程笔记理论证明.这些是视频十次讲座,每次1:30我教过的编程语言原理课程埃科尔综合技术.
我的一些课程笔记已经发表了,作为书, 其他是在线.
我是的国家飞行员协会国家科学委员会的纳梅·里克法国信息学会,共法国国家历史委员会科学哲学与技术和的孔塞伊方案监督。过去,我一直是这个委员会《科学研究》Allistene数字科技的国家委员会纳梅里克科学委员会主旋律佩特和科学委员会巴黎高级研究院科学与技术.
自2005年以来,我一直对教育感兴趣,并努力做到提请行政部门注意在K-12引入计算机科学. 我是教育部长任命的委员会成员建议为高中生开设一门计算机科学课程,这导致了古尔库姆10月13日在公报官方发布第个2011我参加了科学院的报告信息教育-这是一个非常紧迫的问题.
我还担任过国家航空航天研究所,实验室美国国家航空航天局
兰利研究中心。除此之外,我还参与了开发和证明ACCoRD公司, 空中协调冲突解决和检测系统。
我努力使科学普及书,视频,从2014年5月到2021年6月,我写了一个月柱在里面Pour la科学.
从普遍性来看数学真理与证明系统的互操作性,在欧洲标准化组织计算机科学系研讨会
与谢尔盖·阿比特波尔和劳伦斯·德维勒,给我来一杯加洛齐亚?
非协调的逻辑和普适逻辑:关于连接词的含义?
从普遍性来看数学真理与证明系统的互操作性
逻辑浸水
研究论文,课程笔记,科学哲学论文,书,视频