159
reputation
2

Alessander Botti Benevides

Alessander Botti Benevides is currently a postdoctoral researcher at the Graduate Program In Computer Science (PPGI) of the Federal University of Espírito Santo (UFES), Brazil. He concluded his doctorate in Computer Science at the International Doctoral School on Information and Communication Technology, at the University of Trento (UNITN, Italy). During his Ph.D. studies, he spent three months abroad at the University of Exeter, England (8/2014 - 10/2014). He graduated in Computer Engineering in 2007 and received his master's degree in Informatics in 2010, both by UFES. He has experience in ontological analysis; Formal Ontology; formalization in first-order logic, modal logics and description logics; and simulation of logical theories by means of automatic generation of models, having built a graphical editor for the building, verification and validation of OntoUML models.

Go vegan!         

  • Vitória, Brazil
  • Member for 7 years, 10 months
  • 0 profile views
  • Last seen Aug 11 at 18:30