ANGEL EDUARDO CUENCA ORTEGA
angel.cuencao@ug.edu.ec
TÍTULO DE DOCTORADO/PHD
Doctor en Informática
ESPECIALIDAD
Métodos Formales
REGISTRO PROFESIONAL SENESCYT
PhD 7241156793
LÍNEA DE INVESTIGACIÓN
Bioconocimiento y Desarrollo
REGISTRO DE INVESTIGADOR SENESCYT
7241156793
Carrera
Carrera de Software
DATOS DEL INVESTIGADOR
Nacionalidad: Ecuatoriano
Email institucional: angel.cuencao@ug.edu.ec
Organización: Universidad de Guayaquil
Palabra primaria: Ingeniería
Palabra secundaria: Ingeniería Informática
Palabras específicas: Métodos; Formales; Lenguajes
GRADOS ACADÉMICOS
- INGENIERO DE SISTEMAS
Universidad emisora: Universidad Politécnica Salesiana - DOCTOR DENTRO DEL PROGRAMA DE DOCTORADO EN INFORMATICA
- MASTER UNIVERSITARIO EN INGENIERIA DEL SOFTWARE METODOS FORMALES Y SISTEMAS DE INFORMACION EN LA ESPECIALIDAD TECNOLOGIA
PROYECTOS
PRODUCCIÓN CIENTÍFICA
ARTÍCULOS
| A PARTIAL EVALUATION FRAMEWORK FOR ORDER-SORTED EQUATIONAL PROGRAMS MODULO AXIOMS |
| INSPECTING MAUDE VARIANTS WITH GLINTS |
PONENCIAS
PREMIOS
REDES
- UNIVERSIDAD DE GUAYAQUIL