Group Members
| 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.
|
| Javier Fontarnau
|
Javier is a postgraduate research student
studying the application of static analysis for detecting and avoiding
floating-point run-time errors in logic programs.
|
| Patricia Hill
| Pat is a Senior Research Fellow in the
School of Computing working on various aspect of program analysis.
|
| Matthew Mundell
| Matthew is a research assistant implementing
the domain of grids within the
Parma Polyhedra Library.
|
| 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.
|
![[Group Picture]](../images/chiaragrp.jpg)