CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

Members of the CLIP Group


Research Staff

Manuel Hermenegildo's photo
Manuel Hermenegildo
Francisco Bueno's photo
Francisco Bueno
Manuel Carro's photo
Manuel Carro
Pedro López's photo
Pedro López
José Francisco Morales's photo
José Francisco Morales
Nik Swoboda's photo
Nik Swoboda


PhD Students

Joaquín Arias's photo
Joaquín Arias
Isabel García Contreras's photo
Isabel García Contreras
Maximiliano Klemen's photo
Maximiliano Klemen
Umer Liqat's photo
Umer Liqat
Nataliia Stulova's photo
Nataliia Stulova


Interns

Ignacio Casso's photo
Ignacio Casso


External Collaborators



Former members

Guillermo Vigueras Guillermo Román Díez Zorana Bankovic Dragan Ivanović Rémy Haemmerlé
César Kunz Onder Babur Alejandro Serrano Pablo Chico Zoe Drey
Edison Mera César Sánchez Luthfi Darmawan Jim Lipton Angel Pineda
Claudio Vaucheret José Miguel Rojas Abu Naser Masud Elvira Albert Puri Arenas
Jesús Correas Miguel Gómez-Zamalloa Germán Puebla Damiano Zanardini Samir Genaim
Amadeo Casas Cuadrado Mario Méndez Lojo Jorge Navas Gerardo Huck Maria Teresa Trigo de la Vega
Waheed Aslam Diana Ramirez Pablo Palmier Campos Pawel Pietrzak David Trallero
Arsen Kostenko Rosa Padilla Alberto García Pañoso Astrid Beascoa Claudio Ochoa
Daniel Cabeza Maria J. García de la Banda Kalyan Muthukumar Jose Manuel Gómez Francisco J. Bermejo
Ignacio Caballero Angel López Luengo Isabel Martín García Eduardo Mendivil Antonio Pow-Sang
José Manuel Ramos Manuel C. Rodríguez Montse Urraca Nines Turón

Visitors (very incomplete...)

The Clip group has also enjoyed the visits of a number of researchers. Our latest visitors include: