The Programming Group of the LSI Department, ( UPC ).

(Secció de Programació, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya.)

The research activities of this group focus on the logic and algebraic foundations of programming and specification, including the development of associated methods and tools. There are three main lines of research:

• Algebraic Foundations of system specification and design (contact: Fernando Orejas)
  
• Logic for Programming and Deduction (contact: Robert Nieuwenhuis)
  
• Synthesis and Verification of Concurrent Systems (contact: Jordi Cortadella )
  

Members:

• David Bañeres Besora
  
• Jordi Ceballos Villach
  
• Robert Clarisó
  
• Silvia Clerici
  
• Jordi Cortadella
  
• Xavier Faus i Torà
  
• Mirtha Lina Fernández Venero
  
• Guillem Godoy
  
• Kyller Costa Gorgonio
  
• Josep Ibarz Vidal-Barraquer
  
• Rosa Jimenez
  
• Jordi Levy
  
• Pablo Mariña Pérez
  
• Enric Martínez Gomáriz
  
• Jiangtao Meng
  
• Nilesh Modi
  
• Nicos Mylonakis
  
• Robert Nieuwenhuis (current head of the group)
  
• Pilar Nivela
  
• Ramon Olivella Domínguez
  
• Albert Oliveras
  
• Fernando Orejas
  
• Sónia Pérez Lovelle
  
• Edelmira Pasarella
  
• Elvira Pino
  
• Jose Miguel Rivero
  
• Joan Raventós Lorenzo
  
• Enric Rodriguez
  
• J. Antonio Roman Jiménez
  
• Albert Rubio
  
• Gabriel Valiente
  
• Cristina Zoltán Torres
  

European projects:

• ICARUS (ESPRIT)
  
• COMPASS (ESPRIT WG)
  
• CCL (ESPRIT WG)
  
• Medicis (Human Capital and Mobility Network)
  
• Console (Human Capital and Mobility Network)