Jacob Johannsen
Denmark
Summary
🤩
Rockstar🎓
Top SchoolJacob Johannsen is a compiler-focused software engineer and researcher with a PhD in Computer Science and roughly a decade of professional experience building compilers, language tools, and domain-specific systems across academia and industry. He has delivered production language features and performance improvements for smart contract and blockchain languages (Scilla, Sway) and has implemented backends and front-end optimizations that yielded significant compile-time and memory gains. His background bridges formal semantics, normalization-by-evaluation and practical compiler engineering, evidenced by research papers and feature work such as type-system extensions, Never type support, and VM-targeted code generation. Comfortable in both R&D and customer-facing roles, he has maintained DSLs for financial services, tooling for bug detection, and taught compiler construction and functional programming at university level. Colleagues rely on his knack for spotting corner cases, designing simple robust solutions, and turning formal ideas into working systems. Outside engineering he channels analytical curiosity into comedy, theater and a surprisingly wide culinary and beer palate.
8 years of coding experience
11 years of employment as a software developer
Doctor of Philosophy (PhD) Computer Science, Doctor of Philosophy (PhD) Computer Science at Aarhus UniversityPhD Computer Science, PhD Computer Science at University of Kent
Danish, English
Github Skills (38)
solidity10
internet-computer10
duolingo10
contract10
verification10
virtual-machine10
intermediate10
ocaml10
coq10
ethereum10
cryptography10
blockchain10
compiler10
smart-contracts10
plutus10
Programming languages (9)
Github contributions (5)
Zilliqa/scilla-docs
Dec 2018 - Jan 2023
Documentation for Scilla
Contributions:13 reviews, 91 commits, 49 PRs in 4 years 2 months
scillaidris
Zilliqa/scilla-workshop
Sep 2019 - Oct 2019
Documents and code for Scilla workshops and similar events
Contributions:18 commits, 5 PRs, 14 pushes in 23 days
eventspythonsimilarweb-developmentscilla
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.