Henrique Dias

Senior Software Engineer at Animo Solutions

Eindhoven, North Brabant, Netherlands
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
award
Top expert inHome Server and Self-Hosting Solutions
Henrique Dias is a Senior Software Engineer with 11 years of experience specializing in web and peer-to-peer systems, decentralized identity, and developer tooling. He has driven core features and UI improvements across flagship IPFS projects (kubo, Web UI, Desktop, and companion extensions), blending Go backend work with React/JS front-end polish. Recently focused on enabling developers to integrate verifiable identity wallets via open standards (OpenID for VPs, SD-JWT, mDoc) and building a unified TypeScript platform to consume credentials. Henrique pairs hands-on implementation—automated releases, CI, and SDKs—with specification work and conformance testing, a combination that helped bridge HTTP and P2P ecosystems at Protocol Labs. Based in Eindhoven, he brings both deep decentralized-systems expertise and a user-centered front-end sensibility, plus a proven track record of shipping cross-platform developer and consumer tools.
code11 years of coding experience
job7 years of employment as a software developer
bookMaster of Science - MS Computer Science and Engineering, Master of Science - MS Computer Science and Engineering at Eindhoven University of Technology
bookBachelor of Science - BS Information Systems and Computer Engineering, Bachelor of Science - BS Information Systems and Computer Engineering at Instituto Superior Técnico
languagesPortuguese, English, Dutch
stackoverflow-logo

Stackoverflow

Stats
183reputation
27kreached
2answers
11questions
github-logo-circle

Github Skills (46)

javascript10
back-end-development10
apidoc10
electron10
firefox-webextension10
browser-extension10
http10
ipfs10
user-interface10
firefox-addon10
ui-design10
chrome-extension10
redux10
cicd10
webui10

Programming languages (24)

JavaCSSC++RustCF*TeXVue

Github contributions (5)

github-logo-circle
ipfs/ipfs-desktop

Nov 2017 - Oct 2022

An unobtrusive and user-friendly desktop application for IPFS on Windows, Mac and Linux.
Role in this project:
userFront-end Developer
Contributions:44 releases, 52 reviews, 639 commits in 4 years 11 months
Contributions summary:Henrique primarily worked on upgrading dependencies and fixing issues to get the IPFS Desktop application working correctly. They made changes to the user interface, specifically within the setup/intro screens, config files, and components such as directory input, icon button, and the header. The user also implemented improvements and bug fixes, including adding a close option in the start screen, creating a "toggle sticky" feature for the window and fixing the macOS open external links.
ipfsdesktop-applicationunobtrusivewindowsprotocol
hacdias/webdav

Aug 2017 - Sep 2022

A simple and standalone WebDAV server.
Role in this project:
userBackend & DevOps Engineer
Contributions:13 releases, 10 reviews, 58 commits in 5 years 2 months
Contributions summary:Henrique primarily contributed to the project by adding tooling for build and release automation. This included integrating Travis CI and Goreleaser for automated builds and releases. Furthermore, the user updated the modules and refactored the codebase. They also added support for docker images.
golangwebdav-serverfilesystemwebdavgo
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.
Request Free Trial