header
Ilya Sergey
Førsteamanuensis ved @NUSComputing. Programmeringsspråk, verifisering, distribuerte systemer. Tidligere @UCLCS, @IMDEA_Software, @JetBrains. PhD fra @KU_Leuven.