Hoja de vida |
Nombre |
Sergio Steven Ramírez Rico
|
Nombre en citaciones |
Sergio Ramírez |
Nacionalidad |
Colombiana |
Sexo |
Masculino |
|
|
|
Formación Académica |
|
Doctorado
PONTIFICIA UNIVERSIDAD JAVERIANA - PUJ - SEDE CALI
DOCTORADO EN INGENIERÍA Y CIENCIAS APLICADAS
Enerode2017 - Septiembrede 2021
A Theory to Reason About Distributed Information |
|
Pregrado/Universitario
ESCUELA COLOMBIANA DE INGENIERIA JULIO GARAVITO
Matemáticas
Enerode2011 - Septiembrede 2015
Especificación formal y verificación de invariantes para un protocolo de coherencia del caché |
|
|
Estancias posdoctorales |
|
INRIA (Institut national de recherche en sciences et technologies du numérique)
Computación
Desde: Noviembre de 2020
Hasta: Diciembre de 2021
Pinzón, C., Quintero, S., Ramírez, S., Valencia, F. (2021). Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge. In: Fahrenberg, U., Gehrke, M., Santocanale, L., Winter, M. (eds) Relational and Algebraic Methods in Computer Science. RAMiCS 2021. Lecture Notes in Computer Science(), vol 13027. Springer, Cham. https://doi.org/10.1007/978-3-030-88701-8_25 |
|
Experiencia profesional |
|
UNIVERSIDAD EAFIT
Dedicación: 47 horas Semanales
Julio de 2021
de
Actividades de docencia
-
Pregrado
- Nombre del curso: Lenguajes formales y compiladores, 35
Enero 2022
Enero
|
|
ESCUELA COLOMBIANA DE INGENIERIA JULIO GARAVITO
Dedicación: 15 horas Semanales
Julio de 2015
Diciembre de 2016
|
|
Colegio De Estudios Superiores De Administracion - Cesa
Dedicación: 20 horas Semanales
Julio de 2015
Diciembre de 2016
|
|
Áreas de actuación |
Ciencias Naturales -- Matemática -- Matemáticas Aplicadas |
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación |
|
Idiomas |
|
Habla |
Escribe |
Lee |
Entiende |
Español |
Bueno |
Bueno |
Bueno |
Bueno |
Inglés |
Bueno |
Bueno |
Bueno |
Bueno |
|
Líneas de investigación |
Sistemas concurrentes, distribuidos y multiagentes, Activa:Si |
|
|
|
Los ítems de producción con la marca corresponden a productos avalados y validados para la última Convocatoria Nacional para el Reconocimiento y Medición de Grupos de Investigación, Desarrollo Tecnológico o de Innovación y para el Reconocimiento de Investigadores del SNCTeI |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Artículos |
Producción bibliográfica - Artículo - Publicado en revista especializada
|
SERGIO STEVEN RAMIREZ RICO,
FRANK VALENCIA,
"Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge"
. En:
LECTURE NOTES IN COMPUTER SCIENCE
ISSN: 1611-3349
ed: springer verlag
v.13027
fasc.N/A
p.413
- 432
,2021,
DOI: 10.1007/978-3-030-88701-8_25
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
SERGIO STEVEN RAMIREZ RICO,
FRANK VALENCIA,
CAMILO RUEDA CALDERON,
"Reasoning about distributed information with infinitely many agents"
. En:
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
ISSN: 2352-2208
ed: Elsevier Bv
v.121
fasc.N/A
p.
-
,2021,
DOI: 10.1016/j.jlamp.2021.100674
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
SERGIO STEVEN RAMIREZ RICO,
FRANK VALENCIA,
CAMILO RUEDA CALDERON,
"Counting and Computing Join-Endomorphisms in Lattices"
. En: Francia
LECTURE NOTES IN COMPUTER SCIENCE
ISSN: 0302-9743
ed: springer verlag
v.12062
fasc.N/A
p.253
- 269
,2020,
DOI: 10.1007/978-3-030-43520-2_16
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
SERGIO STEVEN RAMIREZ RICO,
"Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents"
. En: Alemania
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS LIPICS
ISSN: 1868-8969
ed: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
v.140
fasc.
p.1
- 15
,2019,
DOI: 10.4230/LIPIcs.CONCUR.2019.29
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
SERGIO STEVEN RAMIREZ RICO,
HERNAN CAMILO ROCHA NINO,
MIGUEL ANGEL ROMERO GONZALEZ,
FRANK VALENCIA,
"Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming"
. En: Grecia
LECTURE NOTES IN COMPUTER SCIENCE
ISSN: 0302-9743
ed: springer verlag
v.11152
fasc.
p.226
- 244
,2018,
DOI:
|
Producción bibliográfica - Artículo - Corto (Resumen)
|
SERGIO STEVEN RAMIREZ RICO,
HERNAN CAMILO ROCHA NINO,
"Formal Verification of Safety Properties for a Cache Coherence Protocol"
. En: Colombia
N/A
ISSN: 2323-0223
ed:
v.10
fasc.
p.9
- 16
,2015,
DOI: 10.1109/ColumbianCC.2015.7333399
Palabras:
Safety,
Protocols,
Coherence,
Algebra,
Mathematical model,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|