CS undergraduate student at Federal University of Minas Gerais (UFMG).
Undergraduate research student currently working on the Carcara proof checker.
Programming languages: C++, C, Python, TypeScript, Rust and Go.
LinkedIn: @vinisilvag
Reach out at vinicius.svgomes@gmail.com