Name:João Batista Pereira Matos Júnior

Country:Brazil

Affiliation:Sidia Instituto de Ciência e Tecnologia

Research interests:Machine Learning, Formal Verification, Software Engineering