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