Valério Gutemberg de Medeiros Jr é professor do IFRN, com doutorado em Sistemas e Computação pela UFRN. Realizou estágio supervisionado na Aix-Marseille Université em parceria com a ClearSy. Tem ampla experiência em desenvolvimento de software, com foco em sistemas de informação para a indústria.

Atualmente, suas principais áreas de atuação e pesquisa incluem:

• Engenharia de Software
• Verificação de Software
• Inteligência Artificial

Também possui experiência em métodos formais, Testes de Software e IoT.

É professor do IFRN com doutorado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte. Após doutorado, realizou estágio supervisionado pela Aix-Marseille Université, em parceria com a ClearSy. Atua em Engenharia de Software, Verificação de Software e Teste de Software.

Doutorado em Sistemas e Computação (2011 - 2016)

Universidade Federal do Rio Grande do Norte
Título: Formally verified compilation with the B method
Orientador: David Boris Paul Déharbe
Palavras-chave: Métodos Formais; Método B; Tradução de modelos; Linguagem de montagem.

Mestrado em Sistemas e Computação (2008 - 2009)

Universidade Federal do Rio Grande do Norte
Título: Aplicação do Método B ao Projeto Formal de Software Embarcado
Orientador: David Boris Paul Déharbe
Bolsista: ANP, Brasil.
Palavras-chave: Engenharia de Software; Método B; Compilação formal; Assembly.

Graduação em Ciências da Computação (2003 - 2007)

Universidade Federal do Rio Grande do Norte
Título: Aplicação do método B para a construção de programas de Assemblagem
Bolsista: CNPq, Brasil.

Pós-doutorado

2017 – Aix-Marseille Université, França (Sistemas de Computação)
2019 – DIMAP/UFRN, Brasil (Engenharia de Software e Verificação de Software)
2024 – IMD/UFRN, Brasil (Engenharia de Software e Inteligência Artificial) [Em andamento]