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