Sergio Steven Ramírez Rico
Profesor Asistente en la Escuela de Ciencias Aplicadas e Ingeniería de la Universidad EAFIT.
Resumen/Summary
Estoy interesado en la enseñanza de fundamentos y métodos formales para la computación, y sus aplicaciones. 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.
Mis intereses particulares son la teoría de la concurrencia, teoría del orden, lógica y álgebra. En general, me enfoco en métodos formales para modelar y analizar sistemas distribuidos multiagente.
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
En preparación
Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia. Counting and Computing Join-Endomorphisms in Lattices. (Journal version) Journal of Logical and Algebraic Methods in Programming - JLAMP 2022. DOI: https://doi.org/10.48550/arXiv.2211.00781
Miguel Romero, Sergio Ramírez, Camilo Rocha, Frank Valencia. A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification. DOI: https://doi.org/10.48550/arXiv.1909.03819
Enviado para evaluación
Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Frank Valencia. On the Computation of Distributed Knowledge as the Greatest Lower Bound of Knowledge (Submitted). Logical Methods in Computer Science - LMCS 2022. DOI: https://arxiv.org/abs/2210.08128
Publicados
Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Frank Valencia. Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge. Relational and Algebraic Methods in Computer Science - RAMiCS 2021. DOI: https://doi.org/10.1007/978-3-030-88701-8_25
Destacado. Versión de revista del artículo “Reasoning about Distributed Knowledge of Groups with Infinitely Many Agents” publicado en CONCUR 2019. Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia.
Reasoning about Distributed Information with Infinitely Many Agents. Journal of Logical and Algebraic Methods in Programming - JLAMP 2021. DOI: https://doi.org/10.1016/j.jlamp.2021.100674
Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia. Counting and Computing Join-Endomorphisms in Lattices. Relational and Algebraic Methods in Computer Science - RAMiCS 2020. DOI: https://doi.org/10.1007/978-3-030-43520-2_16
Destacado. Conferencia internacional más importante en concurrencia. Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia. Reasoning about Distributed Knowledge of Groups with Infinitely Many Agents. 30th International Conference on Concurrency Theory - CONCUR 2019. DOI:https://doi.org/10.4230/LIPIcs.CONCUR.2019.29
Sergio Ramírez, Miguel Romero, Camilo Rocha, Frank Valencia. Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. International Conference on Rewriting Logic and its Applications - WRLA 2018. DOI: https://doi.org/10.1007/978-3-319-99840-4_13
Sergio Ramírez, Camilo Rocha. Formal Verification of Safety Properties for a Cache Coherence Protocol. 10th Colombian Conference on Computing - 10CCC 2015. DOI: https://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. Bl 19