Membership

of the LCG (Logic and Computation Group) that became the CLC (Center for Logic and Computation) where updated information from February 14, 2001 onwards can be found.

• Current members:
  • CALEIRO, Carlos (Assistant Professor)
  • CAMPAGNOLO, Manuel (Teaching Assistant at ISA, PhD student)
  • DIONÍSIO, F. Miguel (Assistant Professor)
  • DOMINGUEZ, Luís (Teaching Assistant, PhD student in Edinburgh)
  • GOUVEIA, Paula (Assistant Professor)
  • HERMIDA, Claudio (Postdoctoral Research Fellow on a grant from FCT)
  • LOURENÇO, Hugo (PhD student)
  • MATEUS, Paulo (awaiting confirmation as Assistant Professor)
  • RAMOS, Jaime (Assistant Professor)
  • RASGA, João (PhD student on a scholarship from FCT)
  • RAVARA, António (Assistant Professor)
  • RESENDE, Pedro (Assistant Professor)
  • SERNADAS, Amílcar (Full Professor)
  • SERNADAS, Cristina (Full Professor)

• Honorary member:
  • CARMO, José (Full Professor at University of Madeira)

• Some former members:
  • FIADEIRO, J.L. (PhD student 86-89 supervised by A. Sernadas)
  • MENEZES, P. (PhD student 92-96 supervised by A. Sernadas)
  • RYAN, M. (Visiting member 93-94)

Last update: January 12, 2001.