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
#RC3-01-03E, Cendana (YNC), AS3-06-16 (NUS SoC)
Office Phone: +65 6516 1903
Office Hours: Tue 10:30-12:00 (YSC3248) and Thu 4:30-5:45pm (YSC3208)
Availability: Outlook Calendar (takes a while to load)

I am a tenure-track Associate Professor at Yale-NUS College with a joint appointment at School of Computing of National University of Singapore. In 2015-2018, I was a faculty at University College London. Prior to that, I was a postdoc at IMDEA Software Institute. I hold a PhD in Computer Science from KU Leuven, and MSc in mathematics from Saint Petersburg State University. 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.

Some random facts about me:

Curriculum Vitae: [PDF]

What's New

Sep 18 Our work on compiling Scilla to LLVM will appear at 2020 Virtual LLVM Developers Meeting.
Aug 9 Yunjeong Lee and George Pîrlea join the team as a PhD students at NUS School of Computing. Welcome!
Apr 6 Our paper on mechanised verification of probabilistic properties of Bloom filters and their generalisations has been accepted to CAV 2020.
Dec 24 Our paper on enhancing deductive program synthesis with read-only permissions will appear at ESOP 2020.
Dec 23 My post on Composition in Distributed Systems has appeared in SIGPLAN PL Perspectives Blog.
Oct 24 Our work on Scilla has received a Distinguished Artifact Award at OOPSLA 2019.
Oct 8 I'm looking forward to give a keynote on the Scilla journey on October 11 at the 1st Workshop on Formal Methods for Blockchains in Porto. Here are the slides from my talk.

All news

Students and Research Associates

I am very fortunate to advise these brilliant students at NUS School of Computing and Yale-NUS College: I am also honoured to collaborate with these postdoctoral researchers at NUS SoC:
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


at Yale-NUS College and NUS School of Computing
at Summer Schools
at University College London


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: Fri Sep 18 17:49:35 +08 2020