Daira Pinto Prieto

I am a PhD candidate at the Institute for Logic, Language and Computation at the University of Amsterdam, supervised by Ronald de Haan.
The general scope of my research is knowledge representation and reasoning. I am very interested in how this field is related with multi agents systems, evidence, uncertainty, computational complexity and modal logic.

  • My PhD project

    Take a look at my motivations and questions. It is just getting started!

  • Publications

    My work will be listed here. Hope you like it!

  • Teaching

    I am assisting my first courses, it will be published here soon!