Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal
Mauricio Ayala-Rincon

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).

Country: Brazil

Affiliation: University of Brasília

Personal website: http://ayala.mat.unb.br

Research interests: Rewriting, Lambda Calculus, Type Theory, Nominal Systems, Unification

Contributions

CPP 2019Committee Member in Program Committee within the CPP 2019-track
Show activities from other conferences

Using general profile