Eduardo Henke
Software Engineer at Bluecode
Santa Catarina, Brazil
Summary
🤩
Rockstar🎓
Top SchoolEduardo Henke is a software engineer and founder with nine years of experience building distributed systems, backends, and language runtimes from Santa Catarina, Brazil. He has led architecture work at Voltbras, implementing microservices, DDD and event sourcing for IoT and EV charging integrations, and later drove research-grade runtime and language work at Higher Order Company including a Rust-based auto-parallelizing HVM and CUDA integration. Comfortable across Go, Rust, and backend ecosystems, he has hands-on experience with blockchain consensus (DPoS), peer-to-peer networks, and dependently-typed languages, blending systems engineering with formal methods in Agda. Currently contributing as a software engineer and technology consultant, he pairs product-facing delivery with deep theoretical interest in math and CS, including automated theorem proving with LLMs. Eduardo’s background in mechatronics and computer science gives him a multidisciplinary edge for physical-digital systems and low-level performance work. He’s as likely to prototype an IoT stack as to formalize interaction combinators, making him a rare engineer who bridges theory and production.
9 years of coding experience
6 years of employment as a software developer
Bacharelado em Engenharia, Mechatronics, Robotics, and Automation Engineering, 8.73, Bacharelado em Engenharia, Mechatronics, Robotics, and Automation Engineering, 8.73 at Universidade Federal de Santa CatarinaMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at UFOP - Universidade Federal de Ouro PretoBachelor's, Computer Science, 8.11, Bachelor's, Computer Science, 8.11 at Federal University of Santa CatarinaComputer Programming, Specific Applications, Computer Programming, Specific Applications at Codenation
German, English, French, Portuguese, Russian, Spanish
Github Skills (200)
postgresql10
abstraction10
brazil10
sql-query10
javascript10
ocpp10
rio10
orm-library10
database10
sqlite10
cockroachdb10
mysql10
mariadb10
typescript10
zap10
Programming languages (16)
Github contributions (5)
voltbras/ts-ocpp
Nov 2020 - Aug 2022
:zap: OCPP (Open Charge Point Protocol) implemented in Typescript.
Contributions:1 release, 3 reviews, 100 commits in 1 year 9 months
ocppchargepointfunctional-programmingpointcharge
eduhenke/eduhenke.github.io
Nov 2017 - Oct 2024
Personal Website
Contributions:1 PR, 32 pushes, 4 branches in 6 years 11 months
react
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.