CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Members  \  Member Page Login  
   
banner bottom
File Top
Luis Caires
Luis Caires's Photo

Software Systems

Country: Portugal

Position: Full Professor

Email: Luis.Caires(at)di.fct.unl.pt

Personal Web Page

Coordinador of CITI

Coordinator of Software Systems.

Principal Investigator of PLASTIC Team.


{ Visits hosted at CITI }
  • Rosario Pugliese, Università di Firenze (Italy)
    [ 20 Jun 2010 to 25 Jun 2010 ]

    PhD thesis juri of Hugo Vieira.

  • Nobuko Yoshida, Imperial College of Science and Tecnology (United Kingdom)
    [ 20 Jun 2010 to 25 Jun 2010 ]

    participation in Hugo Vieira\'s Phd defense.

  • Rocco de Nicola, Università di Firenze (Italy)
    [ 15 Jun 2009 to 20 Jun 2009 ]

    CITI Advisory Board Meetings.

  • Frank Pfenning, Carnegie Mellon University (United States)
    [ 20 Nov 2008 to 25 Nov 2007 ]

    CMU PT activities research and management activities.

  • Jason Reed, Carnegie Mellon University (United States)
    [ 3 Dec 2007 to 6 Dec 2007 ]

    Discuss collaboration in the context of the ICTI grant related to the CMU-Portugal project.

  • Etienne Lozes, ENS Cachan (France)
    [ 18 Nov 2007 to 22 Nov 2007 ]

    Joint work on a model and associated verification logic for secrecy properties.

  • Massimo Bartoletti, Università di Pisa (Italy)
    [ 11 Dec 2006 to 15 Dec 2006 ]

    Sensoria project related research activity.

  • Sophia Drossopoulou, Imperial College London (United Kingdom)
    [ 11 Oct 2006 to 14 Oct 2006 ]

    Seminar, research meetings, and Joao Seco PhD examination.

    Seminar @ CITI: Questions on Algebraic Specifications of Object Oriented Programs
  • Davide Ancona, Università di Genova (Italy)
    [ 11 Oct 2006 to 14 Oct 2006 ]

    Discussions on modules and objects, and Joao Seco PhD examination.

    Seminar @ CITI: Flexible Type-Safe Linking of Components for Java-Like Languages
  • Gianluigi Ferrari, Università di Pisa (Italy)
    [ 10 Dec 2005 to 15 Dec 2005 ]

    Collaboration in the context of the Profundis project.

  • Etienne Lozes, ENS Cachan (France)
    [ 10 Apr 2005 to 15 Apr 2005 ]

    Research collaboration on spatial types for security.

  • Delia Kesner, Université Paris VII (France)
    [ 5 Jun 2004 to 10 Jun 2004 ]

    Research in the context of ICTI/CNRS bilateral cooperation.

  • Daniel Hirschkoff, ENS Lyon (France)
    [ 15 Nov 2003 to 20 Nov 2003 ]

    Colaboration in the context of the Profundis project.

  • Luca Cardelli, Microsoft Research Cambridge (United Kingdom)
    [ 1 Nov 2003 to 5 Nov 2003 ]

    Visit to CITI and FCT/UNL.

  • M. J. Gabbay, University of Cambridge (United Kingdom)
    [ 1 May 2003 to 5 May 2003 ]

    Collaboration in the context of the PLM research stream activities, related to logical nortions of freshness.

File Bottom