Since December 2020, Alessander Botti Benevides is a public servant at "Prefeitura Municipal de Vila Velha" (PMVV). Prior to that, from August 2015 to August 2020, he was a postdoctoral researcher at the (PPGI) of the (UFES), Brazil. He concluded his doctorate in Computer Science at the , at the (UNITN, Italy). During his Ph.D. studies, he spent three months abroad at the , England (8/2014 - 10/2014). He graduated in in 2007 and received his in 2010, both by UFES. He has experience in ontological analysis; Formal Ontology; formalization in first-order logic, modal logics, and description logics (in particular, , the formal underpinning of OWL2); analysis and specification of structural and behavioral constraints by means of the declarative language Alloy; using SAT solvers; programming in Haskell; and simulating logical theories by means of the automatic generation of models, having built a graphical editor for the building, verification and validation of OntoUML models. Â Â Â Â Â Â Â Â
©