This line includes research related to artificial intelligence, theory of computation and optimization, in topics such as algorithms and complexity, machine learning, deep learning, program logic and semantics, formal methods for computation, proof theory and automatic theorem proving.
Fechar