Name:Ilya Sergey

Bio:

I am a tenured Associate Professor at National University of Singapore. I do research in programming language design and implementation, software verification, distributed systems, and program synthesis.

Before moving to Singapore, I was a faculty at University College London in 2015-2018. Prior to that, I was a postdoc at IMDEA Software Institute. I hold a PhD in Computer Science from KU Leuven, and an MSc in mathematics from St Petersburg University. Before joining academia I worked as a software engineer at JetBrains.

Country:Singapore

Affiliation:National University of Singapore

Research interests:Programming Languages, Concurrency, Static Analysis, Program Verification, Program Synthesis