Instituto de Ciências Exatas/Departamento de Ciência da Computação/Haniel Moreira Barbosa
Haniel Moreira Barbosa

Haniel Moreira Barbosa

BARBOSA, H.BARBOSA, Haniel

Professor adjunto do Departamento de Ciência da Computação, atua na área de Métodos Formais, com foco em Verificação Formal, Síntese de Programas e Satisfatibilidade Módulo Teorias. Tem experiência em projetos acadêmicos internacionais, tendo sido pesquisador pós-doutor na Universidade de Iowa, nos Estados Unidos.

Última atualização do Lattes
17/07/2026
Redes de pesquisa
LattesGoogle ScholarORCID
Artigos
5
Lattes · 100% com DOI
Orientações
23
Lattes
Patentes
0
Lattes
Coautores
69
Lattes
Produção por ano2011–2026
1
3
1
1
4
5
7
4
3
5
6
2
2
4
20112016202020232026
Programas de pós-graduação1
Top coautores10
01
Tinelli, Cesare
36
02
Reynolds, Andrew
35
03
Barrett, Clark
30
04
Andres Nötzli
19
05
Aina Niemetz
13
06
Mathias Preiner
13
07
Fontaine, Pascal
13
08
Daniel El Ouraoui
10
09
Yoni Zohar
10
10
Pascal Fontaine
6
Últimas publicações