Luiz Manoel Rocha Gadelha Júnior

Possui graduação em Matemática pela Universidade de Brasília (1997), mestrado em Ciência da Computação pela Universidade de Brasília (2000) e doutorado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (2012). Atualmente é Tecnologista Pleno no Laboratório Nacional de Computação Científica. Tem experiência nas áreas de gerência de dados científicos, computação de alto desempenho e segurança computacional, atuando principalmente nos seguintes temas: proveniência, workflows científicos paralelos e distribuídos, bioinformática e informática na biodiversidade.

graduate at Matemática from Universidade de Brasília (1997) and master's at Ciências da Computação from Universidade de Brasília (2000). Has experience in Computer Science, focusing on Database, acting on the following subjects: aritmética de presburger, dedução automática, segurança em grades computacionais, sistemas de reescrita de termos and infraestruturas de chaves públicas.