Feifei Ma's Homepage

马菲菲 (英文版)

maffei2

中国科学院软件研究所研究员

P.O. Box 8718, Beijing 100190, CHINA

Email: maff(at)ios.ac.cn maffeics(at)gmail.com

研究方向

自动推理，约束求解
计算机数学

工作经历

2019.10至今: 中国科学院软件研究所，并行软件与计算科学实验室，研究员
2012.12-2019.9: 中国科学院软件研究所，并行软件与计算科学实验室，副研究员
2007.7-2012.12: 中国科学院软件研究所，并行软件与计算科学实验室，助理研究员

教育经历

2005.09-2010.07: 中国科学院软件研究所，计算机科学国家重点实验室，计算机软件与理论专业，博士
2001.09-2005.07: 武汉大学计算机科学与技术系，学士

部分文章列表

1. Approximating Integer Solution Counting via Space Quantification for Linear Constraints. Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang. IJCAI 2019.

2. Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang. IJCAI 2019.

3. Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang. ISSAC 2019.

4. ACFNet: Attentional Class Feature Network for Semantic Segmentation. Fan Zhang, Yanqin Chen, Zhihang Li, Zhibin Hong, Jingtuo Liu, Feifei Ma, Junyu Han, Errui Ding. ICCV 2019.

5. On Some Matching Problems under the Color-spanning Model. Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu. Theoretical Computer Science, 786: 26-31 (2019).

6. A New Probabilistic Algorithm for Approximate Model Counting. Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma. IJCAR 2018: 312-328.

7. Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang. IJCAR 2018: 354-369.

8. Computing and Estimating the Volume of the Solution Space of SMT(LA) Constraints. Cunjing Ge, Feifei Ma, Peng Zhang, Jian Zhang. Theoretical Computer Science, 743: 110-129, 2018.

9. A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. Minghao Liu, Feifei Ma, Jun Yan. KSEM (2) 2018: 12-23.

10. Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. Linjie Pan, Ji-Wei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian Zhang. CP 2017.

11. Weak QMV algebras and some ring-like structures. Xian Lu, Yun Shang, Ruqian Lu, Jian Zhang, Feifei Ma. Soft Comput. 21(10), 2017.

12. 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.

13. A Fast and Practical Method to Estimate Volumes of Convex Polytopes. Cunjing Ge, Feifei Ma. FAW 2015.

14. SMT Solving for the Theory of Ordering Constraints. Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang. LCPC 2015.

15. Finding Orthogonal Latin Squares Using Finite Model Searching Tools. Feifei Ma and Jian Zhang. SCIENCE CHINA Information Sciences, 56(3): 1-9 (2013).

16. Integrating Standard Dependency Schemes in QCSP Solvers. Ji-Wei Jin, Feifei Ma, Jian Zhang. J. Comput. Sci. Technol 27(1),2012.

17. Solving Generalized Optimization Problems Subject to SMT Constraints. Feifei Ma, Jun Yan, Jian Zhang. FAW-AAIM 2012.

18. Faulty Interaction Identification via Constraint Solving and Optimization. Jian Zhang, Feifei Ma, Zhiqiang Zhang. SAT 2012.

19. Constraint solving techniques for software testing and analysis. Feifei Ma. ICSE (2) 2010.

20. Volume Computation for Boolean Combination of Linear Arithmetic Constraints. Feifei Ma, Sheng Liu, Jian Zhang. CADE 2009.

著作

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

奖项

2017年度王选新闻科学技术奖，一等奖
2017年度中国电影电视技术学会科学技术奖，二等奖

Last Modified: 2020/3/6