252 reputation
1215
bio website labri.fr/~fleury
location France
age
visits member for 1 year, 6 months
seen 2 days 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,507 rep 42278
Stack Overflow 1,830 rep 2927
Area 51 1,242 rep 1314
Information Security 252 rep 1215
Unix & Linux 248 rep 48

111 Votes Cast

all time   by type   month   week  
111 up 50 question 2 2
0 down 61 answer