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.
Wed 4 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 4 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
17:15 - 18:30 | |||
17:15 15mOther | Remembering Alan Jeffrey ICFP Papers and Events | ||
17:30 5mAwards | ICFP 2014 Most Influential Paper Award ICFP Papers and Events Marco Gaboardi Boston University | ||
17:35 5mAwards | Recognition of Distinguished Papers ICFP Papers and Events Brigitte Pientka McGill University | ||
17:40 5mTalk | SRC Awards ICFP Papers and Events | ||
17:45 10mOther | The functioning of ICFP ICFP Papers and Events Sam Lindley University of Edinburgh File Attached | ||
17:55 5mTalk | Diversity, equality, and inclusion at ICFP ICFP Papers and Events Alejandro Russo Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, Sweden | ||
18:00 10mOther | General Chair report ICFP Papers and Events Marco Gaboardi Boston University | ||
18:10 15mOther | PC Chair's report ICFP Papers and Events Brigitte Pientka McGill University | ||
18:25 5mOther | ICFP 2025 announcement ICFP Papers and Events Ilya Sergey National University of Singapore | ||
