معرفی
Yong Kiam Tan is a research scientist at the Institute for Infocomm Research (A*STAR, Singapore) and holds a joint appointment as a Nanyang Assistant Professor at the College of Computing and Data Science, Nanyang Technological University (NTU, Singapore). He earned his PhD in Computer Science (Pure and Applied Logic) from Carnegie Mellon University, supported by a National Science Scholarship (BS-PhD) from A*STAR, Singapore.
His research focuses on
- Deductive verification and interactive theorem proving
- Applications in automated reasoning, compilers, formalized mathematics, hybrid systems, and cybersecurity (cryptography)
- Development of verified tools like the CakeML compiler and KeYmaera X for hybrid systems
His recent work spans formal verification of machine learning models, cryptographic protocols, and hybrid systems, with a strong emphasis on tool development and practical applications. Notable trends include integrating theorem proving with SAT solving and model-counting techniques for security verification.
Scientific awards include:
- CMU SCS Distinguished Dissertation Award 2022
- Distinguished Paper Award at CAV 2024
- Best Paper and Best Repeatability Evaluation Awards at HSCC 2022
- Peter Landin Prize at IFL'15
- Best Tool Paper Award at FM'19
He actively recruits students and postdocs for fully funded positions at NTU and A*STAR, and collaborates with researchers such as
- Wei-Lin Wu (A*STAR)
- Joe Watt (A*STAR)
- Ciaran McCreesh (University of Glasgow)
- Magnus Myreen (Chalmers University)
