16,811
reputation
23
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

150
answers
64
questions
~1.1m
people reached

Top tags (125)

Score 159
Posts 55
Posts % 26
Score 138
Posts 46
Score 103
Posts 14
Score 95
Posts 13
Score 72
Posts 26
Score 67
Posts 14

Top posts (214)

View all questions and answers

Badges (241)

Gold

23

Rarest

Silver

76

Rarest

Bronze

142

Rarest