Rafael Melo Macieira

He holds a degree in Computer Science from the Federal University of Sergipe - Brazil (2006), a master's degree (2011) and a PhD degree (2018), both in computer engineering from CIn / UFPE - Computer Center of the Federal University of Pernambuco - Brazil (2011). He is currently the Research, Development and Innovation Manager at the SENAI Innovation Institute for Infomation and Communication Technologies, in Pernambuco - Brazil, and is concluding his doctoral program at CIn / UFPE, focusing on the Formal Validation of cyber-physical systems (CPS). He has experience in Computer Science, with emphasis on Hardware, working mainly in areas such as Cyber-physical Systems, formal verification, reliable systems, design and analysis of embedded systems, virtual platforms, operating systems, device drivers and computer architecture. He also has experience with designing, implementing and synthesizing hardware. Advanced knowledge in C / C ++ languages, GCC compiler and GDB debugger, plus advanced knowledge in the Linux operating system. Has professional experience with the analysis and modeling of systems using UML, besides the development of Java EE and SE applications. Has practical experience with PostgreSQL, SQLServer, Oracle, MySQL and Caché DBMSs.

Possui graduação em Ciência da Computação pela Universidade Federal de Sergipe (2006), mestrado em 2011 e doutorado em 2018, ambos em ciência da computação pelo CIn/UFPE - Centro de informática da Universidade Federal de Pernambuco. Atualmente é gerente de pesquisa, desenvolvimento e inovação no Instituto SENAI de Inovação-TICs, em Pernambuco, onde também oi Pesquisador Industrial I e II. Tem experiência na área de Ciência da Computação, com ênfase em Hardware, atuando principalmente em áreas como Cyber-physical Systems, verificação formal, sistemas confiáveis, projeto e analise de sistemas embarcados, plataformas virtuais, sistemas operacionais, device drivers e arquitetura de computadores. Também tem experiencia com projeto, implementação e síntese de hardware. Conhecimento avançado nas linguagens C/C++, compilador GCC e debugger GDB, além de conhecimento avançando no sistema operacional Linux. Tem experiência profissional com o análise e modelagem de sistemas utilizando UML, além do desenvolvimento de aplicações Java EE e SE. Tem experiencia prática com os SGBDs PostgreSQL, SQLServer, Oracle, MySQL e Caché.