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