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 TeX, LaTeX, ConTeXt, and related typesetting systems
Q&A for software developers, mathematicians and others interested in cryptography
Q&A for Information security professionals
Q&A for professional system and network administrators
Q&A for computer enthusiasts and power users
Q&A for power users of web applications
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Q&A for users of Linux, FreeBSD and other Un*x-like operating systems.
Q&A for professional programmers interested in conceptual questions about software development
Q&A for students, researchers and practitioners of computer science