248 reputation
48
bio website labri.fr/~fleury
location France
age
visits member for 1 year, 8 months
seen Feb 19 at 14:55

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 asked any questions
Reverse Engineering 5,787 rep 42784
Stack Overflow 2,055 rep 21031
Area 51 1,475 rep 1315
Server Fault 267 rep 1310
Information Security 262 rep 1215

16 Votes Cast

all time   by type  
16 up 8 question
0 down 8 answer