Emmanuel Fleury

Emmanuel Fleury Email and Phone Number

Associate Professor @ Université de Bordeaux
Bordeaux, FR
Emmanuel Fleury's Location
Greater Bordeaux Metropolitan Area, France
Emmanuel Fleury's Contact Details

Emmanuel Fleury work email

Emmanuel Fleury personal email

n/a
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.

Emmanuel Fleury's Current Company Details
Université de Bordeaux

Université De Bordeaux

View
Associate Professor
Bordeaux, FR
Website:
droit.u-bordeaux.fr
Employees:
350
Emmanuel Fleury Work Experience Details
  • Université De Bordeaux
    Associate Professor
    Université De Bordeaux
    Bordeaux, Fr
    View
  • Université De Bordeaux
    Associate Professor
    Université De Bordeaux Nov 2005 - Present
    Talence, France
    View
  • Aalborg University
    Assistant Professor
    Aalborg University Jan 2002 - Oct 2005
    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.
    View
  • Aalborg University
    Postdoc
    Aalborg University Jan 2001 - Dec 2001
    I added to Uppaal an extension of the Timed Automata model that we found in LSV (ENS Cachan) during my PhD.
    View

Emmanuel Fleury Skills

Computer Science Formal Methods Formal Verification Model Checking Software Verification Program Analysis Static Analysis Abstract Interpretation Programming Software Engineering Software Development Computer Security Software Security Reverse Engineering Obfuscation X86 Assembly X86_64 Assembly Latex C C++ Java Python Ocaml Linux Kernel Unix Semantics

Emmanuel Fleury Education Details

Frequently Asked Questions about Emmanuel Fleury

What company does Emmanuel Fleury work for?

Emmanuel Fleury works for Université De Bordeaux

What is Emmanuel Fleury's role at the current company?

Emmanuel Fleury's current role is Associate Professor.

What is Emmanuel Fleury's email address?

Emmanuel Fleury's email address is em****@****eaux.fr

What schools did Emmanuel Fleury attend?

Emmanuel Fleury attended Ens Cachan, Université Paris Sud (Paris Xi), Université Paris Sud (Paris Xi).

What skills is Emmanuel Fleury known for?

Emmanuel Fleury has skills like Computer Science, Formal Methods, Formal Verification, Model Checking, Software Verification, Program Analysis, Static Analysis, Abstract Interpretation, Programming, Software Engineering, Software Development, Computer Security.

Not the Emmanuel Fleury you were looking for?

  • EMMANUEL FLEURY

    EMMANUEL FLEURY
    Toulon
  • Emmanuel Fleury

    Emmanuel Fleury
    Sales Manager Europe & Global Key Account Manager Chez Sensient Beauty - Vp Chez Société Française De Cosmétologie
    Saint-Ouen-L’aumône
    2
    sollicebiotech.com, free.fr
  • Emmanuel Fleury

    Emmanuel Fleury
    Comédien/Comédien Doublage/Voix Off/Voice Over/Voxing Pro
    Dijon
  • Emmanuel Fleury

    Emmanuel Fleury
    Réalisateur De Films Publicitaires / Documentaires / Institutionnels / Brand Content / Musicaux.
    Greater Paris Metropolitan Region
View similar profiles

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.