AeroLeads people directory · profile
Emmanuel Fleury Email & Phone Number
Associate Professor
at
Université de Bordeaux
1 work email found
@u-bordeaux.fr
LinkedIn matched
✓ Verified August 2026
4 data sources
Profile completeness 100%
Current company
Role
Associate Professor
Location
Greater Bordeaux Metropolitan Area, France
Company size
Who is Emmanuel Fleury? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Emmanuel Fleury is listed as Associate Professor at Université de Bordeaux, a with 350 employees, based in Greater Bordeaux Metropolitan Area, France. AeroLeads shows a work email signal at u-bordeaux.fr and a matched LinkedIn profile for Emmanuel Fleury.
Emmanuel Fleury previously worked as Assistant Professor at Aalborg University and PostDoc at Aalborg University. Emmanuel Fleury holds Doctor Of Philosophy (Phd), Computer Science from Ens Cachan.
Company email context
Email format at Université de Bordeaux
This section adds company-level context without repeating Emmanuel Fleury's masked contact details.
{first}.{last}@u-bordeaux.fr
86% confidence
AeroLeads found 1 current-domain work email signal for Emmanuel Fleury. Compare company email patterns before reaching out.
Profile bio
About Emmanuel Fleury
I hold a position of associate professor in the group Model & Verification in the team Formal Methods within the LaBRI at Bordeaux-1 University (France).I am interested in many topics about 'formal methods', 'program analysis' and 'software verification' (model-checking, abstract interpretation, theorem provers, ...). I am currently very interested in binary program analysis and in its applications to computer security.
Listed skills include Computer Science, Formal Methods, Formal Verification, Model Checking, and 22 others.
Current workplace
Emmanuel Fleury's current company
Company context helps verify the profile and gives searchers a useful next step.
Université De Bordeaux
4 roles
Emmanuel Fleury work experience
A career timeline built from the work history available for this profile.
Associate Professor
Assistant Professor
I joined the Uppaal team for reasearch and developpment under the lead of Kim G. Larsen and Gerd Behrmann. I did teach courses and supervised projects on various topics. My main topics was about Timed Automata, Timed Games, Controller Synthesis.
Jan 2002 - Oct 2005
Postdoc
I added to Uppaal an extension of the Timed Automata model that we found in LSV (ENS Cachan) during my PhD.
Jan 2001 - Dec 2001
3 education records
Emmanuel Fleury education
Doctor Of Philosophy (Phd), Computer Science
Ens Cachan
Master'S Degree, Mathematics And Computer Science
Bachelor'S Degree, Mathematics
FAQ
Frequently asked questions about Emmanuel Fleury
Quick answers generated from the profile data available on this page.
What company does Emmanuel Fleury work for?
Emmanuel Fleury works for Université de Bordeaux.
What is Emmanuel Fleury's role at Université de Bordeaux?
Emmanuel Fleury is listed as Associate Professor at Université de Bordeaux.
What is Emmanuel Fleury's email address?
AeroLeads has found 1 work email signal at @u-bordeaux.fr for Emmanuel Fleury at Université de Bordeaux.
Where is Emmanuel Fleury based?
Emmanuel Fleury is based in Greater Bordeaux Metropolitan Area, France while working with Université de Bordeaux.
What companies has Emmanuel Fleury worked for?
Emmanuel Fleury has worked for Université De Bordeaux and Aalborg University.
How can I contact Emmanuel Fleury?
You can use AeroLeads to view verified contact signals for Emmanuel Fleury at Université de Bordeaux, including work email, phone, and LinkedIn data when available.
What schools did Emmanuel Fleury attend?
Emmanuel Fleury holds Doctor Of Philosophy (Phd), Computer Science from Ens Cachan.
What skills is Emmanuel Fleury known for?
Emmanuel Fleury is listed with skills including Computer Science, Formal Methods, Formal Verification, Model Checking, Software Verification, Program Analysis, Static Analysis, and Abstract Interpretation.
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 Emmanuel Fleury you were looking for.
View similar profiles
