Docente da linha de pesquisa

Kenny Vinente dos Santos

Sistemas de Controle e de Automação Modernos.

Doutor em processamento de sinais e sistemas de controle aplicados a telecomunicacoes.

Contato

kenny-vinente-dos-santos@homolog.ufam.dev • (92) 90000-0000

Google Scholar Lattes LinkedIn Website

Perfil

Sobre

Doutor em processamento de sinais e sistemas de controle aplicados a telecomunicacoes.

Formação

Formação acadêmica

Doutorado

UFAM

2010 • Engenharia Elétrica

Pesquisa

Linhas e temas

Verificação Formal e Sistemas Embarcados

Garantia de segurança e correção matemática para software crítico.

Indústria 4.0 e Digital Twins

Digitalização e IoT Industrial.

Projetos

Projetos relacionados

Participante

AICodeRepair: Towards Self-Healing AI Code with Large Language Models and Formal Verification

Em Andamento

Participante

Otimização Guiada por Contraexemplo Aplicada à Programação Diária da Operação Eletroenergética usando as Teorias do Módulo da Satisfatibilidade

Em Andamento

Orientações

Discentes e egressos (2)

Em Andamento

Larissa Mendes Costa

verificação formal de controladores PID

Mestrado

Concluídas

Diego Martins Carvalho

Controle aplicado: estudo de caso em controle robusto aplicado a microrredes

Doutorado • 2022

Ensino

Robótica Móvel
Controle de Sistemas

Distinções

Prêmios e distinções

Best Student Paper Award

Workshop e-Controls 2022

Atuação institucional

Cargos e funções

Membro do grupo de pesquisa e-Controls

Colaborações

Colaborações documentadas

Participa das atividades de colaboração do e-Controls junto a parceiros nacionais e internacionais.