安德烈·沃伦科夫的主页

我是曼彻斯特大学和客座教授维也纳科技大学当然，我也为Easy椅子.

我也被称为Easy椅子的主要设计者定理证明者吸血鬼，以及LPAR会议系列。

此外，我发表了超过100篇论文在计算机科学和逻辑的各个领域。

新闻

（2021年7月） 五安培获得自动定理证明世界杯中国科学院在第28届自动扣款国际会议（学员28）。
这一次吸血鬼赢得了六个分区中有三个，包括比赛FOF（一级方程式）。吸血鬼总算赢了自1999年以来，中国社科院共有56个部门的职称：超过任何其他部门竞赛史上的定理证明者。吸血鬼赢了自2002年以来的所有FOF部门。
（2021年7月） M（M）Krystof Hoder的y纸 大理论推理的正弦函数收到斯科利姆奖.
（2020年1月） T型他 EasyChair的用户数量超过3000000。
（2015年8月） 我收到了 赫布兰德奖感谢对自动推理的杰出贡献。
（2012年6月） N个图灵奖得主加里·卡斯帕罗夫和其他杰出科学家在上发言图灵一百周年大会由我组织。