Hello there!

My name is Eduardo Henke, I’m from Brazil(from this pretty island). I was a co-founder at Voltbras, I worked at Higher Order Company.

I’ve finished my B.Sc in Computer Science at Federal University of Santa Catarina, and I’m now doing a M.Sc in Computer Science at Federal University of Ouro Preto, advancing my studies in formal methods and interaction combinators.

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

I’m interested in researching about:

• computational models
  • interaction combinators
  • interaction nets
• type theory
  • dependent types
  • cubical types
  • gradual typing
• category theory
• high-level optimization(e.g. grin)
• program synthesis

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]