141 reputation
118
bio website labri.fr/~fleury
location France
age
visits member for 1 year, 3 months
seen Aug 14 at 11:40

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
Reverse Engineering 5,380 rep 21873
Stack Overflow 1,786 rep 2924
Area 51 1,177 rep 1314
Unix & Linux 238 rep 48
Server Fault 237 rep 117

66 Votes Cast

all time   by type   month  
66 up 28 question 1
0 down 38 answer