The line of Artificial Intelligence research has seven full-time teachers, with strong interaction with the other lines of the CFSP.

Main Research Themes

Formal Methods

  • Specification and Verification Program and Distributed Systems
  • Logic and Reasoning Automation
  • Logic Modal
  • Dynamic Logic
  • Knowledge and Belief Logic in Multi-Agent Systems
  • Logic Modal and Games
  • Model Checking
  • Algebras processes: CCS and-calculations
  • Combinatorial Optimization
  • Algebraic Computation

Machine Learning and Data Mining

  • Artificial Neural Networks
  • Programming in inductive logic (ILP)
  • Genetic Algorithms
  • Decision Trees
  • Bayesian Networks
  • Hybrid Systems

Logic Programming

  • Parallelism
  • Development Constraint Logic

Computational Neuroscience

  • Brain Functions Modeling


  • Software Engineering, Databases, Computational Biology, Electrical Systems, among others.