Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.

ID:16979139

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