Programs and Courses
Graduate Program in Computer Science
Lines of Research
- Theory of Computation
- Logics
- Artificial Intelligence
Foreign languages used
- English
Activities developed
FRAME Lab. is a research group in the development of techniques, applications and interactions of formal methods for software engineering, artificial/computational intelligence regarding multi-agent systems, knowledge/belief revision and logics for the specification and reasoning of dynamic systems. We are part of Insituto de Computação at Universidade Federal Fluminense.
Study background required
- Computer Science, Mathematics, Philosophy (with emphasis on Logic)
- Basic knowledge in one of the following areas: logic, algorithms, probability or artificial intelligence