LOGPROG: Logics and Programming
 Sections
  Homepage
  People
  Research
  Publications
  Awards
  Projects
  Contact
 People

The following personnel is currently working at LOGPROG:

Robert Nieuwenhuis
CU
Office: Ω-139
Phone: +34 93 413 7865
Fax: +34 93 413 7833
E-mail: roberto->cs.upc.edu
Webpage: www.cs.upc.edu/~roberto
Albert Rubio
CU
Office: Ω-138
Phone: +34 93 413 7899
Fax: +34 93 413 7833
E-mail: albert->cs.upc.edu
Webpage: www.cs.upc.edu/~albert
Javier Larrosa
CU
Office: Ω-136
Phone: +34 93 413 7872
Fax: +34 93 413 7833
E-mail: larrosa->cs.upc.edu
Webpage: www.cs.upc.edu/~larrosa
Emma Rollón
AGR
Office: Ω-212
Phone: +34 93 413 7867
Fax: +34 93 413 7833
E-mail: erollon->cs.upc.edu
Webpage: www.cs.upc.edu/~erollon
Albert Oliveras
AGR
Office: Ω-114
Phone: +34 93 413 7792
Fax: +34 93 413 7833
E-mail: oliveras->cs.upc.edu
Webpage: www.cs.upc.edu/~oliveras
Enric Rodríguez-Carbonell
AGR
Office: Ω-114
Phone: +34 93 413 7792
Fax: +34 93 413 7833
E-mail: erodri->cs.upc.edu
Webpage: www.cs.upc.edu/~erodri
José Miguel Rivero
COL
Office: Ω-110
Phone: +34 93 413 7814
Fax: +34 93 413 7833
E-mail: rivero->cs.upc.edu
Webpage: www.cs.upc.edu/~rivero