Jin Xing Lim

Jin Xing Lim received his B.Sc. in Mathematics from the National University of Singapore and his Ph.D. in Engineering Systems and Design from the Singapore University of Technology and Design, where he worked on interactive theorem proving and blockchain applications. His broader interests include mathematics, logic and the formalization of both mathematics and software engineering. It is his interest of applying mathematical logic to the real world which leads him to join the RV team.