Rex L. Page

RESEARCH INTERESTS

Formal methods in software engineering, functional programming, computing education

BIOGRAPHY

Dr. Rex L. Page is Professor of Computer Science at the University of Oklahoma. He earned his baccalaureate at Stanford University and his doctorate at the University of California at San Diego, both in mathematics. He started his career at Colorado State University, where he spent twelve years and rose to the level of Professor of Computer Science. Most of his research during this period focussed on massively parallel processing, especially architectures for supporting parallel evaluation of functional programs. This work was supported by the National Science Foundation and by research grants from industry. Dr Page left Colorado State to take a position leading a research group at Amoco, where he spent ten years pursuing his interest in functional programming for parallel processors (his group purchased Ncube serial number 2) and leading projects in workstation applications, local area networks, and supercomputer software. During this period, Dr Page also contributed to the development of international standards for Fortran and participated in the standards activities of the High Performance Fortran Forum. He also spent a couple years with Amoco in Houston helping specify the software architecture for a large client/server system integrating many company operations. In 1994, Dr Page joined the faculty the School of Computer Science, where he has been since that time. He served as Director until 1997, when he took a two-year leave of absence to work with a Silicon Valley startup specializing in embedded computing systems. In 1999, he returned to OU in his current position. His goal is to increase, through education and research, the use rigorous mathematical reasoning about software as an important, contributing element in software development. Dr Page believes that procedural programming is a monumental waste of human energy.

SELECTED PUBLICATIONS

Rex Page, Engineering software correctness, Proceedings of the ACMS,PLAN 2005 Workshop on Functional and Declarative Programming in Education, Tallinn, Estonia, 39-46, September 25, 2005.

Rex Page, Software is discrete mathematics, Proceedings of the Eighth International Conference on Functional Programming, Uppsala, Sweden, 79-86, August 25-27, 2003.

Rex Page, Functional programming ... and where you can put it, ACMS,PLAN Notices 36, 9, 19-24, September 2001.