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

CLIP Group Members


Research Staff

Manuel Hermenegildo's photo
Manuel Hermenegildo
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

Daniel Jurjo's photo
Daniel Jurjo
Daniela Ferreiro's photo
Daniela Ferreiro
Louis Rustenholz's photo
Louis Rustenholz

Interns

Marco Ciccale's photo
Marco Ciccale
Paula Corral's photo
Paula Corral
Kirelys Lugo's photo
Kirelys Lugo
Felix Ridoux's photo
Felix Ridoux
Victor Luque Santiago Alfaro

External Collaborators


In Memoriam

Francisco Bueno's photo
Francisco Bueno

Former members

Isabel García Contreras Emilio Caba José Luis Bueno
Víctor Pérez Bishoksan Kafle Ignacio de Casso Miguel Ángel Sánchez Ordaz Andrés Mareca
Pablo Martínez de Leiva Adrián Ciudad Guillermo Ga. Pradales Esteban Gil Daniel Díaz
Maximiliano Klemen Joaquín Arias Daniel Loscos Natalia Carpizo Nataliia Stulova
Umer Liqat 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 regularly hosts visits from collaborating researchers. Our latest visitors include: