Rodrigo Nicolau Almeida

Profile Picture


My name is Rodrigo Nicolau Almeida and this is my webpage dedicated to research and academics.

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


Mailing address:

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


  • Introduction to Modal Logic 2021 - Teaching Assistant
  • Axiomatic Set Theory 2022 - Teaching Assistant
  • Introduction to Modal Logic 2022 - Teaching Assistant
  • Model Theory 2023 - Teaching Assistant
  • Supervision of Individual Project on Dedekind-MacNeille Completions (2 Students)
  • Introduction to Modal Logic 2023 - Teaching Assistant
  • Mathematical Proof Methods in Logic 2023 - Teaching Assistant

I am a member of the ILLC PhD Council . For PhD council matters please contact me here .