Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

ID: 16979139

linkhttp://ilyasergey.net calendar_today26-10-2008 11:23:42