João Reis
Functional Programming OCaml Software Engineer at Universidade da Beira Interior
Covilhã, Portugal
Summary
🤩
Rockstar🎓
Top SchoolJoão Reis is a software engineer with 10 years of experience specializing in functional programming, formal verification, and privacy-first blockchain infrastructure. He has delivered robust, cloud-native backend systems in OCaml, Rust, and TypeScript, notably improving Mina Protocol’s node, Rosetta indexers, and developer tooling to boost scalability and usability. Currently pursuing a Ph.D. on static analysis of Tezos smart contracts, he blends academic rigor in program verification with hands-on protocol engineering. Known for rapidly becoming productive in unfamiliar codebases, he contributes practical optimizations such as Rosetta /account refactors and zkapp fee handling that materially improve performance and correctness. Based in Covilhã, Portugal, he pairs teaching and mentoring experience with open-source leadership across protocol and ecosystem projects.
10 years of coding experience
High School, Ciências e Tecnologias, 16, High School, Ciências e Tecnologias, 16 at Escola Secundária Frei Heitor PintoBachelor of Science - BS, Computer Science and Engineering, Bachelor of Science - BS, Computer Science and Engineering at Universidade da Beira Interior
Portuguese, English, Spanish, French
Github Skills (9)
sql-query10
sql10
sql-database10
blockchain10
ocaml10
zkp9
zk9
zksnark9
cryptocurrency8
Programming languages (13)
Github contributions (5)
MinaProtocol/mina
Oct 2022 - Jan 2023
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:159 reviews, 54 commits, 137 PRs in 3 months
Contributions summary:João's contributions focus on modifying and extending the Rosetta implementation within the Mina protocol repository. They have been actively involved in refactoring the `/account` endpoint queries to improve performance, and in implementing queries for zkapp commands and account updates. These changes include modifications to data structures, database queries, and logic to support the new functionality within the Rosetta API. The user also addressed issues to ensure accurate handling of zkapp fees and balance changes.
minaethereumsecurityblockchainocaml
joaosreis/ocaml-lattices
May 2022 - Jan 2025
A collection of lattices in OCaml
Contributions:1 PR, 10 pushes, 1 branch in 2 years 8 months
ocamllatticesdune
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.