Eduardo Henke

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]

thoughts on an ideal programming language

2022-10-03
Read more →
© 2023 Powered by Hugo :: Theme made by panr