I completed my PhD in Computer Science (Pure and Applied Logic) at Carnegie Mellon University, where I was supported by a National Science Scholarship (PhD) from A*STAR, Singapore.
I am an alumnus of the Logical Systems Lab, where I was fortunate to be advised by Prof. André Platzer.
Please get in touch with me (contacts below) if you are interested in collaborating on these topics.
My PhD thesis examined the proof theory of Differential Dynamic Logic (dL), in particular, the continuous fragment of dL, which allows users to syntactically reason about (systems of) ordinary differential equations.
I contributed to the KeYmaera X theorem prover for hybrid systems. Specifically, I developed much of its differential equation and switched system automation.
I am a developer of the CakeML compiler, which is formally verified in the HOL4 theorem prover.
I am also an amateur user of Isabelle/HOL, here are my AFP entries.
Preprints are made available below for your personal use. Please use the DOI links for the official publications.
Please let me know if you find any broken links or errors in the preprints.
(*) indicates alphabetical author order.
Yong Kiam Tan, Marijn Heule, Magnus O. Myreen
Software Tools for Technology Transfer (STTT). Extended version of our TACAS'21 paper. (doi)
Yong Kiam Tan, André Platzer
Formal Aspects of Computing (FAOC). Extended version of our FM'19 paper. (arXiv,doi)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Formal Methods in System Design (FMSD). Extended version of our FM'19 paper. (tool,arXiv,doi,ICSE'23 Showcase slides)
Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, Yong Kiam Tan
Journal of Automated Reasoning (JAR). Extended version of our IJCAR'18 paper. (link,doi)
André Platzer, Yong Kiam Tan (*)
Journal of the ACM (JACM). Extended version of our LICS'18 paper. (preprint,arXiv,doi)
Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer
Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony Fox, Scott Owens, Michael Norrish
Journal of Functional Programming (JFP). Extended version of our ICFP'16 paper. (preprint,doi)
Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, Scott Owens
PLDI 2023. (doi)
Katherine Kosaian, Yong Kiam Tan, André Platzer
James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer
Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, and Anthony Fox
ECOOP 2022. (doi)
Yong Kiam Tan, Stefan Mitsch, André Platzer
HSCC 2022. Best Paper Award and Best Repeatability Evaluation Award. (arXiv,doi,slides)
Katherine Cordwell, Yong Kiam Tan, André Platzer
Yong Kiam Tan, André Platzer
Yong Kiam Tan, André Platzer
Yong Kiam Tan, Marijn Heule, Magnus O. Myreen
Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, Yong Kiam Tan
Fabian Immler, Yong Kiam Tan (*)
Certified Programs and Proofs (CPP'20). (AFP entry,preprint,doi,slides)
Yong Kiam Tan, André Platzer
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Formal Methods (FM'19). Best Tool Paper Award. (tool,preprint,doi,slides,ICSE'23 Showcase slides)
Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony Fox
Programming Language Design and Implementation (PLDI'19). (preprint,doi)
Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer
André Platzer, Yong Kiam Tan (*)
Logic in Computer Science (LICS'18). (preprint (with appendix),arXiv,doi,slides, minor appendix corrections: 10 Jun 2019)
Son Ho, Oskar Abrahamsson, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan, Michael Norrish
International Joint Conference on Automated Reasoning (IJCAR'18). (preprint,doi,slides)
Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer
Programming Language Design and Implementation (PLDI'18). (preprint,doi)
Scott Owens, Michael Norrish, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan
International Conference on Functional Programming (PACMPL ICFP'17). (preprint,doi)
Anthony Fox, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar
Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony Fox, Scott Owens, Michael Norrish
International Conference on Functional Programming (ICFP'16). (preprint,doi,slides)
Scott Owens, Magnus O. Myreen, Ramana Kumar, Yong Kiam Tan
Yong Kiam Tan, Xinxing Xu, Yong Liu
Yong Kiam Tan, Scott Owens, Ramana Kumar
André Platzer, Yong Kiam Tan (*)
CMU-CS-17-117. (link, superseded by arXiv version and LICS'18 paper)
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan (doi)
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan. (doi)
Committee: André Platzer (Chair), Jeremy Avigad, Stefan Mitsch, Frank Pfenning, Joël Ouaknine.
CMU-CS-22-114. CMU SCS Distinguished Dissertation Award 2022. (link)
My undergraduate dissertation supervised by Ramana Kumar and Magnus Myreen. (link)
Email: tanyongkiam (AT) gmail.com (Personal)
Email: tan_yong_kiam (AT) i2r.a-star.edu.sg (Work)
Phone: (+65) 7 * (12345678 + 996193) (Email preferred)
Github: https://github.com/tanyongkiam
ORCiD: https://orcid.org/0000-0001-7033-2463
CV: please contact me through one of the methods above
A: It was the easiest option for me. If you are unable to (efficiently) find what you are looking for on this page, please let me know.