Formal methods, artificial intelligence, and logic in computer science – FRAME Lab

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

Posted on


Skip to content