101 reputation
bio website labri.fr/~fleury
location France
visits member for 11 months
seen Jan 10 at 8:06

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
This user has not asked any questions
This user has not participated in any tags
Reverse Engineering 5,400 rep 21875
Stack Overflow 1,786 rep 2924
Area 51 1,182 rep 1314
Unix & Linux 238 rep 48
Server Fault 237 rep 117
This user has not earned any badges

0 Votes Cast

This user has not cast any votes