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