About

Overview Research Leadership Newsroom

Community

Overview Blog Essential Cardano Catalyst

Careers Contact

English

IOHK |

Library

About
Library
Research Topics

Library > Mauro Jaskelioff

Mauro Jaskelioff

Mauro Jaskelioff

Software Engineer

Engineering

Argentina

A readable and computable formalization of the Streamlet consensus protocol

Mauro Jaskelioff,Orestis Melkonian,James Chapman

May 2025, To appear in: FMBC '25

AGDA CONSENSUS FORMAL VERIFICATION

Products

Cardano
Daedalus
Identus
Lace
Catalyst
Marlowe
Plutus

Media

Newsroom
Media Assets

Courses

Plutus Pioneers
IOG Academy

Legal

Privacy Policy
Terms & Conditions

Social

X
Facebook
GitHub
LinkedIn
YouTube
TikTok
Instagram