人物簡介,人物履歷,研究領域,
人物簡介
胡振江，男，1966年3月出生，日本國立情報學研究所教授，北京大學講席教授。
人物履歷
分別於1988年和1991年在上海交通大學計算機科學與工程系獲得學士和碩士學位，1996年在日本東京大學信息工學專業獲博士學位。
曾擔任東京大學情報理工學研究科擔任助理教授和副教授 (1997-2008)，日本國立信息學研究所任教授/系主任 (2008-2019), 東京大學情報理工學研究科擔任教授 (2018-2019), 北京大學講座教授 (2015-2018), 是海外傑出青年科學基金獲得者。
研究領域
胡振江教授長期從事計算機軟體與理論領域的研究，在程式語言的設計與支撐環境的實現、函式式語言、程式變換及最佳化、程式推導及驗證、並行程式設計及最佳化、軟體設計方法學等領域做出了很多開創性工作並取得了傑出的研究成果。近年來在程式演算及其在自動並行化的套用、雙向變換的語言設計、以及軟體的求精過程的形式化上，取得了重大突破，在程式語言的頂級國際會議（POPL 2009, PLDI 2007, ICFP 2010, ICFP 2007, ESOP 2010, ESOP 2012）和軟體工程的頂級國際會議（ICSE 2012, MODELS 2010，FSE 2009, ASE 2007）上相繼發表了若干最新成果，得到同行的高度評價。2008年獲日本軟體科學會程式設計和程式語言研究會最優論文獎（每年1-2名）、日本軟體科學會高橋獎勵獎 （每年2-3名），2011年獲日本軟體學會基礎研究獎（每年2-3名），中國國家自然科學基金海外傑出青年學者合作研究基金（2006-2008，合作者：北京大學梅宏教授）。
