141 reputation
bio website labri.fr/~fleury
location France
visits member for 1 year, 6 months
seen Nov 7 at 16:44

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.

This user has not answered any questions
Reverse Engineering 5,657 rep 42281
Stack Overflow 1,886 rep 2927
Area 51 1,282 rep 1314
Information Security 262 rep 1215
Unix & Linux 248 rep 48

66 Votes Cast

all time   by type  
66 up 28 question
0 down 38 answer