新加坡Prof Dong Jin Song 咨詢
有蟲友了解新加坡國(guó)立大學(xué)Dong Jin Song（董勁松）教授嗎？想進(jìn)他的組，不知道組里風(fēng)格和老板風(fēng)格是什么樣的，希望了解的蟲友給解答一下，謝謝！
返回小木蟲查看更多
今日熱帖
猜你喜歡
板塊導(dǎo)航
- 網(wǎng)絡(luò)生活
- 資源共享
- 化學(xué)化工
- 專業(yè)學(xué)科
- 科研生活
- 生物醫(yī)藥
- 材料
- 計(jì)算模擬
- 學(xué)術(shù)交流
- 出國(guó)留學(xué)
- 注冊(cè)執(zhí)考
24小時(shí)熱帖
換一批
應(yīng)助之星
- 下載小木蟲APP
- 與700萬(wàn)科研達(dá)人隨時(shí)交流
-
二維碼
-
IOS
-
安卓
京公網(wǎng)安備 11010802022153號(hào)
這里找效率很低，可以試試找他們組的中國(guó)學(xué)生，不妨一問(wèn)
這樣，還可以找文獻(xiàn)
董勁松是新加坡國(guó)立大學(xué)計(jì)算機(jī)學(xué)院教授。他的研究領(lǐng)域包括形式化方法、安全保障系統(tǒng)、概率推理、可信機(jī)器學(xué)習(xí)和運(yùn)動(dòng)策略分析。
他創(chuàng)建的PAT驗(yàn)證系統(tǒng)在2018年獲得了第20屆ICFEM最具影響力的系統(tǒng)。
他也是NASA雜志《軟件工程與方法論》（ACM Transaction）的編輯委員會(huì)委員。
，
別沉，還有金幣