header
Ilya Sergey
Доцент @NUSComputing. Языки программирования, верификация, распределённые системы. Бывший @UCLCS, @IMDEA_Software, @JetBrains. Доктор философии @KU_Leuven.