Yong Kiam Tan (Preferred)
Yong Kiam Tan
Assistant Professor, Nanyang Technological University
Researcher, Institute for Infocomm Research (I2R), A*STAR
Joined
March 2025
Names
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
Expertise
Trustworthy Automated Reasoning
Present
Compiler Verification
Present
Hybrid Systems Verification
Present
Interactive Theorem Proving
Present
Publications
Co-Authors
- Alejandro Gómez-Londoño
- Alexander Mihajlovic
- Andreas Lööw
- Andrew Sogokon
- André Platzer
- Andy Oertel
- Anthony C. J. Fox
- Bohua Zhan
- Bora Jeong
- Ciaran McCreesh
- David Mohaisen
- Derek Khu
- Emin Karayel
- Eva Darulova
- Fabian Immler
- Hailin Li
- Hannes Ihalainen
- Heiko Becker
- Hengjun Zhao
- Hira Taqdees Syeda
- Hrutvik Kanabar
- Jae Hong Seo
- Jakob Nordström
- James Gallicchio
- Jeremias Berg