Sebastian Nagel
Technical Architect at Input Output Group
Liechtenstein
Summary
🤩
Rockstar🎓
Top SchoolSebastian Nagel is a Technical Architect and freelance software engineer with 11 years of experience building language runtimes, compilers and distributed systems, currently focused on blockchain research and engineering for Cardano and Hydra. He brings deep functional-programming expertise (Haskell), formal methods and property-based testing from roles at Input Output Group and prior robotics platform work at FRANKA EMIKA, where he designed interpreters and custom languages. An active contributor to the cardano-node codebase, he has enhanced Cardano APIs, transaction handling and script support—bridging low-level protocol details with practical developer interfaces. Based in Liechtenstein, he combines systems-level rigor with product-minded consulting, often translating academic operational semantics into production-grade implementations.
10 years of coding experience
11 years of employment as a software developer
Bachelor of Science (BSc) Computer Science, Bachelor of Science (BSc) Computer Science at FHV - Vorarlberg University of Applied SciencesMaster of Science (MSc) Robotics Cognition and Intelligence, Master of Science (MSc) Robotics Cognition and Intelligence at Technical University of MunichUniversity entrance diploma Business Engineering, University entrance diploma Business Engineering at Höhere Technische Lehranstalt Dornbirn
English, German
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (4)
haskell10
blockchain10
testing9
json8
Programming languages (20)
Github contributions (5)
IntersectMBO/cardano-node
Nov 2021 - Nov 2022
The core component that is used to participate in a Cardano decentralised blockchain.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:14 reviews, 21 commits, 20 PRs in 1 year
Contributions summary:Sebastian primarily contributed to the `cardano-node` repository by enhancing the Cardano API. Their work included adding functionalities like `FromJSONKey` instances and modifying code related to transaction bodies. They also focused on resolving datum hashes and updating script language support within the API. Additionally, they implemented testing for transaction body content and exposed the key interface within the Cardano API.
core-componentblockchainplutusdecentralisedcardano
ch1bo/dotfiles
Jan 2023 - Feb 2023
Contributions:14 commits, 432 pushes, 6 branches in 17 days
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.