The University of Essex Skip to main content  School of Computer Science and Electronic Engineering
Prospective Students | Research | Department | Intranet | Search | Site Map | Home

 

Former Staff

Iain MacCallum

My first involvement in research in Computer Science was with the Atlas Compiler Compiler team in 1962. Then for a period of some 10 years, I became concerned with data structures for representing highly unstructured general practicioner medical records. This gave way to an interest in the processes and paradigms of teaching programming and of teaching correctness to ab initio students.

Recently I have developed a method of correctly summing rounded computations (round pound arithmetic) on arbitrary structures (i.e. graphs) and have demonstrated the applicability of the method for use in spreadsheets. For a brief account of this, click here.

 

 

Prospective Students | Research | Department | Intranet | Search | Site Map | Home