Everardo Bárcenas

Research interests

• Logic: modal logics, proof theory, automated reasoning, description logics, model checking

• Artificial intelligence: knowledge representation, planning, computer vision

Publications

Activities

• • Coordinator of the Artificial Intelligence Microsoft Lab 

  • National Researcher SNI-National Science and Technology Council 

  • Editorial board member of the Journal of Reliable Intelligent Environments

  • Organizing committee member:

    • Latin American New Methods of Reasoning Workshop (LANMR) 22

  • Program committee member:

    • Workshop on the Reliability of Intelligent Environments (22, 21)

    • International Conference on Intelligent Environments (IE) (23, 22, 21)

    • Latin American New Methods of Reasoning Workshop (LANMR) 20, 19 

    •  Mexican Conference on Pattern Recognition Student's Meeting (MCPR-SM) 20, 19, 18, 17

Projects

• • Automated reasoning for non-classical logics. PAPIIT (2022-2023)

  • Modal characterization of separation logics. PAPIIT (2020-2021)

  • Path planning with model checking. PROMEP (2013-2014)

Career

• Associate Professor University of Veracruz - National Science and Technology Council (CONACYT)

• Assistant Professor Universidad Politécnica de Puebla

• Postdoc Rice University

• Ph.D. Université de Grenoble, Institut National de Recherche en Informatique et en Automatique (INRIA) 

• M.Sc. Technische Universität Wien, Universidade NOVA de Lisboa

• B.Sc. Universidad Autónoma de Puebla

Teaching

• • Ingeniería en computación: Inteligencia Artificial, Estructura de Datos y Algoritmos I

  • Maestría en computación: Lógica computacional

Advising

• • Postdocs

    • Miguel Pérez. Algebraic methods for paraconsistent logics. 

  • PhD

    • Yensen Limón (co-advisor: E. Benítez). Automated reasoning for context-aware systems with modal logics. 

  • MSc

    • Diego Carrillo. A proof theory of multi-modal logics with converse.

    • René Dávila (co-advisor: R. Aldeco). Formal verification of blockchain tender systems. 

    • Rolando Ramírez (co-advisor: C. Mezura). Semantic reasoning for context-aware systems.

    •  Ari Rodríguez (co-advisor: E. Benítez). Gaze pattern recognition with model checking. 

    • Yensen Limón (co-advisor: E. Benítez). Independent analysis for semi-structured data.  

  • BEng 

    • Pablo Fernández. Path planning with model checking. 

    •  Diego Medina. Program verification with separation logics.