262 reputation
bio website labri.fr/~fleury
location France
visits member for 1 year, 11 months
seen Feb 20 at 8:19

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,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

111 Votes Cast

all time   by type  
111 up 50 question
0 down 61 answer