Sergio Steven Ramírez Rico
Doctor en Ingeniería y Ciencias Aplicadas. Pontificia Universidad Javeriana - Cali.
Resumen/Summary
Estoy interesado en los fundamentos y métodos formales para la computación. En particular, teoría de lenguajes formales y autómatas, retículos (lattices), concurrencia, reescritura, lógica, matemáticas discretas, cálculos de procesos, modelamiento computacional de procesos, estructuras de datos, sistemas multiagente y distribuidos, y análisis y diseño de algoritmos.
Intereses académicos e investigativos/Research and Teaching Interest
- Teoría de la concurrencia.
- Teoría del orden.
- Lógica.
- Métodos formales para ciencias de la computación.
Estudios realizados/Education
Doctor en Ingeniería y Ciencias Aplicadas. Pontificia Universidad Javeriana - Cali. Colombia. Disertación: A Theory to Reason About Distributed Information.
2017-2021. Escuela Colombiana de Ingeniería Julio Garavito. Bogotá, Colombia. Matemático. Tesis: Especificación formal y verificación de invariantes para un protocolo de coherencia del caché. 2011 - 2015.
Ph.D. in Engineering and Applied Sciencies from Pontificia Universidad Javeriana Cali
B.S. in Mathematics from Escuela Colombiana de Ingeniería Julio Garavito-Bogotá
Mis publicaciones/ Publications
Michell Guzmán, Sophia Knight, Santiago Quintero, S Ramírez, Camilo Rueda, and Frank Valencia. Reasoning about distributed information with infinitely many agents. Journal of Logical and Algebraic Methods in Programming, 121:100674, June 2021. ISSN 23522208. URL https://www.doi.org/10.1016/j.jlamp.2021.100674
Carlos Pinzón, Santiago Quintero, Sergio Ramírez, and Frank Valencia. Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge. In Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, and Michael Winter, editors, Relational and Algebraic Methods in Computer Science, volume 13027, pages 413–432. Springer International Publishing, Cham, 2021. ISBN 978-3-030-88700-1 978-3-030-88701-8. URL https://www.doi.org/10.1007/978-3-030-88701-8_25
Santiago Quintero, Sergio Ramírez, Camilo Rueda, and Frank Valencia. Counting and Computing Join Endomorphisms in Lattices. In Uli Fahrenberg, Peter Jipsen, and Michael Winter, editors, Relational and Algebraic Methods in Computer Science, volume 12062, pages 253–269. Springer International Publishing, Cham, 2020. ISBN 978-3-030-43519-6 978-3-030-43520-2. URL https://www.doi.org/10.1007/978-3-030-43520-2_16
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, and Frank Valencia. Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. LIPIcs, Volume 140, CONCUR 2019, 140:29:1–29:15, 2019. ISSN 1868-8969. URL https://www.doi.org/10.4230/LIPICS.CONCUR.2019.29
Sergio Ramírez, Miguel Romero, Camilo Rocha, and Frank Valencia. Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. In Vlad Rusu, editor, Rewriting Logic and Its Applications, volume 11152, pages 226–244. Springer International Publishing, Cham, 2018. ISBN 978-3-319-99839-8 978-3-319-99840-4. URL https://www.doi.org/10.1007/978-3-319-99840-4_13
Sergio Ramírez and Camilo Rocha. Formal verification of safety properties for a cache coherence protocol. In 2015 10th Computing Colombian Conference (10CCC), pages 9–16, Bogota, Colombia, September 2015. IEEE. ISBN 978-1-4673-9464-2. URL https://www.doi.org/10.1109/ColumbianCC.2015.7333399
Datos de contacto
Correo
ssramirezr@eafit.edu.co
Dirección
Carrera 49 N 7 sur 50, Medellín-Colombia. Bloque 19 - oficina 411