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

Applications

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

 

Faculty

• Carlos Eduardo Pedreira, Ph.D., 1987 (Responsável)
• Edmundo Albuquerque de Souza e Silva, Ph.D., 1984 
• Gerson Zaverucha , Ph.D., 1990