Members

 

• José Carlos Bacelar Almeida (M.Sc., Assistente) - finishing his Ph.D. on automated verification of cryptographic protocols.

• Luis Soares Barbosa (M.Sc., Assistente) - finishing his Ph.D. on a co-algebraic approach to agent-refinement and calculation.

• José Bernardo Barros (D.Phil., Prof. Aux) - functional programming and specification of state-based systems.

• Alcino Cunha (Lic., Assistente Est.) - finishing his M.Sc. on utility-based concurrent programming.

• Maria João Frade (M.Sc., Assistente) - doing a Ph.D. on integrating constructor subtyping into (functional) programming languages and proof development systems.

• José Augusto Lima (Ph.D., Prof. Ass.) - formal hardware synthesis and CAD problem formulation.

• Fernando Luis Neves (Lic., Assistente Est.) - finishing an M.Sc. project on a SETS animator using genetic-algorithms to support term-rewriting.

• José Nuno Oliveira (Ph.D., Prof. Ass.) - SETS-based point-free calculation and formal calculation of distributed applications.

• Olga Pacheco (M.Sc., Assistente) - finishing her Ph.D. on deontic and action modal logics for collective agency.

• Jorge Sousa Pinto (M.Sc., Assistente) - doing a Ph.D. at the École Polytechnique on eficient implementations of functional programming languages using interaction nets.

• César Jesus Rodrigues (M.Sc., Assistente) - doing a Ph.D. on relating SETS to other reification calculi.

• José Manuel Valença (D.Phil., Prof. Cat.) - Computational Logic and Cryptography .