Pat's picture

Home

Personal Info

Research

Papers

Interests

People

Links

School of Computing

Home Page of Patricia Hill

Senior Research Fellow
School 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


*  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 2007/06/04.]