247 reputation
bio website labri.fr/~fleury
location France
visits member for 1 year, 5 months
seen Sep 5 at 6:27

I hold a position of associate professor in the group Model & Verification in the team Formal Methods within the LaBRI at the University of Bordeaux (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.

Reverse Engineering 5,420 rep 21876
Stack Overflow 1,808 rep 2924
Area 51 1,192 rep 1314
Information Security 247 rep 1215
Unix & Linux 238 rep 48
This user has no active bounties

109 Votes Cast

all time   by type  
109 up 50 question
0 down 59 answer