1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、出版信息7、科研活动8、合作情况9、指导学生
基本信息
马菲菲 女 硕导 软件研究所
电子邮件：maffeics@gmail.com
通信地址：北京市海淀区中关村南四街4号
邮政编码：100190


研究领域
招生信息

招生专业 计算机软件与理论



招生方向 自动推理


教育背景 2005-09--2010-06 中国科学院软件研究所 工学博士
2001-09--2005-06 武汉大学 工学学士


学历

学位
工作经历

工作简历 2010-07--今 中国科学院软件研究所 先后担任助理研究员,副研究员


社会兼职
教授课程
专利与奖励

奖励信息 （1） 中科院三好学生标兵，院级级，2010
（2） 中科院朱李月华优秀博士生奖，院级级，2009


专利成果
出版信息

发表论文 （1） Finding orthogonal latin squares using finite model searching tools，SCIENCE CHINA Information Sciences，2013，第1作者
（2） Integrating Standard Dependency Schemes in QCSP Solvers，计算机学报英文版，2012，第2作者
（3） Faulty Interaction Identification via Constraint Solving and Optimization，Proceedings of the 15thInternational Conference on Theory and Applications of Satisfiability Testing，2012，第2作者
（4） Solving Generalized Optimization Problems Subject to SMT Constraints，Frontiers in Algorithmics and Algorithmic Aspects in Information and Management - Joint International Conference, FAW-AAIM 2012，2012，第1作者
（5） Constraint solving techniques for software testing and analysis，Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2，2010，第1作者
（6） Volume Computation for Boolean Combination of Linear Arithmetic Constraints，Proceedings of the 22nd International Conference on Automated Deduction，2009，第1作者


发表著作
科研活动

科研项目 （1） 可满足性问题的扩展研究，主持，国家级，2012-01--2014-12
（2） 列车运行控制系统测试案例关键算法研究，主持，研究所（学校）级，2011-01--2012-12


参与会议
合作情况

项目协作单位
指导学生