Theory of Computation Mathematical Logic and Fundamentals; Theory of Computation The research is focused on the development of mathematical and formal structures in deduction and computation. Specifically, logical frameworks such as rewriting systems, the lambda calculus, explicit substitutions, and nominal systems are studied and their applicability in computation and deduction investigated. Collaborators include foreing and national co-authors: César Muñoz, Maribel Fernández, Fairouz Kamareddine, Flávio L.C. de Moura, Daniel Ventura, among others. Lines of Research Rewriting Theory Type Theory Formal and Computational Logic Proof Theory Equational and Formal Deduction Activities Theory of Computation seminar Events Publications Who we are Daniele Nantes Sobrinho MSc supervisorApplications of Formal Structures in Equational Deduction and Computational Models Maurício Ayala Rincon PhD and MSc supervisorApplications of Rewriting Theory, Types and Proof in Formalization and Deduction
