17,321
reputation
25
77
143

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 161
Posts 56
Posts % 26
Score 144
Posts 46
Score 108
Posts 14
Score 97
Posts 13
Score 74
Posts 26
Score 70
Posts 14

Top posts (215)

View all questions and answers

Badges (245)

Gold

25

Rarest

Silver

77

Rarest

Bronze

143

Rarest