Software security at the core

I'm a security researcher with Ada Logics where I specialize in security research and development, as well as vulnerability analysis services.

I focus on fuzzing, vulnerability analysis, program analysis, LLM-based research, and more broadly automation of offensive security research.

I contribute to a lot of open source projects, including:

• OSS-Fuzz
• Fuzz Introspector
• OSS-Fuzz-gen

I also audit software together with my colleagues and you can see a subset of vulns disclosed to GitHub projects here and here.

If you'd like to work together in a professional context please get in contact via my listed email or via Ada Logic's contact here.

Prior to Ada Logics, I completed my PhD at University of Oxford where I researched techniques for automating reverse engineering of advanced malware. My thesis is publicly available: Automated analysis of system-wide malware propagation.