馬菲菲

馬菲菲 女 碩導 軟件研究所

通信地址：北京市海淀區中關村南四街4號

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 15th International 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） 可滿足性問題的擴展研究，主持，國家級

（2） 列車運行控制系統測試案例關鍵算法研究，主持，研究所（學校）級 ^[1]