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:
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.