The School of Computing, Mathematical and Information Sciences is engaged in various branches of computer science research; we have interests in all aspects of programming, particularly using the Ada language as a vehicle; work is to extend in program-slicing to parallel systems in general, and Ada in particular; we continue to work in the area of Petri Nets as a basis for concurrent systems.