Filipe Arruda is a full-stack web and mobile developer with experience in DevOps. In addition to his work in the industry, his main research interests are also in the field of software engineering, with a particular focus on software testing and applying formal methods to software design and analysis.