Raúl Monroy Borja - Faculty

"Tres capacidades son las que más me gustan de mi profesión: primero, la de transformar vidas; segundo, la de generar y transferir conocimiento; tercero, la de resolver problemas." Actualmente, Raúl Monroy Borja realiza investigaciones en la creación y aplicación de modelos de aprendizaje computacional (machine learning). 

Durante sus más de 30 años de experiencia se ha especializado en diferentes campos, siendo los más recientes la inteligencia artificial, la demostración automática de teoremas y las técnicas automáticas para la verificación de programas. La motivación principal en su especialización es la necesidad que tiene la industria de software de desarrollar programas que cumplan con las especificaciones, algo particularmente crítico cuando la salud, el medio ambiente, los recursos económicos y hasta la imagen de quienes están detrás del desarrollo pueden verse perjudicadas.

 Una aplicación popular en sus investigaciones se centra en el contexto de ciberseguridad, como es el caso de la detección de bots tanto en tráfico de redes sociales como en visitas a un sitio de comercio electrónico. También ha incursionado en el cuidado de la integridad personal y la inspección y control de dispositivos electromecánicos. 

Comprometido con la diseminación y adiestramiento de buenas prácticas, principios y metodologías para realizar investigación, Monroy Borja ha participado activamente en la creación y desarrollo de sociedades científicas. Señala que el principal reto de su profesión es inspirar a los estudiantes para que investiguen de manera pertinente y relevante, al gobierno e industrias para que provean los permisos, fondos y recursos humanos necesarios en una investigación, y a sus colegas para que se sumen a la lucha por encontrar soluciones.
 

• Métodos cuantitativos y simulación
• Métodos de investigación e innovación
• Sistemas operativos
• Taller para la investigación
• Técnicas computacionales de aprendizaje automático

Más cursos y claseskeyboard_arrow_right

• Doctor en Filosofía, University of Edimburgh
• M. en C. y Técn. de la Inform., University of Edimburgh
• Maestría en Ciencias con especialidad en Sistemas Computacionales, Tecnológico de Monterrey
• Ingeniero en Electrónica, Universidad Autónoma Metropolitana Unidad Iztapalapa

• WebMC for Browser Based Protocol Verification 2016 
• A Social Structure Model to Detect Anomalies in DNS Traffic 2015 
• FInding Friendships is Hard: the Phase Transition of Social Group Commonalities 2015 
• Hacia la construcción de una herramienta para la creación de bitácoras para Android 2015 
• Hacia la detección de impostores mediante un modelo basado en tareas 2013 

Más publicacioneskeyboard_arrow_right

• Network Security, Summer Course, conferida por University of Bremen, 2014
• Formal Verification of Web Applications, conferida por Google Faculty Research, 2013
• Member of the External Examination Committee to the National Research Centre for Mathematics, conferida por CIMAT, 2012
• Member of IBERAMIA, conferida por Inteligencia Artificial Journal Editorial Board, 2012
• NATO Scholarship to participate in the 1994 International Marktoberdorf Summer School, in Germany, conferida por NATO, 1993
• Sistema Nacional de Investigadores (SNI) - Nivel 3 (Monroy-Borja, Raúl)