Instituto de Ciências Exatas/Departamento de Ciência da Computação/Sergio Vale Aguiar Campos
Sergio Vale Aguiar Campos

Sergio Vale Aguiar Campos

CAMPOS, S. V. A.Campos, Sérgio V.A.Campos, SérgioCAMPOS, SÉRGIO VALE AGUIARCAMPOS, SERGIO V. A.CAMPOS, SERGIOCAMPOS, S.CAMPOS, SÉRGIO V. A.

Professor associado, atuando na área de Ciência da Computação, com ênfase em verificação formal, model checking simbólico e sistemas de tempo real. Coordena pesquisas em Bioinformática, focando em sistemas de gerência de dados biológicos. Possui formação em instituições de renome, incluindo a Carnegie Mellon University.

Última atualização do Lattes
18/02/2026
Redes de pesquisa
LattesORCID
Artigos
39
Lattes · 56% com DOI
Orientações
42
Lattes
Patentes
3
Lattes
Coautores
265
Lattes
Produção por ano1989–2024
1
1
1
2
6
5
2
6
10
3
2
8
7
6
6
4
3
5
6
2
8
6
6
6
6
3
5
2
4
4
6
3
1
2
19891999200820162024
Programas de pós-graduação2
Permanente
Top coautores10
01
Alessandra C FariaCampos
40
02
EDMUND CLARKE
21
03
J AlmeidaUFMG
ICX-Departamento de Ciência da Computação
14
05
MARIUS MINEA
11
06
Alex Borges
10
07
Adriano PereiraUFMG
ICX-Departamento de Ciência da Computação
10
09
Glória R FrancoUFMG
ICB-Departamento de Bioquímica e Imunologia
9
10
José M OrtegaUFMG
ICB-Departamento de Bioquímica e Imunologia
8
Últimas publicações
2022
Detection of cheese whey illegally added to milk using machine learning methods associated with Fourier Transform Infrared
Aceitos / no prelo