| Título | Verificación funcional de sistemas digitales complejos utilizando metodologías UVM e IA |
| Alumno | Islas Austria Juan Francisco |
| Programa | Doctorado en Ciencias de la Computación |
| Profesor |
|---|
| Alemán Arce Miguel Ángel |
| Barrón Fernández Ricardo |
| Villa Vargas Luis Alfonso |
| Ramírez Salinas Marco Antonio |