107 reputation
bio website labri.fr/~fleury
location France
visits member for 1 year, 3 months
seen 19 hours ago

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,193 rep 21870
Stack Overflow 1,624 rep 2923
Area 51 1,167 rep 1314
Unix & Linux 238 rep 48
Information Security 237 rep 1214

32 Votes Cast

all time   by type   month   week  
32 up 14 question 4 3
0 down 18 answer