Team Members
PhD Student
Co-Director
Prateek is Dean’s Chair Assistant Professor at School of Computing. Prateek’s research interests lie in cryptocurrencies and security. He has authored over 50 papers in computer security and programming languages. Prateek has co-founded Anquan Capital and Zilliqa Research. He has received the MIT TR35 Top 10 Innovators in Asia Under 35, the Young Research Award at NUS, the Sakrison Memorial Award for outstanding dissertation work at Berkeley, the AT&T Best Applied Security Paper Award, and several other best paper awards.
Ilya Sergey
Co-PI
Ilya takes up a tenure-track Assistant Professorship at Yale-NUS College (Singapore) starting November 2018. He is presently a Lecturer (Assistant Professor) at University College London (UK). His main interests are in programming languages (PL), program analysis and formal verification. In recent years, Dr Sergey has mainly been concerned with developing scalable methods for building trustworthy concurrent and distributed software with application to consensus protocols and blockchains, but his earlier work was advancing the state of the art in static analysis for higher-order languages and PL design.
Aquinas Hobor
Co-PI
Aquinas is currently an Assistant Professor with a joint appointment between Yale-NUS College and the School of Computing at National University of Singapore. From 2008-2011 he was a Lee Kuan Yew Postdoctoral Fellow at the School of Computing at the National University of Singapore. Dr. Hobor's cryptocurrency research focuses on semantics, verification and machine-checked proof.
Ivica Nikolic
Postdoctoral Researcher
Ivica has been working at the National University of Singapore since July 2017 with his focus on blockchain research. Prior to his current position, he worked at Nanyang Technological University where he did cryptanalysis of symmetric-key primitives and design of algorithms. He has designed Maiam and EthRacer - computer tools that automatically check if Ethereum smart contracts are susceptible to devastating exploits and bugs, which has successfully analyzed 1 million smart contracts and found 30 thousand contracts with problems.
Haifeng Yu
Co-PI
Haifeng is currently an Associate Professor (with tenure) at Department of Computer Science, National University of Singapore. Previously, he was a Researcher at Intel Research Pittsburgh. Haifeng received his PhD from Duke University in 2002. Haifeng's current research interests cover the general areas of distributed computing, distributed algorithms, communication complexity, applied algorithms in networking, and distributed systems security. He has published in various premier publication venues, such as JACM, PODC, SIGCOMM, MobiCom, Transactions on Networking, and IEEE S&P. Some of his papers have won best paper awards, including a Best Paper Award in SIGCOMM.
Keith B Carter
Co-Director
Keith consults worldwide with business and government leadership on actionable intelligence, strategy, design thinking and human capital. A practitioner with 23 years' experience, Keith joined the National University of Singapore in 2012. In his role as Associate Professor, School of Computing, Keith advises businesses and teaches the principles and foundations of the AI, Blockchain, Cloud, and Data, the ABCDs of the Economy and also serves as Deputy Director of the Advanced Computing for Executives. Keith is the author of the best seller “Actionable Intelligence: A guide to achieving results with big data fast!” and is a regular speaker on expert panels and conferences worldwide, including with Gartner, the Financial Times, The Economist and TEDx.