Yong Kiam Tan

Assistant Professor, Nanyang Technological University

Researcher, Institute for Infocomm Research (I2R), A*STAR

  • Joined March 2025

Names

Yong Kiam Tan (Preferred)

Emails

****@ntu.edu.sg (Confirmed)
,
****@cs.cmu.edu (Confirmed)
,
****@gmail.com (Confirmed)
,
****@i2r.a-star.edu.sg (Confirmed)

Personal Links

Career & Education History

Assistant Professor
Nanyang Technological University (ntu.edu.sg)
2024 – Present
 
Researcher
Institute for Infocomm Research (I2R), A*STAR (i2r.a-star.edu.sg)
2022 – Present
 
PhD student
School of Computer Science, Carnegie Mellon University (cs.cmu.edu)
2016 – 2022
 
Undergrad student
University of Cambridge (cam.ac.uk)
2012 – 2015
 

Advisors, Relations & Conflicts

PhD Advisor
2016 – 2022
 

Expertise

Trustworthy Automated Reasoning
Present
 
Compiler Verification
Present
 
Hybrid Systems Verification
Present
 
Interactive Theorem Proving
Present