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
Skills

Posted on

25/07/2019