17,411
reputation
25
78
144

perror

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.

profile for perror on Stack Exchange, a network of free, community-driven Q&A sites

151
answers
64
questions
~1.3m
people reached

Top tags (125)

Score 164
Posts 56
Posts % 26
Score 147
Posts 46
Score 107
Posts 14
Score 96
Posts 13
Score 75
Posts 26
Score 71
Posts 14

Top posts (215)

View all questions and answers

Badges (247)

Gold

25

Rarest

Silver

78

Rarest

Bronze

144

Rarest