Rodrigo Nicolau Almeida

Profile Picture

Welcome!

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, 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.

Address:

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

Email: r.dacruzsilvapinadealmeida@uva.nl


Mailing address:

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

Teaching

  • 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 (2023, 2 Students)
  • Introduction to Modal Logic 2023 - Teaching Assistant
  • Mathematical Proof Methods in Logic 2023 - Teaching Assistant
  • Model Theory 2024 - Teaching Assistant
  • Supervision of Individual Project on Degrees of Kripke Completeness (jointly with Qian Chen and Nick Bezhanishvili) (2024, 2 Students)



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