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

Ilya Sergey

Lecturer (Assistant Professor) at UCL

Department of Computer Science
University College London
Gower Street, London WC1E 6BT
United Kingdom
Room 5.02, Malet Place Engineering Building
Office Phone: +44 20 7679 0319 (Internal: 30319)
Calendar: (it takes a while to load)

I do research in programming language theory, including, but not limited to types, semantics, and software verification. Lately, I have been mostly focusing on developing sound and scalable methodologies for building provably correct concurrent and distributed systems (with applications to blockchains and smart contracts). For my work, I write a lot of mechanised proofs in Coq, as well as functional code in Scala, OCaml, and Haskell.

Since November 2015, I am a member of the Programming Principles, Logic and Verification group at the Department of Computer Science of University College London. Prior to joining UCL, from December 2012 to October 2015, I was a postdoc at IMDEA Software Institute. From November 2008 to November 2012, I was a research assistant in the CS Department of KU Leuven, where I obtained my PhD. During my doctoral studies I was a visiting PhD fellow in the Department of Computer Science of Aarhus University and a research intern in the PPT group at MSR Cambridge. 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.

If you are looking for the "CSL Family Tree" slide, you can find it here. Other slides from my recent talks are here.

Curriculum Vitae: [PDF]

What's New

I will be moving to Singapore in November 2018 to join Yale-NUS College as an Assistant Professor.
Aug 15 I am looking forward to visit Sukyoung Ryu and Hongseok Yang and their groups at KAIST in Daejeon on August 23-28.
Aug 14 On August 21, I will be giving a series of lectures on implementation and verification of distributed systems and their applications at SIGPL Summer School 2018 in Seoul (yes, that page is entirely in Korean, but, even if you are, just like me, not a Korean speaker, you can still try to identify the titles of my talks there).
Aug 6 Scilla, a strongly typed intermediate language for smart contracts developed by Zilliqa, is now open-sourced: here's the repository, and here's a new shiny web page with tutorials and documentation. Contributions are welcome!
Jul 20 Got promoted to an Associate Professor of Computer Science at UCL, effective 1st October 2018.
Jul 6 Our paper on RacerD, an industrial-scale compositional static race detector, developed at Facebook, with Sam Blackshear, Nikos Gorogiannis, and Peter O'Hearn, is conditionally accepted at OOPSLA 2018. Here's the preprint.
Jun 20 Kiran Gopinathan and Oscar King join the group as research interns for Summer 2018. They will be working on implementation and verification of blockchain protocols.
Jun 6 Amrit and I gave a long interview to Epicenter about Scilla and formal verification of smart contracts.
Jun 1 Next year, I will be serving on the Programme Committees of PLDI 2019 and OOPSLA 2019. Looking forward for reading lots of (your) exciting submissions on types, logics, compilers, verification, and program synthesis!
Mar 21 I am thrilled to be amongst the recipients of the Google Faculty Research Award 2017 and looking forward to advance the state of the art in verified optimisations for distributed systems. Here is the full list of this year recipients.
Mar 7 I am really excited to join the amazing Zilliqa team as an advisor on formal methods to collaborate on safe and secure programming languages for smart contracts.

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]
Lecture notes

In Press

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.

Check my GitHub profile for my other projects.



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.

My Erdős number can be found here (you can view this MathSciNet page from your university network). Last time I checked it 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 Aug 17 00:23:39 BST 2018