Dr. Miguel Carrillo Barajas

Interests: Research, Teaching, applications of logic in computer science, formal methods, model checking, modal logic, temporal logic, CTL model update, non-classical logic, automated reasoning, automated theorem proving, descriptive complexity. UNAM. Mexico.

Experiencia Curriculum Vitae

Nací en la ciudad de México y realicé estudios en la Universidad nacional autónoma de México (UNAM.) Obtuve una licenciatura en Matemáticas en la Facultad de Ciencias y obtuve un grado de Doctor en Ciencias de la Computación estudiando en el Instituto en Investigaciones en Matemáticas Aplicadas y Sistemas (IIMAS).

Fui becario graduado de la Sección de Informática Teórica del Departamento de Lenguajes y Sistemas Informáticos (LSI) de la Universidad Politécnica de Cataluña donde obtuve un Diploma de Estudios Avanzados en Informática.

He trabajado como investigador en: el Laboratorio Nacional de Informática Avanzada (LANIA); en el Instituto de Investigaciones Eléctricas (IIE); y en el Instituto del Fondo Nacional para la Vivienda de los Trabajadores (Infonavit). En estos puestos he realizando tareas de investigación, docencia, análisis, diseño y programación.

He impartido varios cursos en: la Facultad de Ciencias de la UNAM; el ITESM; la maestría del LANIA; y en la maestría en Inteligencia Artificial de la Universidad Veracruzana (MIA).

Docencia

Cursos en el semestre enero-mayo de 2015:

• Métodos Formales. L. en Ciencias de la Computación. Facultad de Ciencias, UNAM. Semestre 2015-2.
• Lógica Computacional. L. en Ciencias de la Computación. Facultad de Ciencias, UNAM. Semestre 2015-2.
• Lenguajes de Programación. ITESM Cd. de México. Semestre enero-mayo de 2015.
• Cursos anteriores

Publicaciones

1. Miguel Carrillo and David A. Rosenblueth. CTL update of Kripke models through protections. Artificial Intelligence, 211(0):51–74, 2014.
2. David A. Rosenblueth, Stalin Muñoz, Miguel Carrillo, and Eugenio Azpeitia. Inference of boolean networks from gene interaction graphs using a SAT solver. In Adrian Horia, Carlos Martín-Vide, and Bianca Truthe, editors, Algorithms for Computational Biology, AlCoB 2014, volume 8542 of Lecture Notes in Computer Science, pages 235–246. Springer, 2014.
3. Miguel Carrillo, Pedro A. Góngora, and David A. Rosenblueth. An overview of existing modeling tools making use of model checking in the analysis of biochemical networks. Frontiers in Plant Science, 3(155), 2012.
4. Miguel Carrillo and David A. Rosenblueth. A source of incompleteness in CTL update methods [en línea]. https://sites.google.com/site/miguelmcb/home/publicaciones/incompleteness-CTL-update-AIJ-2012.pdf, 2012. Consulta: enero 2014.
5. Gustavo Arellano, Julián Argil, Eugenio Azpeitia, Mariana Benítez, Miguel Carrillo, Pedro Arturo Góngora, David A. Rosenblueth, and Elena R. Alvarez-Buylla. “Ante-lope”: a hybrid-logic model checker for branching-time Boolean GRN analysis. BMC Bioinformatics, page 490, 2011.
6. Miguel Carrillo and David A. Rosenblueth. Nondeterministic update of CTL models by preserving satisfaction through protections. In Tevfik Bultan and Pao-Ann Hsiung, editors, Automated Technology for Verification and Analysis (ATVA 2011), volume 6996 of Lecture Notes in Computer Science, pages 60–74. Springer, 2011.
7. Miguel Carrillo and David A. Rosenblueth. A method for CTL model update, representing Kripke structures as “table systems”. International Journal of Pure and Applied Mathematics, 52(3):401–431, 2009.
8. Miguel Carrillo and David A. Rosenblueth. Learning models from temporal-logic proper-ties via explanations. In Thomas R. Roth-Berghofer, Stefan Schulz, and David B. Leake, editors, AAAI-07 workshop on Explanation-aware Computing ExaCt 2007, Technical Report WS-07-06, pages 10–13. AAAI Press, 2007.
9. Miguel Carrillo. ¿Máquina vs. hombre? u ¿Hombre vs. máquina? Ciencia y Desarrollo, (76), Sep 1987.

15-mayo-2016