Rafael Castro Gonçalves Silva

Master student in Computer Science, interested in formal methods and type systems for programming languages.

Mestrando de Ciência da Computação com interesse em métodos formais e sistemas de tipos para linguagens de programação.