KAIST School of Computing Colloquium