News | Group | Papers | Press | Projects | Talks | Teaching | Miscellanea

Ilya Sergey

Associate Professor (tenure track) at Yale-NUS College and NUS School of Computing
Lead Language Designer at Zilliqa
Postal Address:

Yale-NUS College, 28 College Avenue West
#01-501, Singapore 138533
Office Location:
#RC3-01-03E, Cendana College
Office Phone: +65 6516 1903
Availability: Outlook Calendar (it takes a while to load)

I am a tenure-track Associate Professor at Yale-NUS College (Singapore), holding a joint appointment with NUS School of Computing. I am also a Co-PI at NUS Crystal Centre. In 2015-2018, I was a faculty at University College London. Prior to that, I was a postdoc at IMDEA Software Institute. I received a PhD in Computer Science from KU Leuven in November 2012. Before joining academia I worked as a software engineer at JetBrains in IntelliJ IDEA team.

I do research in programming language theory, including, but not limited to types, semantics, software verification, and program synthesis. Lately, I have been mostly focusing on developing sound and scalable methodologies for building provably correct concurrent and distributed systems. I also designed and co-developed Scilla, a programming language for safe and secure smart contracts, used by Zilliqa, a Singapore blockchain start-up.

Curriculum Vitae: [PDF]

What's New

May 30 ICFP Programming Contest 2019 will take place from 21 June 10:00am UTC till 24 June 10:00am UTC. It is free to participate, so don't miss this chance to flex your programming muscle and have some fun!
May 21 Bryan Tan joins as a summer intern at Zilliqa. Welcome, Bryan!
May 2 Amy Zhu joins the team as an intern. Welcome, Amy!
May 1 Our paper on Exploiting The Laws of Order in Smart Contracts with Aashish Kolluri, Ivica Nikolić, Prateek Saxena, and Aquinas Hobor got accepted to ISSTA 2019.
Apr 17 I have been awarded the AITO Dahl-Nygaard Junior Prize, and will be giving an associated keynote at ECOOP'19 in July. Here's the related News Entry at NUS School of Computing page.
Mar 26 Will be serving on the programme committee for CPP 2020, a conference where you should submit your next masterpiece, formally verified in Coq (or any other proof assistant).
Mar 6 Yunjeong Lee joins the team as an intern. Welcome, Yunjeong!
Jan 31 Our POPL'19 paper on program synthesis, made it to NUS School of Computing news and to Yale-NUS College news.
Jan 9 I will be giving a talk on How to Bootsrap a Research Project at PLMW @ POPL'19.
Nov 28 A work-in-progress report on probabilistic verification of security properties of blockchain protocols will be presented by Kiran Gopinathan at CoqPL 2019.
Nov 12 Gave a talk entitled What We Talk about When We Talk about Formally Verified Systems at Blockchain and Cybersecurity Workshop 2018 hosted by National University of Singapore.
Nov 5 A paper on practical programming with distributed protocos (with Kristoffer Just Andersen), will appear at PADL 2019.
Oct 9 Two papers accepted at POPL 2019: on program synthesis via Separation Logic (with Nadia Polikarpova), and on proving no-false-positives for unsound static race detectors (with Nikos Gorogiannis and Peter O'Hearn).

All news

Students and Research Associates

I am very fortunate to work with these brilliant people:
Current and past affiliates

Recent Publications and Manuscripts

[All publications | DBLP | Google Scholar | CSAuthors]
Lecture notes

Selected Projects and Software


I am a also a creator of the La Clojure plugin for IntelliJ IDEA. It is no longer maintained, but its sources are available on GitHub.

In Press



Over the years, I have been very lucky to work on joint research projects with some great people:


I am married to CG artist Lilia Anisimova.

I am on Twitter as @ilyasergey.

Last time I checked, my Erdős number was 4.

The photo above is couresy of Elena Alhimovich. Here is my "official" photo, suitable for appropriate occasions. Yet another picture of mine by Jorge Cham, for I have contributed to the PHD Movie 2 on Kickstarter.

While living in Madrid, I enjoyed its inimitable atmosphere and delicious food. For the latter, this Maribel's Dining Guide to Madrid (kindly provided by Aleks Nanevski) always came in handy.

Last modified: Sat Jun 15 19:48:19 +08 2019