Grupos de Pesquisa

Data da última atualização: 24 de julho de 2025.

• Acre (AC)

• Alagoas (AL)

  • Universidade Federal de Alagoas (UFAL)

    • Cyber - Engenharia de Sistemas Físicos-Cibernéticos (Applications of formal methods to software or hardware development, Applications of formal methods to intelligent systems, Formal methods for timed, real-time, hybrid, or safety-critical systems, Formal methods for service-oriented, cloud-based, or cyber-physical systems, Models of time, concurrency, security or mobility, Abstraction, modularization or refinement techniques, Model checking, Software certification, Correctness by construction, Teaching formal methods)

    • Engenharia de Sistemas Cognitivos (Applications of formal methods to software or hardware development, Applications of formal methods to intelligent systems, Formal methods for timed, real-time, hybrid, or safety-critical systems, Formal methods for service-oriented, cloud-based, or cyber-physical systems, Models of time, concurrency, security or mobility, Abstraction, modularization or refinement techniques, Static analysis, Model checking, Software certification, Correctness by construction, Teaching formal methods)

• Amapá (AP)

• Amazonas (AM)

  • Universidade Federal do Amazonas (UFAM)

    • Desenvolvimento de Software para Sistemas Embarcados Complexos (Applications of formal methods to software or hardware development, Formal methods for timed, real-time, hybrid, or safety-critical systems)

    • Laboratório de Inteligência Artificial Neurosimbólica (Applications of formal methods to software or hardware development, Applications of formal methods to intelligent systems, Abstraction, modularization or refinement techniques, Theorem proving, Enhancing Formal Methods tools and platforms with AI methods and techniques)

    • Verificação Automática de Software e Sistemas (Applications of formal methods to software or hardware development, Applications of formal methods to intelligent systems, Formal methods for timed, real-time, hybrid, or safety-critical systems, Formal methods for service-oriented, cloud-based, or cyber-physical systems, Logic and semantics for specification or programming languages, Models of time, concurrency, security or mobility, Abstraction, modularization or refinement techniques, Static analysis, Model checking, Software certification, Correctness by construction, Teaching formal methods)

• Bahia (BA)

  • Instituto Federal da Bahia (IFBA)

    • GSORT - Grupo de Pesquisa em Sistemas Distribuídos, Otimização, Redes e Tempo-Real (Logic and semantics for specification or programming languages, Abstraction, modularization or refinement techniques, Model checking, Correctness by construction, Teaching formal methods, formal methods for mobile computing)

  • Universidade Federal da Bahia (UFBA)

    • ToLOCA - Grupo de Pesquia em Teoria da Computação, Lógica, Otimização, Combinatória e Algoritmos (Applications of formal methods to intelligent systems, Logic and semantics for specification or programming languages, Domain theory, Type systems and category systems, Computation complexity of methods and models)

• Ceará (CE)

  • Universidade Federal do Ceará (UFC)

    • ParGO - Paralelismo, Otimização e Grafos (Logic and semantics for specification or programming languages, Formal methods for service-oriented, cloud-based, or cyber-physical systems, Type systems and category systems, Models of time, concurrency, security or mobility, Abstraction, modularization or refinement techniques, Model checking, Software certification, Correctness by construction, Teaching formal methods)

• Distrito Federal (DF)

  • Universidade de Brasília (UnB)

    • Grupo de Teoria da Computação (Applications of formal methods to software or hardware development, Correctness by construction, Logic and semantics for specification or programming languages, Term rewriting, Computational models, Type systems and category systems, Computation complexity of methods and models, Theorem proving, Teaching formal methods, Lógica e Semântica da Computação)

• Espírito Santo (ES)

  • Instituto Federal do Espírito Santo (IFES)

    • Nu[TeC]² : Núcleo de estudos em Técnicas e Teoria da Computação (Applications of formal methods to software or hardware development, Applications of formal methods to intelligent systems, Computational models, Model checking, Software certification, Teaching formal methods)

  • Universidade Federal do Espírito Santo (UFES)

