瑟格?阿比特博(Serge Abiteboul),数据科学、信息与数据管理和有限模型论专家,计算机协会院士,法兰西科学院院士,法国国家计算机与自动化研究所学者,被美国科技信息所评为“高引用科学家”。曾荣获英国皇家学会“米尔纳奖”、国际计算机学会数据管理专业组织(ACM SIGMOD)“埃德加?科德”创新奖和Test of Time奖。
吉尔?多维克(Gilles Dowek),数学家、逻辑学家和计算机科学家,法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家,巴黎高等师范学院教授,美国国家航空研究院顾问。曾荣获法国数学学会“达朗贝尔奖”,其数学科普名作《计算进化史》荣获法兰西学术院哲学大奖。
展开