137 reputation
118
bio website labri.fr/~fleury
location France
age
visits member for 11 months
seen Feb 1 at 8:30

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.


This user has no recent positive reputation changes
This user has not answered any questions
Reverse Engineering 4,275 rep 21054
Stack Overflow 1,572 rep 2822
Area 51 1,017 rep 1313
Unix & Linux 236 rep 26
TeX - LaTeX 180 rep 1111

61 Votes Cast

all time   by type  
61 up 26 question
0 down 35 answer