132 reputation
118
bio website labri.fr/~fleury
location France
age
visits member for 1 year, 4 months
seen Aug 12 at 21:26

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

42 Votes Cast

all time   by type   month  
42 up 18 question 1
0 down 24 answer