Rex L Page
School of Computer Science - University of Oklahoma
110 West Boyd Street, Devon Energy Hall
Norman OK 73019
page@ou.edu - http://www.cs.ou.edu/~rlpage/
Education
AB, Mathematics, Stanford University, 1966
PhD, Mathematics, University of California, San Diego, 1970
 
Experience
Three decades in university teaching, research, and administration
    Teaching software engineering, applied logic, programming languages, numerical methods, ...
    Research in software engineering, high performance computing, equation-based programming, ...
 
Two decades in industrial software design, development, and supervision
    Software for medical imaging, embedded systems, reservoir engineering, seismic analysis, ...
 
Employment
2015- School of Computer Science, University of Oklahoma, Norman, Oklahoma, Professor Emeritus
1999-2015 School of Computer Science, University of Oklahoma, Norman, Oklahoma, Professor
1999-2011 INDEC Systems, Capitola, California, Consultant
2006 El Bosque University, Bogota, Colombia, Visiting Professor (June, 2006)
1997-1999 Eclipse International, Mountain View, California, Senior Member of Technical Staff
1994-1997 School of Computer Science, University of Oklahoma, Norman, Oklahoma, Director and Professor
1982-1994 Amoco Production Company, Business Processes Reengineering, Houston (1993-1994), Research Supervisor, Tulsa Research Center (1982-1993)
1988-1992 Department of Mathematical and Computer Sciences, University of Tulsa, Tulsa, Oklahoma, Adjunct Professor
1978 Rheinisch-Westfaelische Technische Hochschule, Aachen, Germany, Guest Professor (May-June, 1978)
1970-1982 Department of Computer Science, Colorado State University, Fort Collins, Colorado, Professor (1981-1982), Associate Professor (1975-1981), Assistant Professor (1970-1975)
 
Teaching innovations
Applied Logic for Hardware and Software, use of formal logic in practical verification of correctness properties of digital circuits and software (ripple carry adder, list operations, numeric algorithms, merge sort, quicksort, AVL search trees, ...), course development supported by a three-year grant from the National Science Foundation, results showed a statistically significant, positive effect on student performance in subsequent coursework

Software Engineering I and II, concentrates on software engineering processes, design, and quality, integrates the use of mechanical logic into the practice of software design and implementation, leading to software with correctness properties known to a mathematical certainty, course development supported by a two-year grant from the National Science Foundation, working in collaboration with Matthias Felleisen at Northeastern University, who is supported by a separate, concurrent grant

Mentoring of students

Awards and Service

Publications

Research Contracts and Grants