header
Ilya Sergey
Profesor asociado en @NUSComputing. Lenguajes de programación, verificación, sistemas distribuidos. Ex-@UCLCS, @IMDEA_Software, @JetBrains. Doctorado de @KU_Leuven.