Mujeres en computación teórica y programas correctos por construcción

Autor(s): Lourdes del Carmen González Huesca

En esta década del siglo XXI ya no es posible prescindir de un dispositivo digital o de alguna app, sencillamente estamos ligadas al mundo de la programación ya sea como usuarias o como desarrolladoras. Los programas que usamos deben ser diseñados y construidos para la interacción con el ser humano y por tanto, una vez implementados deben tener el mínimo de errores para que puedan ser usados de forma segura. En esta plática comentaremos los principios sobre cómo es posible usar un programa para generar otros programas sin errores y que al mismo tiempo cumplan con las especificaciones de su diseño. Además mencionaremos a algunas mujeres involucradas en el desarrollo de sistemas de manejo de demostraciones, herramientas que favorecen verificaciones de sistemas y formalizaciones matemáticas.