馬菲菲，女，中國科學院軟體研究所 先後擔任助理研究員,副研究員。
基本介紹
- 中文名：馬菲菲
- 畢業院校：中國科學院軟體研究所
- 性別：女
- 工作單位：中國科學院軟體研究所
基本信息,教育背景,工作簡歷,獎勵信息,發表論文,科研項目,
基本信息
馬菲菲 女 碩導 軟體研究所
通信地址：北京市海淀區中關村南四街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） 列車運行控制系統測試舟甩案犁艱乘例關鍵算法研究，主持，研究所（學校）級
