AeroLeads people directory · profile

Kenza Kraibi Email & Phone Number

Formal Methods Expert at Prover
Location: Paris, Île-de-France, France 4 work roles 3 schools
LinkedIn matched
✓ Verified Jun 2026 3 data sources Profile completeness 86%

Contact Signals

LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
Prover
Role
Formal Methods Expert
Location
Paris, Île-de-France, France
Company size
62 employees

Who is Kenza Kraibi? Overview

A concise factual answer block for searchers comparing this professional profile.

Quick answer

Kenza Kraibi is listed as Formal Methods Expert at Prover, a company with 62 employees, based in Paris, Île-de-France, France. AeroLeads shows a matched LinkedIn profile for Kenza Kraibi.

Kenza Kraibi previously worked as Research Scientist - Formal Methods at Institut De Recherche Technologique Railenium and Researcher - Formal Methods at Institut De Recherche Technologique Railenium. Kenza Kraibi holds Phd, Automatic, Computer Engineering, Signal And Image Processing from Centrale Lille.

Company email context

Email format at Prover

This section adds company-level context without repeating Kenza Kraibi's masked contact details.

Prover

Review company-level records connected to Kenza Kraibi before choosing the right outreach path.

View email format View company profile Management contacts
Profile bio

About Kenza Kraibi

PhD. Formal Methods Expert

Current workplace

Kenza Kraibi's current company

Company context helps verify the profile and gives searchers a useful next step.

Prover
Prover
Formal Methods Expert
stockholm, stockholms lan, sweden
Website
prover.com
Employees
62
AeroLeads page
Company profile
View company profile Email format
4 roles

Kenza Kraibi work experience

A career timeline built from the work history available for this profile.

Formal Methods Expert

Current
Prover

Paris, Île-de-France, France

Mar 2023 - Present
Team & coworkers

Colleagues at Prover

Other employees you can reach at prover.com. View company contacts for 62 employees →

GS Gunnar Smith Gunnar Smith Colleague at ProverGreater Stockholm Metropolitan Area, Sweden View → EM Elisabetta Medaglini Elisabetta Medaglini Colleague at ProverSiena, Tuscany, Italy, Italy View → BT Breno Tavares Breno Tavares Colleague at ProverCuritiba, Paraná, Brazil, Brazil View → MS Mari Silva Mari Silva Colleague at ProverCuiabá, Mato Grosso, Brazil, Brazil View → IB Ilya Beylin Ilya Beylin Colleague at ProverGreater Stockholm Metropolitan Area, Sweden View → JH James Habbot James Habbot Colleague at ProverGreater Toulouse Metropolitan Area, France View → YF Yoann Fonteneau Yoann Fonteneau Colleague at ProverNantes, Pays De LA Loire, France, France View → LF Love Forsberg Olander Love Forsberg Olander Colleague at ProverGreater Uppsala Metropolitan Area, Sweden View → GS Giselle Silva Giselle Silva Colleague at ProverBelo Horizonte, Minas Gerais, Brazil, Brazil View → IG Ida George Ida George Colleague at ProverStockholm, Stockholm County, Sweden, Sweden View →
3 education records

Kenza Kraibi education

Phd, Automatic, Computer Engineering, Signal And Image Processing

Centrale Lille
FAQ

Frequently asked questions about Kenza Kraibi

Quick answers generated from the profile data available on this page.

What company does Kenza Kraibi work for?

Kenza Kraibi works for Prover.

What is Kenza Kraibi's role at Prover?

Kenza Kraibi is listed as Formal Methods Expert at Prover.

Where is Kenza Kraibi based?

Kenza Kraibi is based in Paris, Île-de-France, France while working with Prover.

What companies has Kenza Kraibi worked for?

Kenza Kraibi has worked for Prover and Institut De Recherche Technologique Railenium.

Who are Kenza Kraibi's colleagues at Prover?

Kenza Kraibi's colleagues at Prover include Gunnar Smith, Elisabetta Medaglini, Breno Tavares, Mari Silva, and Ilya Beylin.

How can I contact Kenza Kraibi?

You can use AeroLeads to view verified contact signals for Kenza Kraibi at Prover, including work email, phone, and LinkedIn data when available.

What schools did Kenza Kraibi attend?

Kenza Kraibi holds Phd, Automatic, Computer Engineering, Signal And Image Processing from Centrale Lille.

Find 750M verified contacts

Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.