个人简介

马菲菲女硕导中国科学院软件研究所 教育背景 2005-09--2010-06中国科学院软件研究所工学博士 2001-09--2005-06武汉大学工学学士 工作经历 工作简历 2019-10~现在,中国科学院软件研究所,研究员 2012-12~2019-09,中国科学院软件研究所,副研究员 2010-07~2012-12,中国科学院软件研究所,助理研究员 教授课程 计算机算法设计与分析 专利与奖励 奖励信息 （1）王选新闻科学技术奖,一等奖,部委级,2017 （2）中国电影电视技术学会科技进步奖,二等奖,部委级,2017 （3）中科院朱李月华优秀博士生奖,,院级,2009 发表著作 （1）组合测试数据的自动生成,AutomaticGenerationofCombinatorialTestData,Springer,2014-09,第3作者 科研活动 The25thInternationalConferenceonPrinciplesandPracticeofConstraintProgramming(CP2019)程序委员会成员 The34thAAAIConferenceonArtificialIntelligence(AAAI2020)程序委员会成员 科研项目 （1）面向密码理论的自动推理算法研究,主持,国家级,2014-01--2015-12 （2）短波广播资源优化调度算法,主持,国家级,2015-03--2015-12 （3）青年创新促进会,主持,部委级,2016-01--2019-12 （4）高维SMT公式的求解与解空间大小计算,主持,国家级,2020-01--2023-12