Shaowei Cai(蔡少伟)

本人对人工智能和算法设计有广泛的兴趣，尤其包括逻辑推理与搜索，组合优化，以及基于学习的自动算法设计。主要研究成果包括：提出格局检测策略，有效解决局部搜索的重要缺陷—循环现象，该策略被广泛用于NP难组合优化问题。对命题逻辑的可满足性判定（SAT）与最大可满足性问题（MaxSAT）设计了创新算法，在相关国际比赛中多次获得冠军。针对大规模组合优化问题，结合搜索与推理的方法设计了高效算法，在多个著名组合优化问题如最大团，图着色，顶点覆盖，集合覆盖等NP难优化问题保持着前沿水平。本人也致力于将算法研究应用于实际项目从而发挥其价值，研究成果被用于多个实际项目，包括美联邦通讯委员会的频谱分配，意大利银行系统优化，腾讯地图相关优化，微软云计算服务平台相关优化等。