IIS

FOCUS

  • 恭賀鐘楷閔博士榮獲2020年中央研究院年輕學者研究著作獎
  • 生物資訊實驗室
  • 電腦系統實驗室
  • 資料探勘與機器學習實驗室
  • 多媒體技術實驗室
  • 語言與知識處理實驗室跑馬燈
  • 網路實驗室banner
  • 程式語言與形式方法實驗室
  • 計算理論實驗室
  • 開放式災害管理系統
  • 卓越演講系列影片紀錄

ANNOUNCEMENTS

  • 排版用圖片 Congratulations to Dr. Kai-Min Chung, being awarded for the 2020 Junior Research Investigators of Academia Sinica Research Award
  • 排版用圖片 Congratulations to Dr. Wei-Yun Ma for being promoted to Associate Research Fellow, effective May 25, 2020.

SEMINARS

WORKSHOPS & CONFERENCES

IIS NEWSLETTER

News Letter

PH.D. PROGRAM

RECRUITMENTS

  • Research Lab of Dr. De-Nian Yang Postdoctoral Fellow
  • The Formal Verification Lab led by Dr. Yu-Fang Chen Postdoctoral Position in Program Analysis & Verification