Person. Into adaptive systems, programming languages, and dynamic verification. Associate Professor @FlaGlab @DISCuniandes @Uniandes @[email protected]

ID: 268181178

linkhttp://flaglab.github.io calendar_today18-03-2011 08:58:04