Tobias Lindahl

Tobias started his Erlang career around 2000 in the HiPE research group in Uppsala University and have been working professionally with Erlang ever since. While working on the HiPE native code compiler, he created the original Dialyzer and focused his research on type inference for dynamically typed programming languages. He then joined Klarna in the early years, before moving on to join Erik "Happi" Stenman in Happi Hacking. Since September 2017 Happi Hacking has been working in the æternity project, focusing on the core components of the æternity blockchain, such as state trees, consensus protocol, virtual machines and the Sophia smart contract programming language. social_links: - platform: twitter url: "https://x.com/LindahlTobias" - platform: github url: "https://github.com/gorilla_induction"