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