Up to 30% off — ends 7 Aug
ONLY00h00m00s
Up to 30% off — ends 7 Aug
ONLY00h00m00s
Ilya Sergey
Associate Professor
National University of Singapore (NUS)
Singapore
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do I reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Syntax
Cybersecurity
Programming Language
Fault-tolerant Systems
Formal Methods
Concurrent Programming
Load Balancing
Ask ApplyKite AI
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
Articles9
Collaborators2
Saman Amarasinghe
Massachusetts Institute of Technology
Leonidas Lampropoulos
Assistant Professor
University of Maryland
How do I reach out?
Sign in for free to see their profile details and contact information.