header
Ilya Sergey
Professeur associé à @NUSComputing. Langages de programmation, vérification, systèmes distribués. Ex-@UCLCS, @IMDEA_Software, @JetBrains. Doctorat de @KU_Leuven.