Hi, I'm Vinicius Gomes!
Computer Scientist and M.Sc. student at Universidade Federal de Minas Gerais (UFMG), under the supervision of Prof. Haniel Barbosa. My research focuses on Formal Methods, particularly Formal Verification, Automated Reasoning, and Satisfiability Modulo Theories (SMT). I have contributed to the development of some formal reasoning tools, including the Carcara proof checker and the cvc5 SMT solver.
When I'm not doing research, I'm probably talking about Hunter × Hunter or Naoki Urasawa's Monster — peak fiction. I also play some CS2 in my free time.
News
[Aug 2026]Started my Master's degree in Computer Science at UFMG.
[Jul 2026]Obtained my Bachelor's degree in Computer Science at UFMG.
[Dec 2025]Presented my undergraduate thesis, titled "Formalizing and verifying an automata-based string calculus within the Carcara proof checker".
[Sep 2025]Our work on "Análise e Predição da Química entre Jogadores com base em Dados de Evento" was selected for a poster presentation at FAME 2025.
Education
Universidade Federal de Minas Gerais
Master's degree in Computer ScienceAug 2026 - PresentUniversidade Federal de Minas Gerais
Bachelor's degree in Computer ScienceMay 2021 - Jul 2026Undergraduate Thesis: Formalizing and verifying an automata-based string calculus within the Carcara proof checker[pdf]
Centro Federal de Educação Tecnológica de Minas Gerais
Technical Course in Computer ScienceFeb 2017 - Dec 2019Course Completion Project: SportDeck: Aplicativo para incentivar a prática esportiva na escola[pdf]