Nicolás Cardozo

ncardoz

Person. Into adaptive systems, programming languages, and dynamic verification. Assistant Professor @DISCuniandes @Uniandes

Twitter