Members of the CLIP Group
Research Staff
PhD Students
Interns
- Onder Babur
- Nataliia Stulova
Support Staff
External Collaborators
Former members
Visitors (very incomplete...)
The Clip group has also enjoyed the visits of a number of 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.