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.
Q&A for researchers and developers who explore the principles of a system through analysis of its structure, function, and operation
Q&A for professional and enthusiast programmers
Stack Exchange Network staging zone, where users come together to build new Q&A sites
Q&A for users of Linux, FreeBSD and other Un*x-like operating systems
Q&A for information security professionals
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Q&A for software developers, mathematicians and others interested in cryptography
Q&A for system and network administrators
Q&A for computer enthusiasts and power users
Q&A for those using, extending or developing Emacs
Q&A for students, researchers and practitioners of computer science