Hello, I’m Caio.

My name is Caio Raposo and I’m a PhD student in computer science at the Federal University of Minas Gerais (UFMG), member of the SMITE Laboratory under the supervision of Haniel Barbosa, currently interested in formal methods and programming languages.

Publications