About Me
I successfully defended my PhD thesis on the 18th of January, 2022 at LIX - École Polytechnique under the supervision of Frank Valencia and Catuscia Palamidessi.
Research Interests
Information Security, Privacy, Artificial Intelligence, Logic in Computer Science, Distributed Systems, Concurrency Theory, Game Design.
Publications
Journals
Reasoning about distributed information with infinitely many agents
Journal of Logical and Algebraic Methods in Programming (JLAMP 2021)Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, and Frank Valencia.
DOI: 10.1016/j.jlamp.2021.100674Conferences
Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge
Relational and Algebraic Methods in Computer Science (RAMiCS 2021)Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Frank Valencia.
DOI: 10.1007/978-3-030-88701-8_25A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks
Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021)Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia.
DOI: 10.1007/978-3-030-78089-0_2Counting and Computing Join-Endomorphisms in Lattices
Relational and Algebraic Methods in Computer Science (RAMiCS 2020)Santiago Quintero, Sergio Ramírez, Camilo Rueda, and Frank Valencia
DOI: 10.1007/978-3-030-43520-2_16Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents
International Conference on Concurrency Theory (CONCUR 2019)Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, and Frank Valencia.
DOI: 10.4230/LIPICS.CONCUR.2019.29