Logotipo VLibras VLibras 
O conteúdo desse website pode ser acessível em Libras usando o VLibras
Victor Borges Ferreira Gomes

Victor Borges Ferreira Gomes

Graduado com louvor em Engenharia da Computação no Politécnico de Turim, Itália. Fez mestrado (diplôme d’ingenieur) em TI e Computação no Institut National des Science Appliquées em Lyon, França. Seu doutorado é sobre a aplicação de métodos algébricos para verificação de software, realizado na Universidade de Sheffield, Inglaterra.

Sua área de pós-doutorado, na Universidade de Cambridge, é sobre a semântica formal de linguagem de programação, com ênfase na linguagem C.