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
In Memoriam
Francisco Bueno |
Former members
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.