基本資料

img_1451290311354.jpg picture
 
English Name/英文名
YIH-KUEN TSAY
 
全名
蔡益坤
 
Tel
+886-2-3366-1189
 
Email
tsay@ntu.edu.tw
 
個人網頁
 
ORCID
 
Scopus Author ID
 
載入中.... 12 0 20 0 false
 
rp08164_QRCORE_1_2.png picture
 

學歷

載入中.... 13 0 20 0 false

現職

載入中.... 14 0 20 0 false

經歷(Experience)

載入中.... 15 0 20 0 false

研究領域

正規軟體驗證
時序邏輯與自動機
軟體安全
語意化全球資訊網