News | Publications | Blog | Teaching | Talks | Software | Miscellanea

Ilya Sergey

Lecturer (Assistant Professor) at University College London

Department of Computer Science
University College London
Gower Street, London WC1E 6BT
United Kingdom
Room 5.02, Malet Place Engineering Building
Office Phone: +44 (0) 20 7679 0319
Office hours: Wednesday, 14:00-15:00 (during the Spring term time)

My research interests dwell in the area of the programming language design and implementation. Currently, I am focusing on developing scalable and sound methodologies for reasoning about concurrent and distributed programs.

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.

Curriculum Vitae: [PDF]

What's new

I'm inviting applicants for a one-year postdoc position on specifying, verifying and composing distributed systems in Coq. Deadline is on May 1, 2017. Details and application forms can be found here.

I also have one fully funded PhD position on verification, distributed systems and mechanized theorem proving. Please, get in touch with me if you are interested and would like to apply.

Jan 20 PPLV is organising the 6th South of England Regional Programming Language Seminar (S-REPLS 6) in May 2017. This is a fun series of informal meetings in the south of England, so please consider attending and presenting!
Dec 15 An extended version of our POPL'14 paper on cardinality analysis featuring new cool evaluation of the analysis (im)precision has been accepted for publication in Journal of Functional Programming.
Nov 15 Announced a postdoc poisition on compositionally verified distributed systems. Details above.
Nov 1 I'm serving on the PC of the 1st Workshop on Trusted Smart Contracts. Submit your ideas on programmable cryptocurrencies!
Oct 3 Awarded with EPSRC First Grant on Program Logics for Distributed Systems.
Sep 25 Invited to serve on the PC of Static Analysis Symposium 2017.
Aug 27 Paper on specifying and verifying non-linearizable concurrent objects is accepted to OOPSLA 2016.

Recent publications

[All publications | DBLP | Google Scholar]
Lecture notes



I am a creator of the La Clojure plugin for IntelliJ IDEA. The plugin sources are publicly available on GitHub.

Check my GitHub profile for other my projects.


I'm on Twitter as @ilyasergey. I publish random thoughts about CS and academia in my Technical Blog (more posts to come soon). Some pictures from my travels and other events can be found on Instagram.

With the recently increased interest in the CS community to concurrency verification, this slide, which I've made sometime ago and which depicts the "flow of ideas" between modern concurrency logics, became very popular, so I decided to put it online for anyone who might want to use it in a presentation. I will keep it updated with more logics to come (and they will...). Feel free to drop me a line if you need the diagram's sources or want me to add your favourite logic, which is missing.

I am married to CG artist Lilia Anisimova.

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

Last modified: Fri Feb 17 18:42:01 GMT 2017