Eduardo Henke, Developer in Ouro Preto - State of Minas Gerais, Brazil
Eduardo is available for hire
Hire Eduardo

Eduardo Henke

Verified Expert  in Engineering

Software Developer

Ouro Preto - State of Minas Gerais, Brazil

Toptal member since October 8, 2024

Expertise
JavaScriptNode.jsTypeScriptRustGraphQLDockerRubyHaskellKubernetesTerraformC++ElixirMATLABLLMSite Reliability
Bio

Eduardo has nearly a decade of experience specializing in statically typed languages such as Rust and TypeScript, as well as Agda and Haskell, focusing on software correctness and scalability. He has worked with runtimes for parallelizing lambda calculus, headed tech teams, co-founded a startup, and contributed to projects in blockchain and electric vehicles. Eduardo is enrolled in a master’s program focusing on formal methods and interaction combinators.

Portfolio

Higher Order Company
Agda, Rust, NVIDIA CUDA, Large Language Models (LLMs), Blockchain
VoltBras
TypeScript, Google Cloud, Kubernetes, Terraform, Functional Programming...
Rhizom
Go, Blockchain, Peer-to-peer Networking

Experience

  • TypeScript - 6 years
  • Functional Programming - 4 years
  • Rust - 4 years
  • Event Sourcing - 4 years
  • Domain-driven Design (DDD) - 4 years
  • Haskell - 3 years
  • Agda - 2 years
  • Lean - 1 year

Availability

Full-time

Preferred Environment

Rust, Agda, Lean, Linux

The most amazing...

...thing I've developed is a scalable event-sourcing system for tracking the states of IoT devices.

Work Experience

Senior Software Engineer

2023 - 2024
Higher Order Company
  • Contributed to the development of HVM, a state-of-the-art runtime in Rust, enabling auto-parallelization of lambda calculus through local transformations.
  • Assisted in leveraging CUDA to enhance HVM's performance, achieving significant processing speed improvements.
  • Maintained Kind, a dependently typed language optimized for HVM, and supported other programming languages utilized in the Kindelia blockchain.
  • Formalized a part of interaction combinators in Agda, contributing to advancements in formal verification techniques.
  • Developed a minimalist blockchain protocol using Bend, the HVM-based smart contract language, facilitating seamless smart contract execution.
Technologies: Agda, Rust, NVIDIA CUDA, Large Language Models (LLMs), Blockchain

Chief Technology Officer

2018 - 2023
VoltBras
  • Scaled a microservice by separating it into a read and a write model using command and query responsibility segregation (CQRS) and event sourcing.
  • Taught domain-driven design (DDD), functional programming, core software architecture, and site reliability engineering (SRE) principles to the team.
  • Converted dynamically typed microservices into statically typed ones using TypeScript.
  • Changed the underlying authorization system to a more centralized and accurate one by implementing row-level security (RLS) policies.
  • Helped secure an investment of approximately $600 thousand, followed by another of roughly $2.4 million.
Technologies: TypeScript, Google Cloud, Kubernetes, Terraform, Functional Programming, Event Sourcing, CQRS, Site Reliability Engineering (SRE), Domain-driven Design (DDD), React, GraphQL

Software Engineer

2018 - 2018
Rhizom
  • Established a trustless distributed network with the Delegated Proof of Stake (DPoS) consensus.
  • Developed a peer-to-peer networking system using Go libp2p.
  • Created a peer identity verification process using digital signatures.
Technologies: Go, Blockchain, Peer-to-peer Networking

Software Engineer | Intern

2017 - 2018
Neoway
  • Utilized PostGIS to store and query geospatial data, optimizing data retrieval and management.
  • Implemented the back end using Go and Node.js, ensuring efficient processing and performance.
  • Contributed to developing and maintaining Angular components, improving the application's front-end responsiveness and usability.
Technologies: JavaScript, Go, GIS, Angular, Node.js

Experience

Dependently Typed Programming Language

https://github.com/eduhenke/dep-tt
A programming language with dependent types that enables more expressive type definitions and enhances program correctness. It includes an interpreter and various examples to demonstrate its capabilities.

Higher-order Virtual Machine

https://github.com/HigherOrderCO/HVM
A massively parallel interaction combinator evaluator. By compiling programs from high-level languages like Python and Haskell to HVM, users can execute these languages on massively parallel hardware, such as GPUs, achieving near-ideal speedup.

Electric Vehicle Communication Protocol

https://github.com/voltbras/ts-ocpp
An electric vehicle charger's communication protocol. It's a fully typed, functionally written implementation of the Open Charge Point Protocol (OCPP) in TypeScript, designed for communication with electric vehicle chargers.

Ray Tracer

https://github.com/eduhenke/rust-raytracer
A ray tracer implemented in Rust to demonstrate efficient rendering techniques. It includes support for various geometric shapes and shading methods, allowing for the creation of photorealistic images. The implementation showcases Rust's capabilities in high-performance graphics programming.

Implementation of Types and Programming Languages

https://github.com/eduhenke/tapl-impl
This repository implements concepts from the "Types and Programming Languages" book in Haskell. It covers various types of lambda calculus systems, including subtyping, type inference, and higher-order polymorphism.

Education

2019 - 2023

Bachelor's Degree in Computer Science

Federal University of Santa Catarina - Florianópolis, SC, Brazil

Certifications

JUNE 2017 - PRESENT

Advanced Python and Data Science Certification

Code Nation

Skills

Libraries/APIs

Node.js, React

Tools

Terraform, GIS, MATLAB

Languages

Rust, TypeScript, JavaScript, GraphQL, Agda, Haskell, Ruby, Go, Python, Prolog, Elixir, C++

Paradigms

Functional Programming, Event Sourcing, CQRS

Platforms

Docker, Linux, NVIDIA CUDA, Blockchain, Kubernetes

Frameworks

Angular

Storage

Google Cloud

Other

Domain-driven Design (DDD), Abstract Algebra, Graph Theory, Compilers, Theoretical Computer Science, Lean, Large Language Models (LLMs), Site Reliability Engineering (SRE), Peer-to-peer Networking, Data Science, Machine Learning, Data Scraping, Control Theory

Collaboration That Works

How to Work with Toptal

Toptal matches you directly with global industry experts from our network in hours—not weeks or months.

1

Share your needs

Discuss your requirements and refine your scope in a call with a Toptal domain expert.
2

Choose your talent

Get a short list of expertly matched talent within 24 hours to review, interview, and choose from.
3

Start your risk-free talent trial

Work with your chosen talent on a trial basis for up to two weeks. Pay only if you decide to hire them.

Top talent is in high demand.

Start hiring