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.100674

Conferences

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_25

A 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_2

Counting 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_16

Reasoning 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