معرفی
Yong Kiam Tan is a researcher affiliated with the Institute for Infocomm Research at A*STAR. He actively contributes to academic communities through roles such as Program Committee member for CPP 2024 and committee member for the ML Family Workshop 2025.
His research focuses on formal verification and programming languages, particularly in bridging automated reasoning with proof-checking systems. Recent work explores iterative refinement in theorem proving and enhancing trustworthiness in software verification frameworks.
Conference contributions include papers on CakeML-based automated reasoning (2023) and bidirectional proof-checking integration (2025), reflecting interests in logic in computer science and trustworthy systems. No scientific awards or student advising details are available in the provided data.
