Jonathan Starup

Computer Scientist

Aarhus, Central Denmark Region
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Jonathan 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.
code8 years of coding experience
bookSTX, Math, physics, and chemistry, STX, Math, physics, and chemistry at Esbjerg Gymnasium
bookMaster's degree, Computer Science, Master's degree, Computer Science at Aarhus Universitet
languagesDanish, English
github-logo-circle

Github Skills (5)

unit-testing10
lang10
compiler-design10
implement10
concurrency10

Programming languages (8)

TypeScriptC#RustSchemeTypstScalaSCSSJavaScript

Github contributions (5)

github-logo-circle
flix/flix

Dec 2018 - Jan 2023

The Flix Programming Language
Role in this project:
userBackend Developer
Contributions:943 reviews, 226 commits, 803 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.
flix-programming-languageimperativedeclarative-programmingcompilerjvm
An API for ANSI terminal operations
Contributions:14 releases, 23 commits, 9 PRs in 3 months
apipythonansiterminal
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.
Request Free Trial
Jonathan Starup - Computer Scientist