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

Ilya Sergey

Lecturer at University College London, Ph.D.


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)

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 February 1, 2017. Details and application forms can be found here.

At the moment, 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.

Short bio

I am a lecturer (Assistant Professor) in the Programming Principles, Logic and Verification group at University College London.

My research interests dwell in the area of the programming languages design and implementation. I am mostly interested in the design of scalable, robust, and intellectually manageable methodologies for program verification and analysis.

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 Department of Computer Sciences 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 Microsoft Research Cambridge. I got my MSc degree in Mathematics and Computer Science 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]

Recent publications

[DBLP | Google Scholar | ACM | ResearchGate]

Lecture notes

Drafts in submission



Selected talks

Invited and informal talks, workshop presentations, lectures and seminars. Conference talks are in the proceedings section.


I am a creator and a maintainer 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 and Picasa.

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: Thu Jan 12 14:20:09 GMT 2017