馮勇，男，中華人民共和國公民，電子科技大學博導。
基本介紹
- 中文名：馮勇
- 國籍：中國
- 民族：漢族
- 畢業院校：四川師範大學
- 職務：電子科技大學博導
- 性別：男
人物經歷,研究方向,主要成就,主要貢獻,
人物經歷
1983年9月至1987年7月在四川師範大學數學系學習，畢業獲學士學位。 1990年9月至1993年5月在武漢華中理工大學套用數學系計算數學專業學習，畢業獲碩士學位。 2000年9月至2003年6月在中國科學院成都計算機套用研究所計算機軟體與理論專業學習，畢業並獲得工學博士學位。
研究方向
計算機代數與定理機器證明、基於自動推理的密碼學技術研究。
主要成就
2000年11月被聘為中國科學院成都計算機套用研究所副研究員，同時被聘為科學院研究生院碩士導師；2004年5月被聘為中國科學院成都計算機套用研究所研究員，6月被聘為科學院研究生院博士導師；2007年4月調入電子科技大學計算機科學與工程學院，被聘為研究員。
主要貢獻
他的主要研究領域是自動推理及其在高新技術領域中的套用，研究方向包括：1）數值符號混合計算，他與張景中院士合作解決了多年以來未曾解決數值近似計算與準確結果之間的鴻溝問題，為近似結果與準確之間架起了一座橋樑。2）符號計算, 他主要研究多項式的正定性判定問題以及Dixon 結式的快速計算； 3） 基於自動推理的技術代數攻擊方法研究，提出了基於Dixon 結式的代數攻擊算法，該算法一公布到網上，就引起了同行專家們的高度關注，已被多篇論文引用。 4）在研究多項式的正定性判定問題方面，目前大多只能針對變數是有限的Tarski模型內的問題給出判定算法，最近，他與楊路研究員等合作者在這一方面取得了突破，給出Tarski模型外的一類正定性判定算法。最近五年他在國際國內重要學術刊物上發表30多篇論文。
