Perfil profesional
La ingeniería de software ha sido mi carrera principal desde 1998. Si bien los primeros diez años se centraron en la programación y desarrollo web, desde entonces he evolucionado como arquitecta de software y me he adentrado en el mundo de la informática teórica.
El objetivo de mi trabajo es implementar una metodología hipotético-deductiva que utiliza la lógica formal para asegurar los componentes del software y prevenir vulnerabilidades.
Baso mis diseños en el principio de simplicidad, reduciendo el uso de dependencias para optimizar recursos, maximizar la portabilidad, facilitar la mantenibilidad y mitigar los riesgos de seguridad.
Por otra parte, todos mis proyectos implican el diseño de pruebas unitarias basadas en un modelo de valores tipificados mínimos y máximos permitidos. Este método reduce el tiempo de procesamiento de las pruebas unitarias, a la vez que garantiza la eliminación de componentes que no se ajustan a su definición formal.
Mi metodología de trabajo consiste en un modelo de desarrollo híbrido que integra algunos elementos del modelo en cascada dentro de un modelo iterativo incremental, incorporando técnicas de la programación extrema y el desarrollo ágil.
Credenciales
A lo largo de mi carrera, he participado en diversos proyectos de código abierto como miembro de OWASP, The Free Software
Foundation, y la Linux
Foundation.
Como ingeniera de software comprometida con la comunidad del software libre, he diseñado y desarrollado una amplia gama de herramientas para implementar, proteger y optimizar servidores Debian GNU/Linux,
así como motores de software y bibliotecas para Python y PHP.
He trabajado tanto en el sector público como en privado, y he estudiado una Licenciatura en Ciencias Informáticas. También he participado en proyectos científicos, lo que me ha llevado a formar parte de la
European
Association for Theoretical Computer Science (EATCS) durante algunos años.