|
Noé Salomón Hernández S.
|
|
I obtained a first degree in Computer Science in 2012, and a Master's degree in Computer Science in 2014. Since January, 2015, I work as a research assistant for the Department of Computer Science at IIMAS, UNAM. My main research interests are model checking, formal verification, programming languages, and programming of robotic tasks for the robot Golem (see Golem team's web site here).
I also enjoy being a lecturer at School of Sciences, where I was a teaching assistant from 2010 to 2011, and then became a lecturer in 2012. A list of the courses I have taught can be found here.
Publications
- R. Morales, N. Hernández, R. Cruz, V. D. Cruz, and L. A. Pineda. Entropic associative memory for manuscript symbols. In: PLoS ONE 17(8):e0272386, 2022. DOI: 10.1371/journal.pone.0272386
- L. A. Pineda, N. Hernández, A. Rodríguez, R. Cruz, and G. Fuentes. Deliberative and Conceptual Inference in Service Robots. In: Applied Sciences, vol. 11, no. 4, 2021. DOI: 10.3390/app11041523
- L. A. Pineda, N. Hernández, I. Torres, G. Fuentes, and N. Pineda De Avila. Practical non-monotonic knowledge-base system for un-regimented domains: A Case-study in digital humanities. In: Information Processing & Management, vol. 57, no. 3, 2020. DOI: 10.1016/j.ipm.2020.102214
- I. Torres, N. Hernández, A. Rodríguez, G. Fuentes, and L. A. Pineda. Reasoning with preferences in service robots. In: Journal of Intelligent & Fuzzy Systems, vol. 36, no. 5, pp. 5105-5114, 2019. DOI: 10.3233/JIFS-179055
- L. A. Pineda, A. Rodríguez, G. Fuentes, N. Hernández, M. Reyes, C. Rascón, R. Cruz, I. Vélez, and H. Ortega. Opportunistic inference and emotion in service robots. In: Journal of Intelligent & Fuzzy Systems, vol. 34, no. 5, pp. 3301-3311, 2018. DOI: 10.3233/JIFS-169512
- M. E. Caballero, N. S. Hernández, V. M. Rivero, G. U. Bravo, and C. Velarde. Cadenas de Markov: Un enfoque elemental. Aportaciones Matemáticas. Textos. January 2017.
- N. Hernández, K. Eder, E. Magid, J. Savage, and D. A. Rosenblueth. Marimba: A tool for verifying properties of hidden Markov models. In: Finkbeiner, B., Pu, G., Zhang, L. (eds.) ATVA 2015. LNCS, vol. 9364, pp. 201-206. Springer, Heidelberg (2015). DOI: 10.1007/978-3-319-24953-7_14
- N. Hernández. Model checking based on the hidden Markov model and its application to human-robot interaction. Master's thesis, Universidad Nacional Autónoma de México, México (2014).
- N. Hernández. El contenido computacional de la lógica clásica a través de los cálculos λC y λμ con tipos. Thesis (in Spanish) to obtain the degree of Bachelor of Science. Universidad Nacional Autónoma de México, México (2012).
Students
- Javier Diego-Fernández Chaparro-Plata, with the thesis (in Spanish) Implementación de un verificador de modelos CTL símbolico en Haskell, graduated as Computer Engineer. Faculty of Engineering, Universidad Nacional Autónoma de México (2019).
Conferences
- Attendant to the VII Latin-American Algorithms, Graphs, and Optimization Symposium (LAGOS 2013). April 22-26, 2013.
- Speaker at the XLIV Congreso de la Sociedad Matemática Mexicana. Talk title: Operadores de control y su relación con la lógica clásica a través de los cálculos lambda-C y lambda-mu con tipos. October 9 - 14, 2011.
Contact information
Email:nohernan@unam.mx
nohernan@turing.iimas.unam.mx
Address:
Department of Computer Science,
Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas,
Universidad Nacional Autónoma de México,
Circuito Escolar,
Ciudad Universitaria,
04510, Ciudad de México,
México.
Last modified: