CLIP Group Members

Research Staff

Manuel Hermenegildo	Manuel Carro	Pedro López
José Francisco Morales	Nik Swoboda

PhD Students

Daniel Jurjo

Daniela Ferreiro

Louis Rustenholz

Interns

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

External Collaborators

• John Gallagher
• Joaquín Arias
• Susana Muñoz
• María J. García de la Banda
• Peter Stuckey
• Angel Herranz

In Memoriam

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:

• Deepak Kapur. University Of New Mexico. USA.
• Andy King. University of Kent. UK.
• Fausto Spoto. Università di Verona. Italy.
• Laurent Hubert. INSA Rennes. France.
• Michael Leuschel. University of Southampton. United Kingdom.
• George Necula. University of California at Berkeley. USA.
• Patrick Cousot. École Normale Supérieure, Paris. France.
• Radhia Cousot. École Polytechnique, Paris, France.
• Roberta Gori. Dipartimento di Informatica, Università di Pisa, Italy.
• Enea Zaffanella. Department of Mathematics, Università di Parma, Italy.
• Elisa Fromont. INSA Rennes, France.
• Kostis Sagonas. Uppsala University. Sweden.
• Roberto Bagnara. Università di Parma, Italy.
• Vitor Santos Costa. Universidade Federal do Rio de Janeiro.
• Enrico Pontelli. New Mexico State University. USA.
• Kish Shen. Imperial College. United Kingdom.
• Samir Genaim. Ben-Gurion University, Israel.
• Alejandro J. Garcia. Universidad Nacional del Sur, Bahía Blanca. Argentina.
• Lee Naish. University of Melbourne. Australia.
• Göran Smedbäck. Uppsala University. Sweden.
• Sacha Varma. Imperial College. UK.
• Gopal Gupta. New Mexico State University. USA.
• Jim Lipton. Wesleyan University. U.S.A.
• Panagiotis Tsarchopoulos. DFKI. Germany.
• Michael Codish. BGU. Israel.
• Peter J. Stuckey. University of Melbourne. Australia.
• Kim Marriott. Monash University. Australia.
• Jonathan Martin. University of Southampton. UK.
• Harald Sondergaard. University of Melbourne. Australia.