236 reputation
1314
bio website labri.fr/~fleury
location France
age
visits member for 2 years
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,707 rep 42383
Stack Overflow 1,885 rep 2927
Area 51 1,282 rep 1314
Server Fault 267 rep 1310
Information Security 262 rep 1215

152 Votes Cast

all time   by type   month  
151 up 76 question 3
1 down 76 answer