Jonathan Starup
Computer Scientist
Aarhus, Central Denmark Region
Summary
🤩
Rockstar🎓
Top SchoolJonathan Starup is a computer scientist and PhD candidate at Aarhus University with eight years of engineering experience focused on language design and compiler implementation. He has contributed substantive backend work to the Flix programming language, adding concurrency primitives, compiler-phase integrations, and extensive unit tests—demonstrating depth in type systems, tooling, and correctness. Comfortable with both research and practical engineering, he has hands-on experience across compiler front- and back-ends as well as data analysis with Excel/VBA from earlier roles. Based in Aarhus, he combines rigorous academic training (BSc and MSc in Computer Science) with a pragmatic drive to ship robust, well-tested language features. An often-overlooked strength is his ability to bridge formal language concepts and production-quality implementations, ensuring new features fit cleanly into existing compiler architectures.
9 years of coding experience
STX, Math, physics, and chemistry, STX, Math, physics, and chemistry at Esbjerg GymnasiumMaster's degree, Computer Science, Master's degree, Computer Science at Aarhus Universitet
Danish, English
Github Skills (5)
unit-testing10
lang10
compiler-design10
concurrency10
implement10
Programming languages (12)
Github contributions (5)
flix/flix
Dec 2018 - Jan 2023
The Flix Programming Language
Role in this project:
Backend Developer
Backend DeveloperContributions:1352 reviews, 226 commits, 1062 PRs in 4 years 1 month
Contributions summary:Jonathan was involved in adding support for concurrency features to the Flix programming language, specifically related to channels. They implemented new syntax for channels, integrated them into various phases of the compiler (Weeder, Namer, Resolver, Typer), and added a large suite of unit tests for channel functionality. The user's work primarily focused on the core language implementation and involved modifying several key components of the compiler. They also were involved in adding functionality to the backend, with a focus on the `Lazy` and `Force` operations.
programming-languagefliximperativelogicjvm
JonathanStarup/Flix-ANSI-Terminal
Aug 2022 - Dec 2022
An API for ANSI terminal operations
Contributions:14 releases, 23 commits, 9 PRs in 3 months
apipythonansiterminalflix-library
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.