马菲菲  女  硕导  中国科学院软件研究所
电子邮件: maff@ios.ac.cn
通信地址: 北京市海淀区中关村南四街4号
邮政编码: 100190

研究领域

自动推理,约束求解问题,计算数学

教育背景

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

工作经历

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

教授课程

计算机算法设计与分析

专利与奖励

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

出版信息

论文:

(1) Weak QMV algebras and some ring-like structures. Xian Lu, Yun Shang, Ruqian Lu, Jian Zhang, Feifei Ma. Soft Comput. 21(10), 2017
(2) Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Ji-Wei Jin, Hai Liu, Jian Zhang. CP 2016, 2016 
(3) Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. Hai Liu, Feifei Ma, Jian Zhang. PRICAI 2016, 2016
(4) Lightweight Method-Level Energy Consumption Estimation for Android Applications. Qiong Lu, Tianyong Wu, Jiwei Yan, Jun Yan, Feifei Ma, Fan Zhang. TASE2016, 2016
(5) A Fast and Practical Method to Estimate Volumes of Convex Polytopes. Cunjing Ge, Feifei Ma. FAW 2015,2015
(6) SMT Solving for the Theory of Ordering Constraints. Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang. LCPC 2015,2015 
(7) Automatic Generation of Combinatorial Test Data Springer Briefs in Computer Science.
(8) Finding orthogonal latin squares using finite model searching tools. Feifei Ma, Jian Zhang. SCIENCE CHINA Information Sciences 56(3), 2013
(9) Integrating Standard Dependency Schemes in QCSP Solvers. Ji-Wei Jin, Feifei Ma, Jian Zhang. J. Comput. Sci. Technol 27(1),2012
(10) Solving Generalized Optimization Problems Subject to SMT Constraints. Feifei Ma, Jun Yan, Jian Zhang. FAW-AAIM 2012, 2012
(11) Faulty Interaction Identification via Constraint Solving and Optimization. Jian Zhang, Feifei Ma, Zhiqiang Zhang. SAT2012,2012
(12) An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints. Xiaohui Ji, Feifei Ma. WETICE 2012,2012
(13) Constraint solving techniques for software testing and analysis. Feifei Ma. ICSE (2) 2010,2010
(14) Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. Xiaohui Ji, Feifei Ma, Jian Zhang.  ACIS-ICIS 2009,2009
(15) Volume Computation for Boolean Combination of Linear Arithmetic Constraints. Feifei Ma, Sheng Liu, Jian Zhang. CADE 2009,2009
(16) Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints. Feifei Ma, Jian Zhang. PRICAI 2008,2008
(17) Computer Search for Large Sets of Idempotent Quasigroups. Feifei Ma, Jian Zhang. ASCM 2007,2007

著作:

Automatic Generation of Combinatorial Test Data Springer Briefs in Computer Science.  Jian Zhang, Zhiqiang Zhang. Springer 2014, ISBN 978-3-662-43428-4

科研活动

   
科研项目
( 1 ) 面向密码理论的自动推理算法研究, 主持, 国家级, 2014-01--2015-12
( 2 ) 短波广播资源优化调度算法, 主持, 国家级, 2015-03--2015-12