Undergraduate student of BSc. in Computer Science at Federal University of Minas Gerais. Undergraduate Researcher studying Coq proof assistant for formalization and software verification, and subjective logic. Previously Web and Mobile Developer with React Native, Angular.JS, PHP, and Firebase technologies. ©