美國南佛羅里達大學鄭昊博士來校訪問

    應我校電子工程學院電路CAD研究所所長李玉山教授的邀請，美國南佛羅里達大學計算機科學與工程系鄭昊博士于2006年5月19日---22日來我校講學訪問。
    鄭昊博士1993年獲得西北工業大學電子工程專業學士學位，1998年和2001年在美國猶他大學分別獲電子工程專業碩士和博士學位。鄭昊博士曾在Lufthansa Airlines中國公司和IBM Microelectronics公司工作，目前任美國南佛羅里達大學計算機科學與工程系助理教授。主要從事計算機系統設計與設計自動化算法的研究，具體包括：并發系統的計算機輔助驗證，系統設計的一次生成即保證無誤的方法（correct-by-construction methods），驗證設計以及自動化智能系統設計等。

此主題相關圖片如下：

    
    5月19日，鄭昊博士在科技樓A902會議室做了題為"計算機輔助驗證（Computer Aided Verification）"的學術報告，報告會氣氛活躍，大家踴躍提問，可謂受益匪淺。此外，鄭昊博士分別與電子工程學院電路CAD所和計算機學院的相關人員進行了座談，雙方商討了研究生聯合培養以及教學合作、科研合作等事宜。
                              （電子工程學院電路CAD所、國際合作與交流處）