Research output per year
Research output per year
Research activity per year
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.
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
PhD, Doctor of Philosophy in Computer Science, University of Illinois
Award Date: 24 Dec 2012
Master, Magister of Science in Mathematics, University of Illinois
Award Date: 24 Dec 2012
Master, Magíster en Ingeniería de Sistemas y Computación, Universidad de los Andes Colombia
Award Date: 17 Sep 2005
Bachelor, Ingeniero de Sistemas y Computación, Universidad de los Andes Colombia
Award Date: 21 Sep 2002
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Valencia Posso, F. D. (PI), Jaramillo Ruiz, F. (CoI), Ramirez Restrepo, C. A. (CoI), Rocha Niño, H. C. (CoI), Sierra Suarez, L. P. (CoI) & Tobon Llano, L. E. (CoI)
17/08/22 → 17/08/26
Project: Research
Herrera, A. (PI), Macea-Mercado, L. F. (PI), Cardozo, N. (CoI), Rocha Niño, H. C. (CoI) & Sanabria, M. (CoI)
05/07/23 → 04/01/25
Project: Research
Rocha Niño, H. C. (PI) & Ramirez Restrepo, C. A. (CoI)
01/10/22 → 30/11/24
Project: Research
Pomares-Quimbaya, A. (PI), Finke Ortiz, J. (CoI), Montero Posada, A. (CoI) & Rocha Niño, H. C. (CoI)
04/02/22 → 03/02/25
Project: Research
Cepeda Gil, M. C. (PI), Alvarado Rojas, C. (CoI), Castro Diaz, S. M. (CoI), Combariza Gonzalez, G. A. (CoI), Finke Ortiz, J. (CoI), Gil Laverde, J. F. A. (CoI), Jaramillo Ramírez, D. (CoI), Lucio Arias, D. P. (CoI) & Rocha Niño, H. C. (CoI)
15/05/20 → 14/04/21
Project: Research