Sérgio Vale Aguiar Campos

Ph.D., Carnegie Mellon University, School of Computer Science

Associate Professor at the Computer Science Dept. - UFMG

scampos@dcc.ufmg.br

Updated CV (Lattes format) (There is a link to English in the upper right corner. The version in English however, is missing several publications).

Research Interests

CNPq/NSF Research Project

Course on Automatic Verification (2000-2)

Address

Depto. de Ciência da Computação

Universidade Federal de Minas Gerais

Av. Antônio Carlos 6627

Belo Horizonte, MG, Brasil

31270-010

Office

DCC 4041

: 031-499-5877

DCC

UFMG

(Updated on 11/98)