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

研究领域

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

教育背景

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

工作经历

   
工作简历
2019-10~现在, 中国科学院软件研究所, 研究员
2012-12~2019-09,中国科学院软件研究所, 副研究员
2010-07~2012-12,中国科学院软件研究所, 助理研究员

教授课程

计算机算法设计与分析

专利与奖励

   
奖励信息
(1) 中国科学院青促会优秀会员, , 院级, 2020
(2) 王选新闻科学技术奖, 一等奖, 部委级, 2017
(3) 中国电影电视技术学会科技进步奖, 二等奖, 部委级, 2017

出版信息


发表论文
[1] Jian Zhang. Efficient SAT-based Minimal Model Generation Methods for Modal Logic S5. The 24th International Conference on Theory and Applications of Satisfiability Testing. 2021, [2] Jian Zhang. Investigating the Existence of Costas Latin Squares via Satisfiability Testing. The 24th International Conference on Theory and Applications of Satisfiability Testing. 2021, [3] Jian Zhang. Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. The 26th International Conference on Principles and Practice of Constraint Programming. 2020, [4] Feifei Ma. Approximating Integer Solution Counting via Space Quantification for Linear Constraints. The 28th International Joint Conference on Artificial Intelligence. 2019, [5] Zhang, Fan, Chen, Yanqin, Li, Zhihang, Hong, Zhibin, Liu, Jingtuo, Ma, Feifei, Han, Junyu, Ding, Errui, IEEE. ACFNet: Attentional Class Feature Network for Semantic Segmentation. 2019 IEEE/CVF INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV 2019)null. 2019, 6797-6806, [6] Huang, Pei, Liu, Minghao, Ge, Cunjing, Ma, Feifei, Zhang, Jian, ACM. Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. PROCEEDINGS OF THE 2019 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC '19)null. 2019, 203-210, http://dx.doi.org/10.1145/3326229.3326232.
[7] Jian Zhang. Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. The 28th International Joint Conference on Artificial Intelligence. 2019, [8] Ge Cunjing, Ma Feifei, Liu Tian, Zhang Jian, Ma Xutong, Galmiche D, Schulz S, Sebastiani R. A New Probabilistic Algorithm for Approximate Model Counting. AUTOMATED REASONING, IJCAR 2018null. 2018, 10900: 312-328, [9] Ge, Cunjing, Ma, Feifei, Zhang, Peng, Zhang, Jian. Computing and estimating the volume of the solution space of SMT(LA) constraints. THEORETICAL COMPUTER SCIENCE[J]. 2018, 743: 110-129, https://www.webofscience.com/wos/woscc/full-record/WOS:000444661700010.
[10] Huang Pei, Ma Feifei, Ge Cunjing, Zhang Jian, Zhang Hantao, Galmiche D, Schulz S, Sebastiani R. Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. AUTOMATED REASONING, IJCAR 2018null. 2018, 10900: 354-369, [11] Pan, Linjie, Jin, Jiwei, Gao, Xin, Sun, Wei, Ma, Feifei, Yin, Minghao, Zhang, Jian, Beck, JC. Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING (CP 2017)null. 2017, 10416: 405-413, [12] Bereg Sergey, Ma Feifei, Wang Wencheng, Zhang Jian, Zhu Binhai, Xiao M, Rosamond F. On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. FRONTIERS IN ALGORITHMICS, FAW 2017null. 2017, 10336: 13-21, [13] Lu, Xian, Shang, Yun, Lu, Ruqian, Zhang, Jian, Ma, Feifei. Weak QMV algebras and some ring-like structures. SOFT COMPUTING[J]. 2017, 21(10): 2537-2547, https://www.webofscience.com/wos/woscc/full-record/WOS:000400234600010.
[14] Liu Hai, Ma Feifei, Zhang Jian, Booth R, Zhang ML. Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. PRICAI 2016: TRENDS IN ARTIFICIAL INTELLIGENCEnull. 2016, 9810: 262-270, [15] Jian Zhang. Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. The 22nd International Conference on Principles and Practice of Constraint Programming. 2016, [16] Ma FeiFei, Zhang Jian. Finding orthogonal latin squares using finite model searching tools. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2013, 56(3): https://www.webofscience.com/wos/woscc/full-record/WOS:000318197000012.
[17] Ma Feifei, Yan Jun, Zhang Jian. Solving generalized optimization problems subject to smt constraints. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)null. 2012, 247-258, http://ir.iscas.ac.cn/handle/311060/15733.
[18] Zhang Jian, Ma Feifei, Zhang Zhiqiang. Faulty interaction identification via constraint solving and optimization. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)null. 2012, 186-199, http://ir.iscas.ac.cn/handle/311060/15773.
[19] 金继伟, 马菲菲, 张健. Integrating Standard Dependency Schemes in QCSP Solvers. 计算机科学技术学报:英文版. 2012, 27(1): 37-41, http://lib.cqvip.com/Qikan/Article/Detail?id=40704184.
[20] Ma Feifei. Constraint solving techniques for software testing and analysis. Proceedings - International Conference on Software Engineeringnull. 2010, 417-420, http://124.16.136.157/handle/311060/8704.
[21] Ma Feifei, Liu Sheng, Zhang Jian, Schmidt RA. Volume Computation for Boolean Combination of Linear Arithmetic Constraints. AUTOMATED DEDUCTION - CADE-22null. 2009, 5663: 453-468, [22] Ge, Cunjing, Ma, Feifei, Zhang, Jian. A Fast and Practical Method to Estimate Volumes of Convex Polytopes. http://arxiv.org/abs/1401.0120.
发表著作
(1) 组合测试数据的自动生成, Automatic Generation of Combinatorial Test Data, Springer, 2014-09, 第 3 作者

科研活动

担任IJCAI、AAAI、CP等国际会议的PC member 或Senior PC member。

科研项目
( 1 ) 面向密码理论的自动推理算法研究, 主持, 国家级, 2014-01--2015-12
( 2 ) 短波广播资源优化调度算法, 主持, 国家级, 2015-03--2015-12
( 3 ) 青年创新促进会, 主持, 部委级, 2016-01--2019-12
( 4 ) 高维SMT公式的求解与解空间大小计算, 主持, 国家级, 2020-01--2023-12