I'm koslambrou, a software engineer specializing in functional programming and blockchain infrastructure.
- 🔧 Functional programming engineer with expertise in Haskell and the Nix ecosystem
- ⛓️ 4+ years building blockchain infrastructure at IO Global (Cardano/Plutus)
- 🎯 Expert in smart contract development and rigorous software engineering practices
- 🧪 Strong focus on property-based testing and formal verification
- 🌍 Based in Québec
Working on Djed (Cardano's algorithmic stablecoin protocol).
- Doctoral studies in Computer Engineering (NLP, Semantic Web, AI) - Polytechnique Montréal
- Master's degree in Computer Engineering - Polytechnique Montréal
- Bachelor's degree in Software Engineering - Polytechnique Montréal