Talk’s Title: The Sleeping Beauty

João Araújo

Full Professor, Departament of Mathematics, FCT-UNL

Areas of Interest: computational algebra and automatic theorem proving in semigrups, groups and combinatory

https://www.dm.fct.unl.pt/pessoas/docentes/joao-jorge-ribeiro-soares-goncalves-de-araujo

Short Bio

My work involves producing and using AI Theorem Proving (AITP) tools to advance algebra, creating new applications to prove theorems, automatically generate and answer conjectures, and transfer knowledge across mathematics. My undergraduate students are given the project of developing new algebraic classes and generalizing to them theorems that are known in particular algebras, resulting in complex proofs that far surpass human capability. My research also explores the interface between permutation groups and transformation semigroups, with a focus on theoretical computer science. To summarize, I aim to leverage AITP to address intricate mathematical problems and further our comprehension of algebra and its relevance to computer science.