Gabriel Goren Roig

My name is Gabriel Goren Roig. I am a Mathematics PhD student at Universidad de Buenos Aires / CONICET under the supervision of Santiago Figueira.

A physicist by training, I am interested in applying Category Theory and Logic to the study of the relationship between systems and their constituents.

My current research projects are somewhat database-flavored. I am working on an application of the Comonadic Semantics formalism for Finite Model Theory to the study of something called data-aware logics. I am also working on developing algorithms for performing certain categorical constructions in the context of Categorical Database Theory.

Here are some topics that I like and on which I have worked in the past: algorithmic information theory, causal networks and causal discovery, Crutchfield et al.’s predictive states framework for inference of state machines from time series data.

Upcoming

• In preparation: S. Figueira, G. Goren Roig, Path Predicate Modal Logic and its Comonadic Semantics

News

2022

• Nov. 23rd - Dec. 21st: taught an introductory, online course on Causal Inference at Humai (in Spanish) together with Wendy Brau and Pedro Zenone.
• Organized a local reading group on basic Category Theory following Riehl’s Category Theory in Context and Spivak & Fong’s Seven Sketches.
• Presented a poster (available here) (in Spanish) trying to give an introductory explanation for CS/Math students of Abramsky et al.’s Comonadic Semantics programme, at the ECI 2022 (School of Informatic Sciences) in Buenos Aires.
• Gave a talk at the Structure Meets Power 2022 Workshop on the topic of Path Predicate Modal Logic and its Comonadic Semantics (Extended Abstract, Slides)
• Gave an invited lecture on Introductory Probability Theory to students of Mathematics for Machine Learning at the Humai institute.
• Attended the thematic month Logic & Interactions 2022 at CIRM, fully funded by the joint CIRM-CIMPA fellowship programme.

2021

• Participated in the Adjoint School 2021. During the Research Week, took part in the Extensions of Coalgebraic Dynamic Logic group under the mentoring of Helle Hvid Hansen and Clemens Kupke. As culmination of the Research Week, gave a talk at the ACT 2021 Conference together with Amin Karamlou titled Stochastic game logic, coalgebraically.
• Received a Licentiate Degree in Physics from Universidad de Buenos Aires.
• Defended my Licentiate Thesis, Inferencia causal mediante correlación sintáctica (Thesis) (Slides) (in Spanish) conducted under the supervision of Ariel Bendersky and Santiago Figueira.
• Received a national grant from CONICET to pursue a PhD.