header
Ilya Sergey
Associate Professor di @NUSComputing. Bahasa pemrograman, verifikasi, sistem terdistribusi. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD dari @KU_Leuven.