• Goiás (GO)

  • Universidade Federal de Goiás (UFG)

    • EFFA - Estruturas Formais, Fundamentos e Aplicações (Applications of formal methods to software or hardware development, Logic and semantics for specification or programming languages, Formal methods for timed, real-time, hybrid, or safety-critical systems, Formal methods for service-oriented, cloud-based, or cyber-physical systems, Type systems and category systems, Static analysis, Model checking, Theorem proving, Software certification)

• Maranhão (MA)

• Mato Grosso (MT)

• Mato Grosso do Sul (MS)

• Minas Gerais (MG)

  • Universidade Federal de Minas Gerais (UFMG)

    • SMITE (Applications of formal methods to software or hardware development, Logic and semantics for specification or programming languages, Formal methods for service-oriented, cloud-based, or cyber-physical systems, Theorem proving, Software certification, Correctness by construction, Teaching formal methods)

  • Universidade Federal de Ouro Preto (UFOP)

    • LiVES - Linguagens de Programação, Verificação e Especificação de Software (Logic and semantics for specification or programming languages, Domain theory, Type systems and category systems, Static analysis, Theorem proving, Correctness by construction)

    • XR4Good (Applications of formal methods to software or hardware development, Logic and semantics for specification or programming languages, Term rewriting, Type systems and category systems, Static analysis, Theorem proving, Software certification, Correctness by construction, Teaching formal methods)

• Pará (PA)

  • Universidade Federal do Oeste do Pará (UFOPA)

    • Grupo de Estudo e Pesquisa em Computação Aplicada (Applications of formal methods to intelligent systems, Computational models)

• Paraíba (PB)

  • Universidade Federal de Campina Grande (UFCG)

    • Grupo de Práticas de Software (Applications of formal methods to software or hardware development, Logic and semantics for specification or programming languages, Formal methods for timed, real-time, hybrid, or safety-critical systems, Term rewriting, Models of time, concurrency, security or mobility, Abstraction, modularization or refinement techniques, Theorem proving, Teaching formal methods, Static analysis, Model checking)

• Paraná (PR)

  • Oystr

  • Universidade Estadual de Londrina (UEL)

    • Desenvolvimento de Sistemas Críticos (Applications of formal methods to software or hardware development, Formal methods for timed, real-time, hybrid, or safety-critical systems, Model checking)

  • Universidade Estadual de Maringá (UEM)

    • Grupo de Estudos em História e Filosofia da Lógica e Ontologia (História dos Métodos Formais)

  • Universidade Estadual do Norte do Paraná (UENP)

  • Universidade Tecnológica Federal do Paraná (UTFPR)

    • Grupo de Pesquisas em Processamento de Informação (Applications of formal methods to software or hardware development, Applications of formal methods to intelligent systems, Formal methods for service-oriented, cloud-based, or cyber-physical systems, Computational models, Abstraction, modularization or refinement techniques, Correctness by construction)

    • Laboratório de Sistemas de Inteligentes (Applications of formal methods to software or hardware development, Applications of formal methods to intelligent systems, Formal methods for timed, real-time, hybrid, or safety-critical systems, Formal methods for service-oriented, cloud-based, or cyber-physical systems, Model checking,  Formal Verification of Agents Multi-Agent Systems)

• Pernambuco (PE)

  • Universidade Federal de Pernambuco (UFPE)

    • CIn-TRUST (Applications of formal methods to software or hardware development, Computation complexity of methods and models, Formal methods for timed, real-time, hybrid, or safety-critical systems, Formal methods for service-oriented, cloud-based, or cyber-physical systems,  Logic and semantics for specification or programming languages, Models of time, concurrency, security or mobility, Abstraction, modularization or refinement techniques, Model checking, Theorem proving, Software certification, Static analysis, Correctness by construction, Teaching formal methods)

  • Universidade Federal do Agreste de Pernambuco (UFAPE)

  • Universidade Federal Rural de Pernambuco (UFRPE)

    • Grupo de Modelagem e Otimização de Sistemas (Applications of formal methods to software or hardware development, Formal methods for timed, real-time, hybrid, or safety-critical systems, Formal methods for service-oriented, cloud-based, or cyber-physical systems, Computational models, Computation complexity of methods and models, Models of time, concurrency, security or mobility)

