Skip to content
View koslambrou's full-sized avatar
11 followers · 1 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: Quickdraw

Achievements

Achievement: YOLOAchievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: Quickdraw

Block or report koslambrou

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
koslambrou/README.md

Hi there 👋

I'm koslambrou, a software engineer specializing in functional programming and blockchain infrastructure.

About Me

  • 🔧 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

Current Work

Working on Djed (Cardano's algorithmic stablecoin protocol).

Education

  • 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

Pinned Loading

  1. input-output-hk/sc-tools input-output-hk/sc-tools Public

    Select coins, build transactions

    Haskell 17 18

  2. input-output-hk/marconi input-output-hk/marconi Public

    Haskell 14 6

  3. cinematheque-quebecoise/cinetvdb cinematheque-quebecoise/cinetvdb Public

    Haskell

  4. cinematheque-quebecoise/cinetvext cinematheque-quebecoise/cinetvext Public

  5. cinematheque-quebecoise/cmtq-wikidata-linking cinematheque-quebecoise/cmtq-wikidata-linking Public

    JavaScript

  6. cinematheque-quebecoise/cq2rdf cinematheque-quebecoise/cq2rdf Public

    Haskell