Program Analysis & Logic Programming |
| Katy Dobson | Katy is a postgraduate research student studying the abstract domain of grids, a domain that is able to represent sets of equally spaced points and hyperplanes over an n-dimensional vector space. Such a domain is useful for the static analysis of the patterns of distribution of the values program variables can take. |
| Patricia Hill | Pat is a Senior Research Fellow in the School of Computing working on various aspect of program analysis. |
| Vajirapan Panumong | Vaji is a postgraduate research student studying the design of an analyzer for a simple imperative language that, while lacking many important features of real programming languages, includes features such as: simple data types and type casting; exceptions; run-time errors modelled via exceptions; a non-toy memory model; short-circuit evaluation of boolean operators. |
| Javier Fontarnau | Javier obtained his PhD in 2007 with the thesis Static Analysis for Detecting and Avoiding Floating-Point Run-Time Errors in Logic Programs in 2007. The topic of his research concerned the application of static analysis for detecting and avoiding floating-point run-time errors in logic programs. |
| Matthew Mundell | Matthew worked in Leeds for 14 months in 2005-2006 implementing the domain of grids within the Parma Polyhedra Library. |
| Roberto Bagnara | Roberto is an Associate Professor in the Department of Mathematics in the University of Parma. Roberto's research interests include abstract interpretation, data-flow analysis, and constraint logic programming languages. |
| Fausto Spoto | Fausto is an Associate Professor in the Department of Computer Science in the University of Verona. Fausto has visited the group on several occasions to work with us on the static analysis of logic programs and, more recently, Java programs. |
| Enea Zaffanella | Enea is an Associate Professor in the Department of Mathematics in the University of Parma. Enea is working on the abstract interpretation based data-flow analysis of high-level languages. |