Home

 

I am a researcher in Mathematical Logic. I obtained a PhD in Pure and Applied Logic in 2016. My doctoral dissertation received the prize for the best PhD thesis in logic by the University of Barcelona. Since 2016 I am a postdoc at the Czech Academy of Sciences (CAS), where I received the CAS award for outstanding scientists, and the Josef Hlávka prize.

My main interests focus on the study of semantics for propositional and first order logics from a general point of view. For this reason, my research falls under the umbrellas of Abstract Algebraic Logic (which provides a general approach to algebraic semantics) and of Duality Theory (which provides a similar path to relational semantics). My research in these strictly related areas led me to investigate their connections with Universal Algebra, Category Theory, Computability and Complexity Theory, and Substructural Logics.

I am currently supervising the PhD students J.J. Wannenburg (together with J.G. Raftery), and G. Menéndez Turata (together with R. Jansana).

My main collaborations are with the Mathematical Logic Group in Barcelona (Spain), which includes R. Jansana and J.M. Font, with the Non-classical Logic Group in Prague (Czech Republic), which includes P. Cintula, and with J.G. Raftery.