簡介
馮勇,男,漢族,1965年出生,四川寧南人,研究員,博士研究生,電子信息研究所所長,重慶市電子學會副理事長,中國科學院三期知識創新工程重要方向項目“自動推理及其在高新技術領域中的套用”的首席科學家,國家973項目基於混合計算的誤差可控算法負責人和自然科學基金重大研究計畫的子項目負責人。曾在中國科學院成都計算機套用研究所從事自動推理與機器證明的研究和軟體開發工作。
人物生平
工作十多年來,先後主持和參加了“多維問題數值解新技術”(國家自然科學基金19171086)、“數值解多維問題的分裂外推新技術”(國家自然科學基金19471075)、“基於區域分解的有限元分裂外推法”(國家自然科學基金19771078)、國家“863計畫”( 863-306-05-01-02)、“求解高維問題的有限元分裂外推技術”(中科院“九五”青年科學基金)等國家重大課題。已發表的論文二十多篇。
1997年4月-1997年9月受香港理工大學的邀請,到香港為其開發了“運移聚積史模型(二維三相)的數值模擬軟體”。從香港回來後,受四川石油勘探開發研究院委託,為中國石油天然氣總公司研究開發了“三維二相單井具有大裂縫的多重介質的數值模擬”軟體;2000年受中國石油天然氣總公司石油勘探開發科學研究院的委託,為其開發了三維二相的盆地數值模擬軟體。目前參加中國科學院的知識創新工程,在其資助下,研究和開發了“基於Linux下的高性能符號計算軟體平台”。