Area 51 » perror
|
Registered User
|
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. |
0 |
Proposals |
0 |
Current Commitments |
1 |
Fulfilled Commitment |
Reverse Engineering
For researchers and developers who explore the principles of a system through analysis of its structure, function, and operation.0 |
Followed |
1518 | Votes Cast |
1487 up
31 down