Gustavo Santos Teixeira

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Produções bibliográficas

• TEIXEIRA, G. S. ; BARRETO, F. M. . Modelagem e Análise Formal de Jogos de Estratégia com Tomadas de Decisão. In: X CONEPE, 2025, Jataí. Anais do CONEPE - 10a Edição, 2025.

• TEIXEIRA, G. S. ; BARRETO, F. M. . Modelagem e Análise Formal de Jogos de Estratégia com Tomadas de Decisão. In: Congresso Nacional de Ciências Exatas e Tecnológicas, 2025, Jataí. Anais do Congresso Nacional de Ciências Exatas (CONACET) 2025, 2025.

• TEIXEIRA, G. S. ; BARRETO, F. M. . Modelagem e Análise Formal de Jogos de Estratégia com Tomadas de Decisão. 2025. (Apresentação de Trabalho/Congresso).

• TEIXEIRA, G. S. ; BARRETO, F. M. . Modelagem e Análise Formal de Jogos de Estratégia com Tomadas de Decisão. 2025. (Apresentação de Trabalho/Congresso).

• TEIXEIRA, G. S. . Minicurso - Inteligência Artificial e Seu Impacto na Sociedade. 2024. (Curso de curta duração ministrado/Outra).

Projetos de pesquisa

• 2025 - 2025

  Estudos de Métodos Formais em Engenharia de Software, Descrição: Este projeto tem como objetivo promover o estudo dos métodos formais para o desenvolvimento de metodologias de modelagem e análise para sistemas a eventos discretos. Em particular, os sistemas que serão explorados por este projeto de pesquisa dizem respeito aos jogos eletrônicos e sistemas de controle de satélites e colisão de detritos espaciais. Os sistemas de vídeo games e sistemas de satélites possuem semelhanças quanto a existência de fluxos de eventos bem definidos e as mudanças do funcionamento do sistema devido a eventos externos. Vídeo games são considerados sistemas complexos, uma vez que esse tipo de sistema tem como principal objetivo entreter o usuário, e por isso é preciso criar cenários e narrativas cada vez mais elaborados que submergem o usuário no mundo virtual. Cumprir todas as exigências para fazer com que um jogo seja atrativo não é uma tarefa trivial. Dessa forma, os projetos de jogos são tarefas complexas. Portanto, é necessário encontrar novos conceitos e ferramentas para suprir os desafios do desenvolvimento de jogos. Os sistemas de controle de disponibilidade de satélite e predição de colisão de detritos espaciais também são considerados sistemas complexos, pois integram vários módulos com diferentes fluxos de informações/dados. Um dos problemas que acomete esse tipo de sistema é a falha na transmissão de sinal. Essas falhas podem acontecer por diversos motivos, entre eles a falha de funcionamento do sistema e eventos não planejados como, por exemplo, a colisão do satélite com detritos espaciais. Nesse sentido, os métodos formais podem ser utilizados no desenvolvimento desses sistemas para especificar e analisar propriedades do funcionamento, evitando assim possíveis falhas, e também no desenvolvimento de sistemas capazes de calcular a probabilidade de colisão de satélites com detritos espaciais que estão em órbita.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Gustavo Santos Teixeira - Integrante / William Gabriel Queiroz da Silva - Integrante / Hugo Gabriel Batista Borges - Integrante / Michel Oliveira da Silva - Integrante / Letícia Batista Borges - Integrante / João Vitor Gonçalves Batista - Integrante / Kellyton Mourao Alves da Silva - Integrante / Franciny Medeiros Barreto - Coordenador.

Prêmios