Jin Xing Lim is a Software Engineer at Pi Squared Inc., where they develop backend architecture and lead technical product initiatives. They previously held positions as a Technical Product Lead and have experience as a Formal Verification Engineer at Runtime Verification Inc., where they contributed to the ERCx tool suite for Ethereum smart contracts. Jin earned a PhD candidacy from the Singapore University of Technology and Design, focusing on mathematical logic, type theory, artificial intelligence, and blockchain. Additionally, they served as a lecturer at Temasek Polytechnic, teaching courses in mathematics and bioinformatics. Jin graduated with Second Class Honours from the National University of Singapore.
This person is not in the org chart
This person is not in any teams
This person is not in any offices