Ilya Sergey
Has grant
Associate Professor
SingaporeResearch Interests
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Dr. Ilya Sergey is an Associate Professor at the National University of Singapore. His research interests include program synthesis, concurrent data structures, and verification techniques, as highlighted by his recent articles such as "Inductive Synthesis of Inductive Heap Predicates" and "Mechanised Hypersafety Proofs about Structured Data". He actively contributes to the field of computer science, particularly in leveraging Rust types and ensuring the safety of heap-manipulating programs.
Recent Grants
Grant: Close
Automated Reasoning with Fine-Grained Concurrent Collections
Open Date: 2017-08-01
Close Date: 2018-06-01
Grant: Close
Program Logics for Compositional Specification and Verification of Distributed Systems
Open Date: 2017-01-01
Close Date: 2018-11-05
Articles (9)
Year:
2025
Year:
2024
Year:
2024
Year:
2023
Year:
2023
Year:
2023
Year:
2023
Year:
2022
Year:
2021
Collaborators (2)
Saman Amarasinghe
Massachusetts Institute of Technology
Leonidas Lampropoulos
Assistant Professor
University of Maryland
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.