Yale-NUS College, 28 College Avenue West
#01-501, Singapore 138533
||#RC3-01-03E, Cendana (YNC), AS3-06-16 (NUS SoC)|
|Office Phone:||+65 6516 1903|
|Office Hours:||Wed 5:15-7:00pm (@YNC, during academic term)|
|Availability:||Outlook Calendar (it takes a while to load)|
I am a tenure-track Associate Professor at Yale-NUS College with a joint appointment at School of Computing of National University of Singapore. In 2015-2018, I was a faculty at University College London. Prior to that, I was a postdoc at IMDEA Software Institute. I hold a PhD in Computer Science from KU Leuven, and MSc in mathematics from Saint Petersburg State University. Before joining academia I worked as a software engineer at JetBrains in IntelliJ IDEA team.
I do research in programming language theory, including, but not limited to types, semantics, software verification, and program synthesis. Lately, I have been mostly focusing on developing sound and scalable methodologies for building provably correct concurrent and distributed systems.Some random facts about me:
Curriculum Vitae: [PDF]
|Apr 6||Our paper on mechanised verification of probabilistic properties of Bloom filters and their generalisations has been accepted to CAV 2020.|
|Dec 24||Our paper on enhancing deductive program synthesis with read-only permissions will appear at ESOP 2020.|
|Dec 23||My post on Composition in Distributed Systems has appeared in SIGPLAN PL Perspectives Blog.|
|Oct 24||Our work on Scilla has received a Distinguished Artifact Award at OOPSLA 2019.|
|Oct 8||I'm looking forward to give a keynote on the Scilla journey on October 11 at the 1st Workshop on Formal Methods for Blockchains in Porto. Here are the slides from my talk.|
|Sep 17||Delighted to be awarded a National Satellite of Excellence in Trustworthy Software Systems grant on my CertiChain project. An advert for postdoc positions will follow soon.|
|Sep 6||Our paper on Scilla, a smart contract language of Zilliqa blockchain will appear at OOPSLA 2019.|
|Sep 3||Our paper QED at Large: A Survey of Engineering of Formally Verified Software has been published in the journal on Foundations and Trends in Programming Languages. Drop us a line if you need a copy.|
|Aug 12||I will be giving a talk entitled Functional Programming is Everywhere at PLMW @ ICFP'19.|
|Aug 10||Kiran Gopinathan joins the team as a PhD student at SoC. Welcome, Kiran!|
|Aug 7||My post What Does It Mean for a Program Analysis to Be Sound? has appeared in SIGPLAN PL Perspectives Blog.|
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.
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.
Last time I checked, my Erdős number 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
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.