tomaz1502 Goto Github PK

Hi there! I'm a computer scientist currently pursuing a master's degree. I'm passionate about computation and mathematics, and, specially, the intersection between those two areas. Specifically, my main interests are functional programming, formal methods and type theory, but I'm constantly looking for new and exciting challenges.

I've discovered the field in 2016, when I started my bachelor's at Universidade Federal de Minas Gerais. In 2018 and 2019 I did a project with a professor where we studied in depth type theory and the proof assistant Agda. In 2020 I had my first experience in the industry, as an optimization intern at the company Accenture, where I've implemented metaheuristics and tested the efficiency of their software. In 2021 I worked in the company Imagine A.I. (now Plank). We developed a compiler for a DSL in Haskell and wrote smart contracts using Plutus. More recently, in the end of 2021, I joined the MSc. program at Universidade Federal de Minas Gerais, and I'm working to integrate the proof assistant Lean with the SMT solvers, so that the user could discharge the responsibility of some proofs to the solver.

Also, I develop some personal projects for educational purposes (and because it's fun!) that are available here. I also participated in the ICPC programming competition, where I won a silver medal at the regional level (Maratona Mineira) in 2019 and a silver medal at the national level (Maratona Brasileira) in 2022.