Aellison is a Formal Verification Engineer currently auditing protocols and Smart Contracts, as well as developing tooling for blockchain DevEx and formal verification. He received his M.Sc. degree in Formal Methods from the Federal University of Paraíba in 2020. Previously, he worked as a software analyst and researcher exploring various fields, including computer and network security, IoT systems, networks, finance, and monetary fraud detection/prevention.