Romain Soulat
Technical Lead for Cardano High Assurance @Input Output Group
Signup · Get unlimited contacts
WORK HISTORY
Technical Lead for Cardano High Assurance @Input Output Group
Cardano High Assurance exists to raise the standard for security, correctness, and transparency across the Cardano smart contract ecosystem. I lead a multidisciplinary team focused on formal verification, automated tooling, and next-generation smart contract infrastructure for Cardano.Key activities:Spearheading the design and implementation of an automated formal verification tool—built in Lean and leveraging SMT solving—to rigorously and automatically prove smart contract correctness.Driving the development of a UPLC-to-RISC-V compiler, enabling Cardano smart contracts on BitVMX.Building emulation environments for Plu-ts to support developers and auditors.Our goal is to empower developers and auditors with practical, high-assurance tooling for all Cardano contract languages (Plutus, Aiken, Plu-ts, and more) and to advance best practices for secure blockchain development.
EDUCATION
CPGE Lycée Descartes, Tours
MPSI/MP, Mathématiques, Physique
Université Paris-Saclay
Master's degree, Mathematics and Computer Science
Université Paris-Saclay
Licence , Mathématiques
Lycée Jacques Coeur, Bourges
Baccalauréat, Mathématiques
ENS Paris-Saclay
Doctor of Philosophy (PhD), Computer Science
SKILLS
ABOUT ROMAIN SOULAT
Technical Lead for High assurance in the blockchain industry with a strong background in Critical Embedded Software. PhD in formal verification specializing in model checking. Over a decade of experience in software verification first at Thales, contributing to research in formal verification for critical embedded software and now for IOG, contributing to the certification program and tools.Skilled in proposing research roadmaps, leading teams, and driving innovation.
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.