Robertino Martinez
Software Engineer at input-output-hk
Summary
🤩
RockstarRobertino Martinez is a product-minded engineer and entrepreneur with seven years of experience bridging civil engineering, software development, and developer education. Currently a Product Manager at Input Output Group, he focuses on improving the Cardano developer experience after leading IOHK’s education efforts to define smart contract best practices and training curricula. He has hands-on experience as a full‑stack and back-end developer in influential open-source initiatives like the Plutus Pioneer Program and IOHK’s Haskell course, contributing project scaffolding, validators, and educational lessons on type classes. A founder of multiple lean startups and a former freelance multiplatform mobile/web developer, he combines product design, implementation, and go-to-market skills. Based in Portugal, he also brings an analytical bent from hydrological modeling work earlier in his career, which informs his data-driven approach to product decisions.
7 years of coding experience
Github Skills (11)
cabal10
smart-contracts10
functional-programming10
cardano10
typeclass10
datatypes10
plutus10
haskell10
nix9
testing8
daap8
Programming languages (16)
Github contributions (5)
input-output-hk/haskell-course
Jun 2022 - Jan 2023
This course is designed to teach non-engineers (e.g., self-taught/bootcamp coders) Haskell from zero to productive in an interactive, easy-to-follow way.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6 reviews, 228 commits, 13 PRs in 7 months
Contributions summary:Robertino's commits indicate a focus on adding new type definitions and exploring concepts related to type classes in Haskell. They added a draft for a lesson on creating type classes, demonstrating an understanding of defining and using them. Furthermore, the user made revisions to an earlier lesson, indicating a strong familiarity with the codebase and a dedication to improving the educational content.
everythingzerohaskellplutusteach
input-output-hk/plutus-pioneer-program
Jan 2022 - Feb 2025
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:1 review, 31 PRs, 36 pushes in 3 years 1 month
Contributions summary:Robertino's contributions primarily involve the initial setup and development of code, potentially for a Plutus Pioneers Program project. The commits show a focus on setting up the project structure, including boilerplate, and configuring files. The user created draft validators to test the implementation, also focusing on testing libraries for debugging and unit tests.
cardanodappsplutusplutus-pioneer-programsmart-contracts
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.