Facebook pixel J. Stanley Warford | Pepperdine University | Seaver College Skip to main content
Pepperdine | Seaver College
J. Stanley Warford Faculty Profile

J. Stanley Warford

Professor of Computer Science and Physics
Natural Science Division, Seaver College
RAC 112

Education

  • PhD, Engineering, UCLA, 1984
  • MS, Physics, Rensselaer Polytechnic Institute, 1968
  • BS, Mathematics, Pepperdine College, 1966

 

  • A Calculational Deductive System for Linear Temporal Logic, with David Vega and Scott Staley, ACM Computing Surveys, Vol. 53, No. 3, June 2020.
  • A Quadrotomy for Partial Orders, with Alex Prieger, Southern California Conference for Undergraduate Research, November 2019.
  • Pep9Micro: A Microcoded CPU Implementation, with Matthew McRaven, Southern California Conference for Undergraduate Research, November 2018.
  • Computer Systems, Fifth Edition, Jones & Bartlett Publishers, 2017.
  • BaciBeans: A NetBeans Plugin for Concurrent Programs, with Ashley Broadwell, Southern California Conference for Undergraduate Research, November 2013.
  • The Pep/8 Memory Tracer: Visualizing Activation Records on the Run-Time Stack, with Christian Dimpfl, Forty-First SIGSCE Technical Symposium on Computer Science Education, vol. 42, no. 1, March, 2010.
  • Pep8CPU: A Programmable Simulator for a Central Processing Unit, with Ryan Okelberry, Thirty-Eighth SIGCSE Technical Symposium on Computer Science Education, vol. 39, no. 1, March, 2007.
  • Computing Fundamentals: The Theory and Practice of Software Design with BlackBox Component Builder, Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, 2002.
  • BlackBox: A New Object-Oriented Framework for CS1/CS2, Thirtieth SIGCSE Technical Symposium on Computer Science Education, vol. 31, no. 1, March, 1999.
  • An Experience Teaching Formal Methods in Discrete Mathematics, SIGCSE Bulletin, vol. 27, no. 3, September, 1995.
  • Good Pedagogical Random Number Generators, Twenty-Third SIGCSE Technical Symposium on Computer Science Education, vol. 24, no. 1, March1992.
  • Computer Science, D. C. Heath and Company, 1991.
  • "Introductory Computer Science: The Case for a Unified View", Nineteenth SIGCSE Technical Symposium on Computer Science Education, vol. 20, no. 1, February, 1988.
  • Howard A. White Teaching Award
  • Luckman Teaching Fellow
  • Frank R. Seaver Professor
  • Institute of Electrical and Electronic Engineers- IEEE
  • Association for Computing Machinery-ACM
  • Special Interest Group on Computer Science Education

Topics

  • Linear Temporal Logic
  • Computer Organization
  • Curriculum Design
  • Formal Methods

Courses

  • Formal Methods
  • Data Structures
  • Programming Paradigms
  • Computer Systems