Registered user since Wed 13 Sep 2017

Name: Abel Nieto

Country: Canada

Affiliation: Aarhus University

Personal website: https://abeln.github.io

Research interests: Formal Verification, Programming Languages, Compilers, Static Analysis

Contributions