Sobre

Pedro Martins graduou-se em filosofia pela Universidade de Brasília no ano de 2019. Durante a graduação, desenvolveu pesquisas nas áreas de Lógica Modal, Lógicas Não-Monotônicas e Lógicas não clássicas. Duas destas foram premiadas no décimo sexto e décimo sétimo congressos de iniciação científica do Distrito Federal.

Após a graduação, foi aprovado para o mestrado em filosofia na City University of New York através do seu trabalho intitulado Why should logic be algebraic abstract logic.

Impossibilitado de viajar aos Estados Unidos por conta da pandemia causada pelo novo coronavírus, Pedro reuniu seu interesse por lógica, matemática e computação migrando para a área de T.I. Atualmente é aluno de Análise e Desenvolvimento de Sistemas no Instituto de Educação Superior de Brasília.

Pedro tem experiência com desnvolvimento frontend com ReactJS, GatsbyJS, NextJS. Backend com Java, MariaDB, Postgresql e GraphQL e sistemas com Rust, C e C++. Além disso é um grande entusiasta GNU/Linux e deseja contribuir em comunidades open source.