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 (Singapore), holding a joint appointment with NUS School of Computing, where I am also a Co-PI at NUS Crystal Centre. 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]
|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. Download it from the publisher's site for free until 10 September 2019, or 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.|
|Jun 27||I will be giving a keynote talk at PODC 2019 on August 1.|
|May 30||ICFP Programming Contest 2019 will take place from 21 June 10:00am UTC till 24 June 10:00am UTC. It is free to participate, so don't miss this chance to flex your programming muscle and have some fun!|
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.