140 reputation
1111
bio website labri.fr/~fleury
location France
age
visits member for 1 year
seen Mar 12 at 14:07

I hold a position of associate professor in the group Model & Verification in the team Formal Methods within the LaBRI at Bordeaux-1 University (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 4,275 rep 21054
Stack Overflow 1,572 rep 2822
Area 51 1,017 rep 1313
Unix & Linux 236 rep 26
TeX - LaTeX 180 rep 1111

104 Votes Cast

all time   by type  
104 up 49 question
0 down 55 answer