Person. Working on programming languages, and (dynamic) verification. Enjoyer of adaptive and distributed systems. Associate Professor @flaglaboratory.bsky.social @DISCuniandes @Uniandes
Also live(ish) at @ncardozo@fediscience.org