16,396
reputation
22
75
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 157
Posts 55
Posts % 26
Score 137
Posts 46
Score 100
Posts 14
Score 92
Posts 13
Score 71
Posts 26
Score 66
Posts 21

Top posts (214)

View all questions and answers

Badges (239)

Gold

22

Rarest

Silver

75

Rarest

Bronze

142

Rarest