CS undergraduate student at Federal University of Minas Gerais (UFMG).
Undergraduate research student currently working on the Carcara proof checker.
Languages: C++, C, Python, TypeScript and currently learning Rust, Julia and OCaml.
LinkedIn: @vinisilvag
Reach out at [email protected]