146 reputation
bio website labri.fr/~fleury
location France
visits member for 1 year, 10 months
seen Mar 13 at 7:42

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,842 rep 42884
Stack Overflow 2,061 rep 21031
Area 51 1,470 rep 1315
Unix & Linux 268 rep 48
Server Fault 267 rep 1310

67 Votes Cast

all time   by type  
67 up 29 question
0 down 38 answer