F L A V I O - S O A R E S - C O R R Ê A - D A - S I L V A
http://www.ime.usp.br/~fcs


Associate Professor, Department of Computer Science, University of São Paulo

Researcher, Laboratory of Acoustics and Informatics

Researcher, Laboratory of Logics, Artificial Intelligence and Formal Methods

Engineer (Politechnic School, University of São Paulo, 1984)

MEng (Politechnic School, University of São Paulo, 1989)

PhD (Department of Artificial Intelligence, University of Edinburgh, 1992)

Livre-docente (University of São Paulo, 1999)