Professional Profile
Software engineering has been my primary career since 1998. While the
first ten years were focused on software programming and web
development, I have since evolved as a software architect and delved
into the world of theoretical computer science.
The thrust of my work focuses on implementing a
hypothetical-deductive methodology that uses formal
logic to secure software components, preventing vulnerabilities.
I base my software designs on the principle of
simplicity, reducing the use of dependencies to optimise
resources, maximise portability, facilitate maintainability, and
mitigate security risks.
In addition, all my projects involve the design of unit tests
based on a model of minimum and maximum allowed typed values.
This method reduces testing process time while ensuring the removal of
components that do not fit with their formal definition.
My working methodology consists of a hybrid software
development model that integrates some elements of the
waterfall model within an iterative incremental model, incorporating
techniques from extreme programming.
Credentials
Over the course of my career, I have taken part in diverse
open-source projects as a member of OWASP, The Free Software
Foundation, and the Linux
Foundation.
As a software engineer committed to the free software community, I
have designed and developed a wide range of tools for deploying,
securing, and optimising Debian GNU/Linux servers,
as well as software engines and libraries for Python and PHP.
Having worked in both the public and private sectors and studied for
a Bachelor of Science in Computer Science, I have also been engaged in
scientific endeavours. This involvement has led me to become part of the
European
Association for Theoretical Computer Science (EATCS) for some
years.