Education

Formal Education/Degree

• Doctoral’s degree in Computer Science: Software Engineering and Artificial Intelligence, Universidade Federal Fluminense, Brazil, 2017 – ongoing

• Master’s degree in Computer Science: Software Engineering and Artificial Intelligence, Universidade Federal Fluminense, Brazil, 2016 

• Bachelor’s degree in Computer Science, Universidade Federal Fluminense, Brazil, 2014

Winter and Summer Schools

• Khipu Latin American Meeting and Summer School in Artificial Intelligence, Universidad de la República, Engineering School,  Montevideo, Uruguay, 2019

• Winter School in Engineering and Computer Science on Formal Verification, Hebrew University of Jerusalem, Jerusalem, Israel, 2017

Advertisement