17,231
reputation
25
76
142

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.2m
people reached

Top tags (125)

Score 161
Posts 56
Posts % 26
Score 143
Posts 46
Score 107
Posts 14
Score 97
Posts 13
Score 72
Posts 26
Score 69
Posts 21

Top posts (215)

View all questions and answers

Badges (243)

Gold

25

Rarest

Silver

76

Rarest

Bronze

142

Rarest