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; and properties of classes of Heyting algebras, such as the study of lattices of varieties and quasivarieties, and 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. See our local reading group on related topics here .

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 F2.11
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