Yong Kiam TAN

Dr. Yong Kiam TAN is a Nanyang Assistant Professor in the College of Computing and Data Science at Nanyang Technological University, Singapore. He also holds a joint appointment as a research scientist at the Institute for Infocomm Research, A*STAR, Singapore. He completed his PhD in Computer Science (Pure and Applied Logic) at Carnegie Mellon University, advised by Prof. André Platzer; his PhD dissertation was awarded CMU's School of Computer Science Distinguished Dissertation Award 2022.

Dr. Tan's research interests lie in applications of deductive verification and interactive theorem proving in areas such as automated reasoning, compilers, formalized mathematics, hybrid systems, and security (cryptography).