262 reputation
1315
bio website labri.fr/~fleury
location France
age
visits member for 2 years
seen Apr 24 at 20:18

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,897 rep 42988
Stack Overflow 2,109 rep 21334
Area 51 1,490 rep 1315
Unix & Linux 270 rep 412
Server Fault 267 rep 1313

113 Votes Cast

all time   by type   month  
113 up 51 question 2
0 down 62 answer