巨量資料之邏輯與知識表達：巨量資料之中隱藏許多有用的資訊與知識，我們將以形式邏輯的方法來探討相關 的知識表徵與推理問題。
巨量資料相關之高速演算法設計：近年來大量資訊很容易在線上取得。我們研究如何利用這些巨量資料進行快速計算。研究題目包含傳染性疾病散播模型之快速動態計算理論與演算法組實驗室模擬、疾病網路之建構和視覺化呈現、電腦對局理論和實作、健康雲跨領域研究_資訊檢索技術及資訊安全技術之研發、數位醫療計畫。
實驗室指導教授（依筆劃順序）
王大為 http://www.iis.sinica.edu.tw/pages/wdw/index_zh.html
徐讚昇 http://www.iis.sinica.edu.tw/pages/tshsu/index_zh.html
廖純中 http://www.iis.sinica.edu.tw/pages/liaucj/index_zh.html
實驗室成員
研究員：王大為 研究員、徐讚昇 研究員、廖純中 研究員
博士後研究：潘美連 博士、曹筱玫 博士
研究助理：蔡數真、林庭羽、張建智、蔡榮傑、郭英仁、吳偉彬、薛祖鵬、林俊佑、柯宜臻、黎葳、游惟傑
碩士研究生：郭麗莎(台大)、林欣儀(台大)、張宇強(交大)、梁中瀚(中央)、張珵容(台大)、蕭睆文(台大)、陳約廷(台大)
實驗室秘書：林宛萱
合作對象：台北大學陳志昌副教授、中原大學蔣益庭助理教授、中原大學張紘睿助理教授、中華民國象棋文化協會郭武昌老師(棋力陸段)、國立陽明交通大學潘美連助理教授