Camilo Rocha

Ingeniería y Ciencias

Cuenta con amplia experiencia en proyectos de investigación fundamental, investigación aplicada y consultoría en métodos formales e inteligencia artificial. Ha sido docente e investigador en áreas de computación, matemáticas y biología, que incluyen la creación de nuevos lenguajes de programación para misiones espaciales autónomas; técnicas algorítmicas, simbólicas y probabilísticas para analizar sistemas de misión crítica como protocolos de comunicación y navegadores seguros; algoritmos de optimización que usan machine learning sobre grafos de gran tamaño para analizar eficiencia y seguridad de blockchain, entre otros. Ha sido investigador principal y co-investigador en proyectos de gran escala financiados con fondos nacionales e internacionales, ha dirigido a estudiantes de pregrado, maestría y doctorado, y ha sido galardonado con reconocimientos internacionales como Amazon Research Awards.

Su producción académica ha estado orientada a la investigación en lógica de reescritura y, más ampliamente, en lógica computacional; a la especificación y verificación algorítmica, deductiva y probabilística de sistemas de software y hardware concurrentes; y a la predicción de propiedades en grafos usando inteligencia artificial. Es miembro del grupo de investigación Ambientes Visuales de Programación Aplicativa (AVISPA - MinCiencias A1) y es investigador Senior según clasificación de MinCiencias. Actualmente es el decano de la Facultad de Ingeniería y Ciencias.

Pregrado

Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP), 2016.
Escuela Colombiana de Ingeniería Julio Garavito. Estado: Tesis concluida Ingeniería de Sistemas y Computación. Estudiante: Miguel Ángel Romero González. Dirigió como: Tutor principal.
Especificación formal y verificación de invariantes para un protocolo de coherencia del caché, 2015.
Escuela Colombiana de Ingeniería Julio Garavito. Estado: Tesis concluida. Programa: Matemáticas. Estudiante: Sergio Steven Ramírez Rico. Dirigió como: Tutor principal.
Plataforma de Pruebas para un Laboratorio de Ingeniería de Software, 2005
Escuela Colombiana de Ingeniería Julio Garavito. Estado: Tesis concluida. Estudiante: Dagoberto Borda, Juan Carlos Martínez, Diego Neira. Áreas: Ciencias Naturales, Computación y Ciencias de la Información, Ciencias de la Computación. Sectores: Desarrollo de programas y prestación de servicios en informática, Desarrollo de programas.
Un modelo de componentes confiables, 2005.
Escuela Colombiana de Ingeniería Julio Garavito. Estado: Tesis concluida. Estudiante: Diego Labrador, Juan David Millán, Hugo Rey, Jimena Torres. Áreas: Ciencias Naturales, Computación y Ciencias de la Información, Ciencias de la Computación. Sectores: Desarrollo de programas y prestación de servicios en informática - Desarrollo de programas.
Agenda Virtual, un proceso integral de desarrollo de software, 2004.
Escuela Colombiana de Ingeniería Julio Garavito. Estado: Tesis concluida. Estudiante: Andrea Moreno, Marcela Moreno, Mauricio Niño. Áreas: Ciencias Naturales, Computación y Ciencias de la Información, Ciencias de la Computación. Sectores: Desarrollo de programas y prestación de servicios en informática, Desarrollo de programas.

Posgrado

Estimating Formation Mechanisms and Degree Distributions in Mixed Attachment Networks, 2017.
Pontificia Universidad Javeriana Cali. Estado: Tesis concluida. Programa. Maestría en Ingeniería. Estudiantes: Jan Medina. Dirigió como: Coturor / asesor. Áreas: Ciencias Naturales, Matemática, Estadísticas y Probabilidades (Investigación en Metodologías).
Towards an Algorithmic Selection of Spreaders in Twitter, 2017.
Pontificia Universidad Javeriana Cali. Estado: Tesis concluida. Programa: Maestría en Ingeniería. Estudiante: Arturo Duque Marón. Dirigió como: Tutor principal. Áreas: Ciencias Naturales, Computación y Ciencias de la Información, Ciencias de la Computación.
Modelos de optimización del programa de intercambio de riñones con múltiples etapas, 2017.
Escuela Colombiana de Ingeniería Julio Garavito. Estado: Tesis concluida. Programa: Maestría en Ingeniería Industrial. Estudiante: Edna Rocío Pérez Malaver. Dirigió como: Coturor/asesor. Áreas: Ingeniería y Tecnología, Biotecnología Industrial, Biotecnología Industrial.

Búsqueda

Ingeniería y Ciencias

Perfil

Participación académica

Trabajos y tutorías