Calendar
    2013
    2012

Events
    WoLLIC'11

Organisations
    ASL
    IGPL
    FoLLI
    WoLLIC

Projects
    Models
    Proofs

Publications
    Books
    Edited Volumes
    Papers
    Other

Teaching
    Logic for CS
    Theory of Comp.
    Conjuntos
    Crypto

Personal


Ruy J. Guerra B. de Queiroz

Centro de Informática, Universidade Federal de Pernambuco

Current involvements

PhD Programmes

  • Doctorate in Informatics, CIn-UFPE.
  • Doctorate in Computational Mathematics, UFPE.
  • Doctorate in Mathematics, UFPE.
  • Internationally Co-Tutored PhD Program in Computer Science, coordinated by Univ. di Verona, Italy.

    Last modified: Feb 2, 11:10am GMT-3.