236 reputation
1313
bio website labri.fr/~fleury
location France
age
visits member for 1 year, 7 months
seen 2 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.


Reverse Engineering 5,213 rep 21870
Stack Overflow 1,638 rep 2923
Area 51 1,167 rep 1314
Unix & Linux 238 rep 48
Information Security 237 rep 1214

145 Votes Cast

all time   by type   month   week   day
144 up 73 question 8 6 6
1 down 72 answer