Since August 2018, I has worked as Research Associate at Department of Computer Science, University of Oxford with Anthony W. Lin on Algorithmic Verification Of String-Manipulating Programs. From September 2017 to August 2018, I took several short-term postdoc positions under Aquinas Hobor and Jaffar Joxan. My CV can be found here.
For a brief background, I was a NUS undergraduate student (2007-2012) studying Double-Degree Program in Computer Science and Pure Mathematics (a list of taken courses can be found here. After receiving two first-class bachelor’s degrees in 2012, I officially (and seriously) began my research career as a CS PhD student in NUS (2013-2017) under the President Graduate Fellowship Scheme. During my PhD studies,I was very fortunate to be supervised by Aquinas Hobor and mentored by Anthony W. Lin.
I am interested in both the practical applications and theoretical foundations of Computer Science. In particular, my research topics include (but are not limited to) developing logical frameworks/(certified) decision procedures for program verification, as well as establishing the decidability and computational complexity of the underlying logics.
I usually hit the gym three times a week to maintain a healthy lifestyle. I am also a fan of hiking, cycling and swimming. I have experience in growing indoor hydroponic herb garden (sweet basil, thai basil, thyme, dill).
Feel free to connect with me on Facebook!