Welcome to Andy Gravell's Home Page

• Brief CV
• Personal Information
• Publications
• Research Interests
• Official Home Page

The Story so Far

Andy Gravell was born in 1956 at Exeter, then educated at Cranleigh School and Cambridge University. His first degree was in mathematics (mainly pure) for which he gained a first. He then worked for seven years as a software developer, mainly at IBM's Hursley laboratory, on a range of products including: a real time development system, consisting of a remote debugging monitor and a compiler for a real-time language (RTL-2); a cross-assembler; PC based emulators for 3270 style terminals enhanced with additional text and graphical functions; and finally the Presentation Manager component of OS/2. He also ran a prize-winning quality circle while at Hursley. In 1987 he became a lecturer in Computer Science at the University of Southampton, researching into formal methods of specification and refinement. This formed the basis of his PhD dissertation in 1995. He has supervised seven PhD students to completion, and has examined over a dozen others. Funded research has included the EPSRC projects "Tools Integration for Applied Formal Methods", and "Automated Validation of Business Critical Systems with Component Based Designs".

At Southampton, he has had a number of administrative roles, notably admissions tutor, teaching quality coordinator, and (from 1997 to 2006) computer science programme leader. During this period he designed and developed 6 new undergraduate and 3 new MSc programmes. He has sat on various educational committees for the department, faculty and university. Currently he is director of undergraduate studies in ECS, overseeing over 20 programmes and around 800 students, and continues to be a long-standing member of the department's Staff/Student Liaison Committee. In addition, he acts as external examiner for TVU's MSc Information Systems and Software Engineering programmes. Finally, in August 2010 he was appointed as Associate Dean for Education and the Student Experience in the new Faculty of Physical and Applied Sciences.

He has taught a range of subjects including Computer Applications, Compiler Engineering, Computer Architecture, Digital Electronics, Discrete Mathematics, E-Business, Formal Methods, Object-Oriented Development, Operating Systems, Research Methods, Software Engineering, Theory of Computing, and Web Development, ranging in level from first year undergraduate to masters. He has given short courses to software engineers from companies such as IBM and ICL, including for example the latter's award-winning Core Technical Programme. His current courses are Agile and Object-Oriented Development, E-Business Strategy, and Enterprise Web Development.