Home |
Personal Info |
Research |
Papers |
Interests |
People |
Links |
School of Computing |
Home Page of Patricia Hill
Senior Research FellowSchool of Computing
University of Leeds
England, UK
Welcome to my home page.
I am a member of the Theory of Computing research area.
My current research interests are in the
areas of Program Analysis and Logic Programming.
Collaborations
With Roberto
Bagnara and
Enea Zaffanella
(University of Parma), we are 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).
Written in standard C++, the latest release of the PPL
Version 0.9
also provides C, Java, Objective CAML and Prolog interfaces.
With
Fausto Spoto,
I am working on the static analysis of
object-oriented languages such as Java.
Previously we have worked together on type analysis of logic programming
and on applications of linear refinement
for automatically constructing new abstract domains
from those that just represent the properties of
interest and their concrete operations.
Andy King (University of Kent) and I worked together with Iain Stalker and Jacob Howe on the design of software development tools for CLP systems.
Jan-Georg Smaus, Andy King and I have collaborated together on a number of joint papers on modes, termination and abstract domains for typed logic programs.
Antonio Fernández and I are studying 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
Other Activities
- 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.
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