Research Areas

• Programming Languages & Software Engineering
• Systems & Networking
• Algorithms & Theory

Research Interests

• Applied Logic for Software Verification
• Design and Implementation of Programming Languages
• Static Program Analysis

Profile

Since November 2018, I am a tenure-track Associate Professor at Yale-NUS College (Singapore), holding a joint appointment with NUS School of Computing. From November 2015 till October 2018, I was a faculty at the Department of Computer Science of University College London. Prior to joining UCL, from I was a postdoc at IMDEA Software Institute. I defended my PhD thesis at CS Department of KU Leuven in 2012. I got my MSc degree in Mathematics and CS in 2008 from Dept. of Mathematics and Mechanics of Saint Petersburg State University. Before joining academia I worked as a software developer at JetBrains.

Current Projects

• CertiChain: A Framework for Mechanically Verifying Blockchain Consensus Protocols (funded by NSoE-TSS)
• Scalable Deductive Synthesis of Thread-Safe Concurrency (funded by MOE Tier 1 grant)
• Distributed System Optimizations as Network Semantics Transformations (funded by Google Faculty Research Award)

Selected Publications

• Safer Smart Contract Programming with Scilla
  Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, Ken Chan
  34th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2019) 

• Structuring the Synthesis of Heap-Manipulating Programs 
  Nadia Polikarpova and Ilya Sergey
  46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL’19)

• A True Positives Theorem for a Static Race Detector
  Nikos Gorogiannis, Peter O’Hearn, and Ilya Sergey
  46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL’19)

• Programming and Proving with Distributed Protocols
  Ilya Sergey, James R. Wilcox, and Zachary Tatlock
  45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'18)

• RacerD: Compositional Static Race Detection
  Sam Blackshear, Nikos Gorogiannis, Peter O’Hearn, and Ilya Sergey
  33rd ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA’18)

• Growing and Shrinking Polygons for Random Testing of Computational Geometry Algorithms
  Ilya Sergey
  21st ACM SIGPLAN International Conference on Functional Programming (ICFP’16)

• Mechanized Verification of Fine-grained Concurrent Programs
  Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee
  36th ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI’15)

Awards & Honours

• AITO Dahl-Nygaard Junior Prize for 2019
• OOPSLA 2019 Distinguished Artifact Award, “Safer Smart Contract Programming with Scilla”
• POPL 2019 Distinguished Paper Award for the work "Structuring the Synthesis of Heap-Manipulating Programs"
• Google Faculty Research Award recipient (2017). Google Inc

Teaching (2019/2020)

• YSC3248 Parallel, Concurrent and Distributed Programming (Yale-NUS College)
• YSC2229: Introductory Data Structures and Algorithms (Yale-NUS College)