WHO'S WHO
學人會員履歷
數理化學群
會員編號 GPS2020120125
陳O廷
性別
男性
聯絡信箱
yutingc@chalmers.se
錄取之教育部獎學金學位別
教育部獎學金錄取年度
107
教育部獎學金名稱
教育部公費留學考試
教育部獎學金的學群
數理化學群
教育部獎學金學門
教育部獎學金研究領域
化學-材料化學
錄取之教育部獎學金學位別
教育部獎學金錄取年度
教育部獎學金名稱
教育部獎學金的學群
教育部獎學金學門
教育部獎學金研究領域
錄取之教育部獎學金學位別
教育部獎學金錄取年度
教育部獎學金名稱
教育部獎學金的學群
教育部獎學金學門
教育部獎學金研究領域
現職服務單位
Chalmers University of Technology
職稱
Phd student in Computer Science (formal verification)
最高學歷留學國家
瑞典
最高學歷留學院校
Chalmers University of Technology
曾獲非教育部獎學金名稱
Avancez
研究專長
Computer Science
Formal verification
Functional programming
Automatic theorem proving
個人網站
http://www.cse.chalmers.se/~yutingc/
希望在這個網站獲得
其他