• Piauí (PI)

• Rio de Janeiro (RJ)

  • IBM Research

  • Fundação Getulio Vargas (FVG)

  • Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio)

    • TecMF - Logical Reasoning (Logic and semantics for specification or programming languages, Computational models, Models of time, concurrency, security or mobility, Theorem proving, Teaching formal methods)

  • Universidade Estadual do Norte Fluminense Darcy Ribeiro (UENF)

  • Universidade Federal do Rio de Janeiro (UFRJ)

  • Universidade Federal Fluminense (UFF)

    • FRAME - Formal methods, Artificial Intelligence, and Logic in Computer Science (Logic and semantics for specification or programming languages, Models of time, concurrency, security or mobility, Model checking, Theorem proving, Software certification)

    • Grupo Trivial de Lógica (Logic and semantics for specification or programming languages, Type systems and category systems, Teaching formal methods)

    • Theoretical Computer Science Research Group (Applications of formal methods to software or hardware development, Logic and semantics for specification or programming languages, Teaching formal methods)

• Rio Grande do Norte (RN)

  • Universidade do Estado do Rio Grande do Norte (UERN)

  • Universidade Federal do Rio Grande do Norte (UFRN)

    • ForAll - Formal Methods and Language Laboratory (Applications of formal methods to software or hardware development, Logic and semantics for specification or programming languages, Models of time, concurrency, security or mobility, Abstraction, modularization or refinement techniques, Static analysis, Model checking, Theorem proving, Correctness by construction, Teaching formal methods)

• Rio Grande do Sul (RS)

  • Faculdades Integradas de Taquara (FACCAT)

  • Universidade Federal do Pampa (UNIPAMPA)

    • NP3 - Núcleo de Pesquisa em Pecuária de Precisão (Logic and semantics for specification or programming languages, Computational models, Computation complexity of methods and models, Abstraction, modularization or refinement techniques, Teaching formal methods)

  • Universidade Federal do Rio Grande do Sul (UFRGS)

    • Theoretical Computer Science (Applications of formal methods to software or hardware development, Logic and semantics for specification or programming languages, Formal methods for timed, real-time, hybrid, or safety-critical systems, Computational models, Models of time, concurrency, security or mobility, Abstraction, modularization or refinement techniques, Term rewriting, Theorem proving, Static analysis, Model checking, Teaching formal methods)

  • Universidade Regional do Noroeste do Estado do Rio Grande do Sul (Unijuí)

    • GCA - Grupo de Pesquisa em Computação Aplicada (Static analysis, Model checking)

• Rondônia (RO)

• Roraima (RR)

• Santa Catarina (SC)

  • Universidade do Estado de Santa Catarina (UDESC)

    • Função - Grupo de Pesquisa em Fundamentos da Computação (Abstraction, modularization or refinement techniques, Applications of formal methods to software or hardware development, Logic and semantics for specification or programming languages, Domain theory, Term rewriting, Computational models, Formal methods for timed, real-time, hybrid, or safety-critical systems, Type systems and category systems, Static analysis, Model checking, Models of time, concurrency, security or mobility, Theorem proving, Software certification, Correctness by construction, Teaching formal methods)

• São Paulo (SP)

  • Instituto Nacional de Pesquisas Espaciais (INPE)

  • Itaú Unibanco S.A.

  • Universidade de São Paulo (USP)

    • C4AI (Logic and semantics for specification or programming languages, Model checking, Theorem proving)

    • Estatistica Indutiva (Statistical Hypothesis Test)

• Sergipe (SE)

  • Universidade Federal de Sergipe (UFS)

    • Engenharia de Software (Applications of formal methods to software or hardware development, Formal methods for timed, real-time, hybrid, or safety-critical systems, Abstraction, modularization or refinement techniques, Petri Nets, Linear Logic)

• Tocantins (TO)