Who I am.

My name is Andrés Román Saravia. I am a PhD graduate in Computer Science (CS) and Master Degree advanced student in Applied Mathematics at FaMAF-UNC, Argentina. I finished my Master thesis in CS (titled "Tableaux calculus for elementary formulae in Separation Logics") in 2020 (funded by EVC-CIN) and my PhD thesis in CS ("Epistemic Logics based on abilities") in 2024 (funded by CONICET). Both of them under the supervision of Raul Fervari. I am currently working on my Master thesis in Applied Mathematics on Monte Carlo simulations under the supervision of María Cecilia Giménez.

My interests in research include (but are not limited to):

• Modal Logics, Model theory, Proof theory and Computational complexity.
• Dynamic Logics, Epistemic Logics, Separation Logics, Knowledge representation and Automated deduction.
• Artificial Intelligence, Probability and Monte Carlo Simulations.

Member of the Logics, Interaction and Intelligent Systems (LIIS) group, at FaMAF-UNC (Argentina).

I am currently open for working in the private sector. For that reason, this website will be under maintenance for the months of June/July of 2025. There might be important differences from time to time until a more stable version comes out. CV's are up to date until May of 2025.

CV's

CV in English

CV in Spanish

Contact

firstnamemiddlenamelastname@gmail.com

AndresRSaravia

AndresRSaravia

Publications

Other talks

Repositories

Activity history