My name is Caio Raposo and I’m a MSc student in computer science at the Federal University of Minas Gerais (UFMG), member of the Compilers Laboratory under the supervision of Fernando M. Q. Pereira, currently interested in formal methods and programming languages.
None yet.