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 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 (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.