Alexey Ignatiev是里斯本大学理学院信息学(DI)理性实验室的研究员。在此之前是里斯本大学(University of Lisbon) 的博士后研究员,研究与SAT Oracles计算和推理相关的各种课题以及其它许多问题领域。目前研究主要集中在发展和完善高效的SMT-based(可满足性模理论)决策和优化过程中针对各种重要的实际应用人工智能:从软件包升级能力和布尔公式最小化基于模型的诊断(MBD),软件故障定位和可辩解的AI(新品)。
参考链接
微信扫码咨询专知VIP会员