Omitir los comandos de cinta
Saltar al contenido principal
Inicio de sesión
Universidad EAFIT
Carrera 49 # 7 sur -50 Medellín Antioquia Colombia
Carrera 12 # 96-23, oficina 304 Bogotá Cundinamarca Colombia
(57)(4) 2619500 contacto@eafit.edu.co

Docentes e investigadores EAFIT Sergio Steven Ramírez Rico

EAFITDocentes e investigadores EAFITSergio Steven Ramírez Rico

Sergio Steven Ramírez Rico

​Área de Ciencias Fundamentales​​

Información general

Profesor Asistente en la Escuela de Ciencias Aplicadas e Ingeniería de la Universidad EAFIT.

Contacto

Ver CVLac​​ ​


Resumen CV / 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á

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​
Última modificación: 17/08/2023 12:24