Regular biography
Ilya Sergey is an Associate Professor at the School of Computing, National University of Singapore, where he leads the Verified Systems Engineering lab. His research focuses on programming language design and implementation, distributed systems, software verification, and program synthesis. He has received several distinguished paper awards at POPL and PLDI, as well as the 2019 Dahl-Nygaard Junior Prize and Yale-NUS Distinguished Researcher award. His work includes projects on automated proof evolution for verified software systems and practical automated testing of distributed systems. He has also contributed to research on smart contract programming and heap-manipulating program synthesis.
Scholar-generated biography
Ilya Sergey is an Associate Professor at the National University of Singapore, specializing in Programming Languages, Program Verification, Program Synthesis, and Distributed Systems. His research focuses on developing formal methods for verifying and synthesizing correct programs, particularly in the context of blockchain and distributed systems. He has contributed to the design of languages like Scilla for safer smart contract programming and has worked on tools for static analysis, race detection, and resource management in concurrent and distributed environments. His work emphasizes the integration of formal verification techniques with practical programming paradigms to enhance software reliability and security.