La investigadora de IMDEA Software Niki Vazou ha sido galardonada con el premio al artículo distinguido en la conferencia ACM Sigplan Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2018 por el artículo “Gradual Liquid Type Inference". El congreso ha otorgado 4 premios entre los 59 artículos aceptados.
El artículo se ha realizado en colaboración con Éric Tanter (Universidad de Chile) y David Van Horn (Universidad de Maryland) y combina los sistemas de tipos “gradual” y “liquid” para ayudar en el diagnostico y correción de errores en programas.
