237 reputation
bio website labri.fr/~fleury
location France
visits member for 1 year, 4 months
seen Aug 11 at 11:08

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,400 rep 21875
Stack Overflow 1,788 rep 2924
Area 51 1,187 rep 1314
Unix & Linux 238 rep 48
Server Fault 237 rep 127

109 Votes Cast

all time   by type  
109 up 50 question
0 down 59 answer