María Poza ha obtenido el título de doctora por la Universidad de La Rioja tras la defensa de su tesis titulada Certifying homological algorithms to study biomedical images (Certificación homológica de algoritmos para el estudio de imágenes biomédicas), que han dirigido el catedrático Julio Jesús Rubio y el profesor César Domínguez.
La fiabilidad del software bioinformático es uno de los aspectos claves para que su aplicación en problemas reales pueda tener validez científica. En esta tesis, la doctora Poza aborda el problema de generar programas correctos para el procesamiento de imágenes biomédicas, en el ámbito concreto de la neurofisiología.
Utilizando técnicas de Inteligencia Artificial (razonamiento mecanizado) ha conseguido desarrollar programas para el procesamiento homológico de imágenes, cuya corrección ha sido probada utilizando herramientas de demostración interactivas.
Como un subproducto de su investigación, se han formalizado partes de las matemáticas que hasta ahora no habían sido estudiadas desde este paradigma de las ciencias de la computación.
