Thiago Mendonça Ferreira Ramos

Atualmente é estudante de doutorado em Informática da Universidade de Brasília. Tem experiência na área de Ciência da Computação, com ênfase em métodos formais aplicados a terminação de programas. Também possui experiência no desenvolvimento de ferramenta para verificaçao de sistemas de iteração usuário-máquina (IVY workbench) e na verificação formal de propriedades de segurança de protocolos em cascata. Estudou a gradução em Bacharelado Ciência da Computação na Universidade de Brasília (2014) com graduação sanduíche em Licenciatura em Ciências da Computação na Universidade do Minho, Braga, Portugal.

graduation at Ciência da Computação from Universidade de Brasília (2014), graduation at Licenciatura em Ciências da Computação from Universidade do Minho (2013) and master's at Computer Science from Universidade de Brasília (2017). Has experience in Computer Science, focusing on Computer Science, acting on the following subjects: criptografia, operações aritméticas, números de mersene, protocolos em cascata and transformação de base.