Ismael Everardo Bárcenas es profesor de la Facultad de Ingeniería de la Universidad Nacional Autónoma de México. Su doctorado es en Ciencias de la Computación por la Universidad de Grenoble. Sus intereses de investigación principales son la teoría del razonamiento automático y su aplicación en áreas como representación del conocimiento y verificación formal. El Dr. Bárcenas es miembro del Sistema Nacional de Investigadoras e Investigadores (SNII) nivel 1, es profesor - investigador de Facultad de Ingeniería en la Universidad Nacional Autónoma de México (UNAM).
Profile
Ismael Everardo Bárcenas is an assistant professor in the Computing Engineer Department at the National University of Mexico. He holds a Ph. D. in computer science from the University of Grenoble. His main research interests are the theory of automated reasoning and its application in areas such as knowledge representation and formal verification. Ph.D. Bárcenas is a member of the Researchers National System Level 1 (SNI), professor - researcher of the Faculty of Engineering at the National Autonomous University of Mexico (UNAM).
