Descripción: IST. Instituto Superior Técnico. Departamento de Matemática «Main interests: Combination of logics; Algebraic logic; Temporal logic specification and verification; Security; Concurrency and distribution.» CLC. Center for Logic and Computation