Home Page of Patricia Hill -- Welcome

I am a Senior Research Fellow at the
School of Computing, University of Leeds, England, UK

For information about my research projects and publications see Program Analysis and Logic Programming.

With Roberto Bagnara and Enea Zaffanella (University of Parma), I am investigating both practical and theoretical issues concerning program analysis.
We are actively developing the Parma Polyhedra Library (PPL). This is a software library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems (first released on 24th October 2001).

On April 18, 2009: PPL 0.10.2 was released. This release, which is under the terms of GPLv3+, has several improvements on PPL 0.10 including support for cross-compilation, increased robustness, better packaging and some bug fixes.

With Fausto Spoto, we have investigated the static analysis of object-oriented languages such as Java and also on type analysis of logic programming.
With Andy King, Iain Stalker and Jacob Howe, we have studied the design of software development tools for CLP systems.
Jan-Georg Smaus, Andy King and I collaborated on a number of papers on modes, termination and abstract domains for typed logic programs.
Antonio Fernández and I have developed new generic constraint solvers that can be used for any domain that is a lattice. Visit Antonio's home page for more information on this.

Some Recent Papers

Activities

Co-programme chair for the 25th International Conference for Logic Programming ICLP 2009; Pasadena, California; July 14-17, 2009; Co-located with International Joint Conference on Artificial Intelligence IJCAI 2009 .
Co-chair and co-organizer for the 17'th Workshop on Logic-based methods in Programming Environments WLPE'07; Porto, Protugal; September 13, 2007; a satellite workshop of ICLP'07 .
Member of the Program Committee for ICLP 2007 the 23rd International Conference on Logic Programming.
Member of the Program Committee for WLPE'06.
Member of the Program Committee for LOPSTR'06.
Program Chair for LOPSTR'05, held in Imperial College, London, September 2005.
Member of the Program Committee for ICLP 2005 .
Member of the Program Committee for LOPSTR'04 and also LOPSTR in 2001, 2000, 1999.
Co-organiser of the International Summer School on Computational Logic in Maratea, Italy from the 24th - 30th August 2002.
Member of the Program Committee for ICLP01 - International Conference on Logic programming
Co-organiser of the International Workshop on Component-based Software Development in Computational Logic (COCL'98).
Workshop/tutorial chair for the 1998 Joint International Conference and Symposium on Logic Programming.
Organiser (with Antonio Brogi) of Logic-Based Composition of Software (LOCOS), a Post Conference Workshop for ICLP'97.
Organiser (with Andy King and John Gallagher) of the Workshop on Constraint Programming for Reasoning about Programming (CPP'97).
Treasurer for The Association for Logic Programming (ALP).
From 1998 to 2001, the Editor of the ALP Newsletter.
Member of GULP - Gruppo Ricercatori e Utenti Logic Programming.

Brief CV

I am a Senior Research Fellow in the Computational Logic Group at the University of Leeds. I hold a B.Sc in Pure and Applied Maths from University of Bristol, and a PhD in Combinatorial Group Theory from the Open University at Milton Keynes. Since 1986 have been researching in Logic Programming. I worked at Bristol before moving to Leeds in 1990.

My picture

a recent picture - after 10 years collaborating with Italians!

Contact details:

School of Computing
University of Leeds
Leeds LS2 9JT, ENGLAND.

Email: hill (at) comp (dot) leeds (dot) ac (dot) uk
Phone: +44 (0)113 343 6807
Fax: +44 (0)113 343 5468

Time and date in: Leeds , Italy and New Zealand

Home | Personal Info | Research | Papers | Interests | People | Links

[Page last updated 2009/04/20.]

Home

Personal Info

Research

Papers

Interests

People

Links