LIX - École Polytechnique Palaiseau Santiago Quintero France Æ +33 (0) 7 67 39 73 30 Pabón Q [email protected]

Contact Information Last Name: Quintero Pabón Given Name: Santiago Birth Date: 21-oct-1994 Nationality: Colombian

Education Pontificia Universidad Javeriana Cali, CO + Five years B.Sc. Degree in Computer Science and Engineering, (equivalent to a master degree) 2012-2017 École Polytechnique Palaiseau, FR + PhD in Computer Sciences, Thesis: "Foundational approach to computation in today’s systems" 2018-Current Supervisors: Catuscia Palamidessi, Frank Valencia.

Work Experience COMETE at LIX, École Polytechnique Palaiseau, FR + PhD Student 2018-Current AVISPA research group at Pontificia Universidad Javeriana Cali, CO + Research Assistant 2018 PORTAL ACTUALICESE.COM S.A.S. Cali, CO + Development Analyst 2017-2018 COMETE research group at Inria-Saclay Palaiseau, FR + Research Intern November 2017 Pontificia Universidad Javeriana Cali, CO + Teaching Assistant 2014-2016

Teaching Assistant...... Courses: Introduction to Programming, Programming Fundamentals and Structures, Logic in Computer Science, Computability and Formal Languages, Introduction to Systems Modeling.

Major Projects......

+ October 2015 - June 2016: ’Financial inclusion for the emerging middle class in Colombia’ Designed, prototyped and developed a financial service and product for "Grupo SURA" as part of an interdisciplinary team with the University of St Gallen (Switzerland) and Stanford University (USA) in the ME310 Design Thinking course. Developed a companion hybrid-app using Cordova, AngularJS and the Ionic Framework.

Research Interests Information Security, Artificial Intelligence, Privacy, Logic in Computer Science, Distributed Systems, Concurrency Theory, Game Design.

1/2 Awards and Leadership

+ Ranked 1st (out of approx. 48900 Engineering graduates) at the National Compulsory Engineering Exam (SABER PRO - formerly ECAES in Spanish) by the Ministry of National Education. + Recipient of the "Orden al mérito académico javeriano" for achieving the highest cumulative GPA among the Computer Science and Engineering graduates, 92,2% . + Recipient of Magis Scholarship for academic merit PUJ, 2012 - 2017. + (2013-2, 2014-1, 2014-2, 2015-1, 2015-2, 2016-1, 2016-2) Academic Excellence Honor Mention for getting the highest GPA of the semester (among all Computer Science and Engineering students). + 8th place in The South America-North Latin America ACM ICPC 2016 Finals.

Technical skills

+ Programming Languages: Rust, C/C++, Python, Javascript, Typescript, Swift, Ruby, PHP, Java, Common Lisp, Coq, LaTeX.

+ Web Technologies/Frameworks: Node.js, Angular, ReactJS, ReactiveX, Gulp, Ruby on Rails, Ionic, Cordova, Firebase, AWS.

+ Tools: , Linux Terminal, Git, Android Studio, Xcode.

+ RDBMS: MySQL, PostgreSQL, Oracle, SQL Server.

Languages

+ Spanish (Native). + English (Fluent, written and spoken). + French (Basic).

Publications Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, and Frank Valencia. A multi-agent model for polarization under confirmation bias in social networks. In FORTE 2021 - 41st Int. Conf. on Formal Techniques for Distributed Objects, Components and Systems, volume abs/2104.11538, 2021.

Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, and Frank Valencia. Reasoning about distributed information with infinitely many agents. Journal of Logical and Algebraic Methods in Programming, page 100674, mar 2021.

Santiago Quintero, Sergio Ramirez, Camilo Rueda, and Frank Valencia. Counting and computing join- endomorphisms in lattices. In Uli Fahrenberg, Peter Jipsen, and Michael Winter, editors, Relational and Algebraic Methods in Computer Science, pages 253–269, Cham, 2020. Springer International Publishing.

Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, and Frank Valencia. Computing distributed knowledge in distributed lattices. In Recent Advances in Concurrency and Logic - Workshop, RADICAL 2019, August 26, 2019, Amsterdam, the Netherlands, 2019.

Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, and Frank Valencia. Reasoning about distributed knowledge of groups with infinitely many agents. In Wan J. Fokkink and Rob van Glabbeek, editors, 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands, volume 140 of LIPIcs, pages 29:1–29:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.

2/2