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

研究领域

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

教育背景

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

工作经历

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