Pablo F. Castro

I am professor at the Department of Computing, National University of Rio Cuarto, Córdoba, Argentina. Also, I am a Researcher at the Argentinean National Research Council (CONICET). My main interests lie in logic applied to computer science, fault-tolerance, computational complexity, and programming in languages like Haskell, Python, etc.

I obtained my Licenciatura in Ciencias de la Computación at UNRC, and my PhD in Computer Science at McMaster University.

Currently, I am the chair of the Department of Computer Science at UNRC.

Contact Information:

Ruta Nac. 36, Km 601
Rio Cuarto, Córdoba, Arg.
Depto. Computación, Universidad Nacional de Rio Cuarto,
CP 5800      

More contact info is displayed at the bottom of this page.

Activities

Some academic activities in which I am/was involved:

• Program Committes: FM 24, FormaliSE 24, CONCUR 23, FM 23, CLEI 21, CLEI 20, CLEI 14, CLEI 13, ADMA 12, ADMA 11, LAFT 11
• Organization: CLEI 22 (SLTC), Rio Summer School 23, Rio Summer School 18, JAIIO EST 2023.
• External Reviewer:
  • Journals: AI, FAOC, IEEE Trans. Systems, JANL, JLAP, JLLI, LLP (Logic and Logical Philosophy), Logica Universallis, Studia Logica, JAL, Logical Methods in Computer Science, SCP.
  • Conferences: CONCUR, FM, FSTTCS, QUEST, SEFM, TACAS, WADT, ICTAC.
• Others: I am member of the Advisory Board for PhD grants in the area of Social and Technology Development of CONICET, Argentinean National Research Council.