AeroLeads people directory · profile
Romain Soulat Email & Phone Number
Technical Lead for Cardano High Assurance
at
Input Output (IOHK)
1 work email found
@thalesgroup.com
LinkedIn matched
✓ Verified Jun 2026
4 data sources
Profile completeness 100%
Current company
Role
Technical Lead for Cardano High Assurance
Location
Villejuif, Île-de-France, France
Who is Romain Soulat? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Romain Soulat is listed as Technical Lead for Cardano High Assurance at Input Output (IOHK), based in Villejuif, Île-de-France, France. AeroLeads shows a work email signal at thalesgroup.com and a matched LinkedIn profile for Romain Soulat.
Romain Soulat previously worked as Technical Lead for Plutus High Assurance at Input Output (Iohk). Romain Soulat holds Doctor Of Philosophy (Phd), Computer Science from École Normale Supérieure Paris-Saclay.
Company email context
Email format at Input Output (IOHK)
This section adds company-level context without repeating Romain Soulat's masked contact details.
{first}.{last}@thalesgroup.com
86% confidence
AeroLeads found 1 current-domain work email signal for Romain Soulat. Compare company email patterns before reaching out.
Profile bio
About Romain Soulat
Romain Soulat is a Technical Lead for Cardano High Assurance at Input Output (IOHK). He possess expertise in science, computer science, algorithms, formal verification, control theory and 10 more skills. He is proficient in Espagnol and Anglais. Colleagues describe him as "Romain helped my team to set up and understand formal methods in some of our software. We came with a lot of problems and questions during the meetings and ended up having a far more clearer view of what was possible or not. He is good at explaining the whys and wherefores of his speciality. "
Listed skills include Science, Computer Science, Algorithms, Formal Verification, and 11 others.
Current workplace
Romain Soulat's current company
Company context helps verify the profile and gives searchers a useful next step.
2 roles
Romain Soulat work experience
A career timeline built from the work history available for this profile.
Technical Lead For Plutus High Assurance
CurrentLeading a team of six highly skilled engineers and formal methods experts, I drive the development of advanced tools for high-assurance smart contract verification. We focus on leveraging formal methods, such as model checking and SMT/SAT solvers, to enable developers to create secure, reliable smart contracts on the Cardano blockchain.
Nov 2022 - Present
5 education records
Romain Soulat education
Doctor Of Philosophy (Phd), Computer Science
Master'S Degree, Mathematics And Computer Science
Licence, Mathematics
Mpsi/Mp, Mathématiques, Physique
Baccalauréat, Mathématiques
Lycée Jacques Coeur, Bourges
FAQ
Frequently asked questions about Romain Soulat
Quick answers generated from the profile data available on this page.
What company does Romain Soulat work for?
Romain Soulat works for Input Output (IOHK).
What is Romain Soulat's role at Input Output (IOHK)?
Romain Soulat is listed as Technical Lead for Cardano High Assurance at Input Output (IOHK).
What is Romain Soulat's email address?
AeroLeads has found 1 work email signal at @thalesgroup.com for Romain Soulat at Input Output (IOHK).
Where is Romain Soulat based?
Romain Soulat is based in Villejuif, Île-de-France, France while working with Input Output (IOHK).
What companies has Romain Soulat worked for?
Romain Soulat has worked for Input Output (Iohk).
How can I contact Romain Soulat?
You can use AeroLeads to view verified contact signals for Romain Soulat at Input Output (IOHK), including work email, phone, and LinkedIn data when available.
What schools did Romain Soulat attend?
Romain Soulat holds Doctor Of Philosophy (Phd), Computer Science from École Normale Supérieure Paris-Saclay.
What skills is Romain Soulat known for?
Romain Soulat is listed with skills including Science, Computer Science, Algorithms, Formal Verification, Control Theory, Mathematical Modeling, Computational Complexity, and Matlab.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Romain Soulat you were looking for.
View similar profiles