About | Publications | Talks | Teaching | Software | Personal

This photo courtesy of Eugenia Iozefavichus

Ilya Sergey

Postdoctoral researcher at IMDEA Software Institute, Ph.D.

Address: IMDEA Software Institute
Campus Montegancedo
28223 Pozuelo de Alarcon, Madrid
Office:+34-91-101-2202 Ext. 4126
Twitter: @ilyasergey
Skype: ilya.sergey


I am currently a postdoc at IMDEA Software Institute, working with Aleksandar Nanevski and Anindya Banerjee.

My research interests dwell in the area of the design and implementation of programming languages, including but not limited to program semantics, certified programming, abstract interpretation, program transformations and refactoring techniques. I am particularly interested in developing expressive type systems and static program analyses for higher-order programs.

I graduated from Saint Petersburg Lyceum 239 in 2003 and received my Master degree in Mathematics and Computer Science from Saint Petersburg State University in 2008. Before joining academia I worked as a software developer in JetBrains Inc.

From November 2008 till November 2012 I was doing a PhD in iMinds-DistriNet research group at the Department of Computer Sciences of KU Leuven under supervision of Dave Clarke. During my doctoral studies I visited EPFL for two weeks in 2009, hosted by Martin Odersky, where I worked on a type system for virtual classes in Scala. I was a visiting PhD fellow at the Department of Computer Science of Aarhus University in 2010 and 2011 for three months in total, hosted by Olivier Danvy, conducting research on numerous topics concerning inter-deriving program semantics and constructing static program analyses, in collaboration with Jan Midtgaard, Matthew Might and David Van Horn. I was an intern in Programming Principles and Tools group at Microsoft Research Cambridge for twelve weeks in summer 2012 under supervision of Simon Peyton Jones and Dimitrios Vytiniotis, where I worked on refactoring and formalizing the demand analyser of Glasgow Haskell Compiler.

[CV | LinkedIn profile]

Recent publications

[DBLP | Google Scholar | ACM | ResearchGate]


Selected talks

Invited and informal talks, lectures and seminars. Paper-based 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.


Currently living in Madrid, I enjoy its inimitable atmosphere and delicious food. For the later, this Maribel's Dining Guide to Madrid (courtesy of Aleks Nanevski) always comes in handy.

Occasionally, I post some short non-technincal articles in my LiveJournal blog (in Russian). I also put online some pictures I've taken during my recent travels and other events (on Instagram and Picasa).

I am married to CG artist Lilia Anisimova.

Last modified: Thu Apr 10 10:46:02 CEST 2014