Machado Porto, Fábio André, Laboratório Nacional de Computação Científica, Brazil