Grado (Área o especialidad):
Lic. en Matemáticas,
Mtro. en Matemáticas,
Doctorado en Matemáticas: Deducción matemática y computacional de algoritmos.
Líneas de investigación ( y/o de interes):
* Algoritmos distribuidos
* Modelos computacionales (lógicos y cuáticos)
* Deducción formal de programas
Publicaciones de los últimos 3 años:
2019:
* Actividades colaborativas en sistemas distribuidos construidos con Erlang. Comia 2019. Autores: Gerardo Carreño García Manuel Hernández Gutiérrez
* Mapas conceptuales colaborativos basados en grafos distribuidos Jorge Hernández Perales Manuel Hernández Gutiérrez Gerardo Carreño García
Actividades destacadas:
De enero a mayo de 2019:
*Instructor de un Curso de Cómputo Cuántico.
*Coordinador del comité académico de una Reunión de Cómputo Cuántico a realizarse en noviembre de 2019 en la UTM.
*Coordinador de la Maestría en Tecnologías de Cómputo Aplicado, Unidad de Posgrado, UTM.
Grado (Área o especialidad):
Maestría en Redes de Computadoras
Líneas de investigación ( y/o de interes):
* Seguridad computacional, TIC y Educación a distancia
Publicaciones de los últimos 3 años:
*Ver C.V. (aquí)
Actividades destacadas:
17 de junio de 2016 al 16 de junio de 2019
*Reconocimiento a Perfil Deseable PRODEP
23 de juio de 2013 al 22 de julio de 2016
*Reconocimiento a Perfil Deseable PRODEP
abril 2017 a la fecha
*Coordinadora de la Universidad Virtual
Grado (Área o especialidad):
Doctorado en Ciencias de la Computación, especialidad en Ingeniería de Software
Líneas de investigación ( y/o de interes):
* Especificación formal de software
* Modelos de software
Publicaciones de los últimos 3 años:
* Leon, A., Fernández-y-Fernández, C. A., & Aguilar Cisneros, J. R. (2018). Modelación y verificación de la especificación de un sistema de control de eventos de post colisión de automóviles con OCL. Abstraction & Application.
* Aguilar Cisneros, J. R., Juarez Vazquez, J., & Fernández-y-Fernández, C. A. (2018). Innovation Strategy to Automotive Sector through a Software Development Perspective. In 6th International Conference in Software Engineering Research and Innovation (pp. 132–138). SLP, SLP, México: IEEE Computer Society. http://doi.org/10.1109/CONISOFT.2018.00026
*Gerardo Cruz González, Carlos Alberto Fernández y Fernández, and Felipe Trujillo Romero. 2018. Estudio contextual y propuesta de interfaz para la práctica de la lengua de señas mexicana en la mixteca oaxaqueña. Abstr. Appl. 20, 2018 (2018), 12–23. ISSN: 2007-2635
* Gil Hernández-ledesma, Erik G Ramos, Carlos Alberto Fernandez-y-Fernandez, Jorge Rafael Aguilar Cisneros, Juan J. Rosas-Sumano, and Luis A. Morales-Ignacio. 2017. Selection of Best Software Engineering Practices : A Multi-Criteria Decision Making Approach Basic Concepts of Multi-Criteria Decision Making. Res. Comput. Sci. 136 (2017), 47–60. ISSN:1870-4069
Actividades destacadas:
*Miembro del Comité Directivo de la Conferencia Internacional de Investigación e Innovación en Ingeniería de Software (CONISOFT)
*Miembro de la Academia Mexicana de Computación, sección académica de Ingeniería de Software (AMEXCOMP)
*Miembro de IEEE Computer Society Technical Council on Software Engineering.