Genesis Stefan Muniz de Almeida

Possui graduação em Licenciatura em Informática pela Universidade Veiga de Almeida (2004) e mestrado em Informática pela Universidade Federal do Rio de Janeiro (2009). Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas

bachelor's at Licenciatura em Informática from Universidade Veiga de Almeida (2004) and master's at Computer Science from Universidade Federal do Rio de Janeiro (2009). Has experience in Computer Science, focusing on Logics and Program Semantics