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 from the Universität Kaiserslautern (Germany). Since 2009, a Full Professor in Computer Science at Universidade de Brasília (Brazil). In July 2026, I moved to the Institute for Mathematics and Statistics, Federal University of Goiás.
Country:Brazil
Affiliation:Federal University of Goiás / University of Brasília
Personal website: https://mayalarincon.github.io
GitHub: https://github.com/mayalarincon
Research interests:Rewriting, Lambda Calculus, Type Theory, Nominal Systems, Unification
Contributions
Using general profile