Hello there!

My name is Eduardo Henke, I’m from Brazil(from this pretty island) and I was a co-founder at Voltbras, now I’m currently acting as a tech lead at Higher Order Company.

I’ve finished my B.Sc. in Computer Science at Federal University of Santa Catarina, and I’m considering doing a M.Sc/PhD programmes in Computer Science, regarding my research interests.

My principle

My principle(as someone explained the term) is to:

Simplify development through the improvement of programming languages

To achieve that, I believe that we need to focus on:

• easier ways to verify correctness
• easier ways to model a problem
• faster software

I strongly believe that type systems(and other kinds of static analysis) are the way to achieve that.

Research interests

Primary research interests(with some degree of knowledge and actively learning):

• type theory
• dependent types
• cubical types
• homotopy type theory
• category theory
• gradual typing

Secondary research interests(basic knowledge):

• high-level optimization(e.g. grin)
• program synthesis
• design by contract
• constraint-based programming
• aspect-oriented programming
• feature-oriented programming

Projects

• TaPL impl: implementations of the type systems’ from TaPL, in Haskell
• dep-tt: a dependent type system, in Haskell
• ts-ocpp: fully-typed and functionally written implementation of OCPP(Open Charge Point Protocol, i.e. protocol to communicate with Electric Vehicle chargers), in Typescript
• simple lang: a simple compiler for a simple language, in Rust

Contact
[GitHub] [LinkedIn] [GitLab]