劉楊，新加坡南洋理工大學(NTU) 計算機學院教授，NTU網路安全實驗室主任。HP-NTU實驗室主任，新加坡國家卓越衛星中心副主任，網路安全公司Scantist 聯合創始人，專攻軟體工程、網路安全和人工智慧領域。
基本介紹
- 中文名：劉楊
- 外文名：LIU YANG
人物介紹,
人物介紹
劉楊，新加坡南洋理工大學(NTU)計算機學院教授，NTU網路安全實驗室主任、HP-NTU公司實驗室項目主任以及新加坡國家卓越衛星中心希轎副主任。
於2019年榮獲大學領袖論壇講席教授殼射煉。劉楊博士專攻軟體驗證，軟體安全和軟體工程,其研究填補了形式化方法和程式分析中求樂櫻理論和實際套用之間的空白，評估了軟體的設計與實現以確保高安全性。
目前為止，已經在頂巴糠戶級會議和頂級期刊上發表了超過300篇文章。還獲得多項著名獎項，包括MSRA fellowship, TRF Fellowship,南洋助理教授，TanChin TuanFellowship, Nanyang Research Award 2019, NRF Investigatorship 2020,並且在ASE、FSE、甩洪境立ICSE等頂級笑射鴉想會議上獲得10項最佳論文獎以及最具影響力軟體獎。影元婚
