Leonardo Marques Rodrigues

Leonardo Marques Rodrigues has been working in the technology field since 2015. Leonardo began their career at the Instituto de Informática - UFRGS as a Bolsista de iniciação científica in the VeriTes group, where they were involved in software analysis and verification through graph grammar and other formal methods. Leonardo also developed the Verigraph system using the functional programming language Haskell. In 2018, they joined ARPAC Drones as COO, Coordenador de manutenção, Desenvolvedor de Sistemas Embarcados, and Estagiário de Desenvolvimento de Sistemas Embarcados.

Leonardo Marques Rodrigues has a Bachelor's degree in Computer Science from the Federal University of Rio Grande do Sul, which they obtained between 2015 and 2023.