Write a Blog >>
Mauricio Ayala-Rincon

Registered user since Tue 26 Jun 2018

Name:Mauricio Ayala-Rincon

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


Show activities from other conferences

POPL 2020-profile
View general profile