Doutor Sérgio Vale Aguiar Campos
Pesquisador Principal (PI)
O LUAR é coordenado pelo Dr. Sérgio Vale Aguiar Campos, que recebeu o título de Bacharel em Ciência da Computação pela Universidade Federal de Minas Gerais (UFMG – Belo Horizonte – Brasil) em 1986, o título de mestre em Ciência da Computação em 1990 pela mesma insituição e o título de PhD em Ciência da Computação pela Carnegie Mellon University (USA) em 1996 com o tópico Verificação Formal de Sistemas de Tempo-Real. Durante o seu doutorado ele atuou na INTEL na área de Verificação Formal de Circuitos de Hardware. Após terminar seu doutorado trabalhou como Pós-doutor na Carnegie Mellon University (CMU) e no Massachusetts Institute of Technology (MIT). Atualmente o Dr. Sérgio é professor titular do Departamento de Ciência da Computação da Universidade Federal de Minas Gerais (DCC – UFMG). Durante a sua carreira o Dr. Sérgio tem trabalhado em vários temas como Verificação formal de hardware e software, desenvolvimento e implementação de sistemas multimídia, problemas de sincronização e administração de redes de telecomunicações, Bioinformática, LIMS e Sistemas de gerenciamento de dados Biomédicos. Seus incluem desenvolvimento, análise e verificação de sistemas de Tempo-Real, hardware e software em geral. O Dr. Sérgio foi o PI do Projeto do “Computador Popular”, que produziu um computador de baixo custo para uso escolas e instituições de baixa renda, o qual teve ampla divulgação no país e na imprensa internacional.