Before revision: It aims is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies.
After revision: It aims to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies.