Welcome!

I am a PhD student at the Institute for Logic, Language and Computation of the University of Amsterdam , working under the supervision of Nick Bezhanishvili. Before that I completed my masters thesis under the supervision of Nick and Tommaso Moraschini.

My current research focuses broadly on Heyting algebras and closely related structures. In them I am particularly interested in the study of non-standard rules, such as Pi-2-rules, in their universal-algebraic aspects and their computational properties; technical questions on the structure of the category of Heyting algebras, such as providing descriptions of ordered compactifications of ordered topological spaces, or describing free objects in these and associated categories; and properties of classes of Heyting algebras, such as the study of lattices of varieties and quasivarieties, the distribution of properties like structural completeness, interpolation or tabularity.

I am broadly interested in universal algebra, model theory and category theory, and especially their interaction.

In a previous academic life I was a researcher in sociology of culture. I worked on policy analysis and briefly on agent-based modelling. You can find most of my work related to that in this link.

Room F1.22c
Building F
Science Park 107
1098 XG Amsterdam

Email: r.dacruzsilvapinadealmeida@uva.nl

                            
Institute for Logic, Language and Computation
University of Amsterdam
Science Park 107
1098 XG Amsterdam