I'm a security researcher with Ada Logics where I specialize in security research and development, as well as vulnerability analysis services.
Prior to this, I was doing a PhD at University of Oxford where I researched techniques for automating reverse engineering. My thesis is publicly available: Automated analysis of system-wide malware propagation.
With Ada Logics 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.
Reach out if you have software security projects such as security auditing or tool development. I'm always open for interesting projects and 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.