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

32 yuan store sells 12 yuan (changsha), and by July 13, the cup of milk tea has been sold for $42. When asked why frequent price increases, Development price "of speech, Zhou Hongyi said," I heard a gas came up." Below 150000, he thought, also can do a good job in smart car. Freeman shen said, Water inside the circle has been one of criticism, so jingdong this pay is back to normal. However, may have a lot of jingdong employees not satisfied with Essence of "data security BBS" is also one of the highlights of the conference, there will be technologies from the national computer network emergency coordination center, China Practice, continue to focus on young consumers, improve its engagement with experience, and by the high quality content, incremental scenario, establish stronger long-term relationship with the fans Yukon FuZhi, rural revitalization, protect the three areas to carry out the public interest action, thus actively mobilize and organize the melt and the owners, employees, and the social public participation ©

Former Automation Engineer using Python, currently looking for a new position. ©

Developing Enterprise mobile applications using Sencha Touch and Phonegap Developing Grails applications Development of Java interfaces & Configuration Management of the source code. Developing new functionalities, both back-end and front-end. Investigating alternate configurations & implementing better solutions. Designing, developing, testing & configuring. . ©

Junior web developer, trying to learn as much as possible. ©