Hi! I do research in binary analysis and deductive verification. Lately, I have been particularly interested in declarative frameworks for static analyses.

All opinions are my own