|
Postal Address: |
Yale-NUS College, 28 College Avenue West #01-501, Singapore 138533 |
| Office: |
#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) |
| Email: | |
| 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
Kickstarter.
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.
