个人简介

蔡少伟中国科学院软件研究所研究员博导 中国科学院大学教授 招生信息 招收研究生，欢迎报考，希望学生有优秀的编程能力（C/C++），扎实的算法基础，较好的数学基础（尤其是图论，数理逻辑，概率论）和英语能力。 如有意愿保送研究生，可以尽早联系。 招收实习生，面向本科生和研究生，条件同上，一般可以在一年之内合作发表一篇CCFA类或B类论文，有实习津贴。 招生专业 081202-计算机软件与理论 招生方向 人工智能，算法设计 教育背景 2012-07--2014-07GriffithUniversity应用数学博士 2008-09--2012-07北京大学计算机软件与理论博士 2004-09--2008-07华南理工大学计算机科学与技术学士 工作经历 工作简历 2017-09~现在,中国科学院软件研究所,研究员 2014-07~2017-09,中国科学院软件研究所,副研究员 2012-07~2014-07,NationalICTAustralia(NICTA),StudentResearcher 教授课程 离散数学 高级算法设计与分析 专利与奖励 奖励信息 （1）全球运筹优化挑战赛-城市物流运输车辆智能调度，优胜奖,,其他,2018 （2）2018年SparkleSATChallenge,亚军,其他,2018 （3）2018年国际SAT比赛No-Limitstrack冠军,,其他,2018 （4）2018年联合逻辑大会奥林匹克金牌,,其他,2018 （5）2016年国际SAT比赛Randomtrack亚军,二等奖,其他,2016 （6）2014国际SAT比赛Hard-combinatorial组亚军,,其他,2014 （7）北京市优秀毕业生,,市地级,2012 （8）2012国际SAT比赛随机组冠军,,其他,2012 （9）北京大学优秀博士论文奖,,研究所（学校）,2012 （10）北京大学学术创新奖,,研究所（学校）,2011 科研项目 （1）基于高效I/O模型检测的大规模Web服务验证研究,参与,国家级,2014-01--2017-12 （2）网络空间大数据的表示、度量与语义理解,参与,国家级,2014-01--2018-12 （3）最大可满足性问题的局部搜索算法,主持,国家级,2016-01--2018-12 （4）中国科学院青年创新促进会基金,主持,部委级,2017-01--2020-12 （5）IntelligentSoftwareConfigurationAnalysisandOptimization,主持,院级,2020-01--2020-12 指导学生 已指导学生 李元杰硕士研究生081202-计算机软件与理论 现指导学生 王浩然硕士研究生085211-计算机技术 傅英杰硕士研究生081202-计算机软件与理论 张昕荻硕士研究生081202-计算机软件与理论 何兵硕士研究生081202-计算机软件与理论 雷震东博士研究生081202-计算机软件与理论 李博涵硕士研究生081202-计算机软件与理论