人才隊伍
研究員、博士生導師
馮勇,2003年6月在中國科學(xué)院研究生院獲得工學(xué)博士學(xué)位。為中國科學(xué)院三期知識創(chuàng )新工程重要方向項目“自動(dòng)推理及其在高新技術(shù)領(lǐng)域中的應用”的首席科學(xué)家,國家973項目“基于混合計算的誤差可控算法”、國家自然科學(xué)基金重大研究計劃 “基于符號-數值計算的誤差可控算法及應用”、國家重點(diǎn)研發(fā)計劃“變革性技術(shù)關(guān)鍵科學(xué)問(wèn)題”重點(diǎn)專(zhuān)項“隱私保護數據處理的數學(xué)方法”等子課題負責人,主持3項自然科學(xué)基金面上項目,入選第三批重慶市學(xué)術(shù)技術(shù)帶頭人?,F從事計算機推理與定理機器證明的研究工作,曾在油藏數值模擬、盆地數值模擬和自適應光學(xué)仿真系統的研究中取得重要成果,與張景中院士共同開(kāi)創(chuàng )了自動(dòng)推理中的零誤差計算學(xué)科方向,在國內外本領(lǐng)域著(zhù)名雜志和會(huì )議上發(fā)表學(xué)術(shù)論文60多篇。
電子信息技術(shù)研究所
重慶電子協(xié)會(huì )副理事長(cháng)
2017年獲得重慶市勞動(dòng)模范榮譽(yù)
1. Feng Y, Chen J W. On zero-error computation (in Chinese). Sci Sin Math, 51: 3–16, 2021
1. 隱私保護數據處理的數學(xué)方法(編號: 2020YFA0712303),國家重點(diǎn)研發(fā)計劃“變革性技術(shù)關(guān)鍵科學(xué)問(wèn)題”重點(diǎn)專(zhuān)項,子課題負責人,200萬(wàn)元,2020年12月-2025年11月