Registered user since Tue 26 Jun 2018
Name: Mauricio Ayala-Rincon
Bio: Computer Science Engineer and Mathematician from the Universidad de Los Andes (Bogotá), Dr. rer. nat. in Informatics Universität Kaiserslautern (Germany). Since 2009, Full Professor in Computer Science at Universidade de Brasília (Brazil).
Affiliation: University of Brasília
Personal website: http://ayala.mat.unb.br
Research interests: Rewriting, Lambda Calculus, Type Theory, Nominal Systems, Unification
|CPP 2020||Committee Member in Program Committee within the CPP 2020-track|
|CPP 2019||Committee Member in Program Committee within the CPP 2019-track|