معرفی
Mauricio Ayala-Rincon is a Full Professor in Computer Science at the University of Brasília (Brazil) since 2009. He holds a Dr. rer. nat. in Informatics from Universität Kaiserslautern (Germany) and a Computer Science Engineering degree from Universidad de Los Andes (Bogotá, Colombia).
- Research Interests: Rewriting, Lambda Calculus, Type Theory, Nominal Systems, Unification
- Service: Program Committee member for CPP tracks at POPL 2019, 2020, and 2022
۰مقاله منتشرشده
