Victor Borges Ferreira Gomes

Pesquisador na Universidade de Cambridge junto ao grupo REMS (Rigorous Engineering of Mainstream Systems). Entre os meus interesses incluem: verificação formal, algebras computacionais (Kleene algebra), lógica, semântica e linguagens de programação.