名稱 邏輯與資料庫研究室
分機 401
位置 401
參與教授 陳偉松 (Tony Tan)