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

Ilya Sergey

Lecturer (Assistant Professor) at University College London
Affiliate Tutor for UCL Computer Science

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 (Internal: 30319)
Calendar: (it takes a while to load)
Office hours: Thursday, 14:00-15:00, during the Spring term.

My research interests dwell in the area of the programming languages and program verification. Currently, I am focusing on developing scalable and sound methodologies for reasoning about concurrent and distributed software.

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

Aug 10 Awarded an eight-month grant by Research Institute in Verified Trustworthy Software Systems for the project Automated Reasoning with Fine-Grained Concurrent Collections, in collaboration with Nikos Gorogiannis.
Jul 20 I'm co-chairing (together with Yves Bertot) the CoqPL'18 workshop, co-located with POPL 2018 in Los Angeles, CA in January. Details and submission guidelines here.
May 18 I'm chairing the ICFP 2017 Student Research Competition. A good poster presentation is a great chance to show off your (or your PhD students') research, and it will drastically improve your chances to get valuable feedback before submitting a POPL paper. There are also money prizes, so go ahead and submit an extended abstract! Deadline is July 10.
Apr 24 Invited to serve on the PC of 15th Asian Symposium on Programming Languages and Systems (APLAS 2017) and Scala Symposium 2017.
Apr 12Paper on verified concurrent data structures with changeable-post-factum histories is accepted to ECOOP 2017.
Mar 24I'm giving an invited talk at Programming Languages and Compilers conference in Rostov-on-Don on 3-5 April 2017.
Mar 6The registration for the 6th South of England Regional Programming Language Seminar (S-REPLS 6), which will take place at UCL on May 25, 2017, is now open. Please, indicate your attendance by participating in this poll.
Mar 5 Our position paper on type theory for compositionally verified distributed systems will appear at SNAPL 2017.
Feb 20 I'm organising a Scenario Week Competition on Computational Geometry problems, as a part of UCL course on Software Engineering. The concluding slides from the competition are here.

All news

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: Tue Sep 12 16:04:59 BST 2017