Raposo, Alberto, Department Computer Science, PUC-Rio, Brazil