Projects per year
Projects
- 2 Active
Search results
-
Active
Probabilistic and symbolic tools for p program verification
Rocha Niño, H. C. (PI) & Ramirez Restrepo, C. A. (CoI)
01/10/22 → 30/11/24
Project: Research
-
Investigación en modelos computacionales de redes sociales aplicados a la polarización en el valle del cauca
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