Marcos Vianna Villas Lecturer Curriculo Lattes http://lattes.cnpq.br/9212655972228646 Personal Website http://www.inf.puc-rio.br/~villas Email villas@puc-rio.br