Professor of Computer Science
Dean, College of Natural Sciences and Mathematics
Before coming to UCA in 2006, I was the founding dean of the College of Computing Sciences at New Jersey Institute of Technology. I also served as a computer science department chair at Auburn and Colorado State. I was a computer science and mathematics faculty member at George Mason University and at New York University.
My research activities have dealt with a wide range of areas and disciplines, including software engineering, computing education, parallel computation, and mathematical models for social networks. Currently, I am particularly interested in
- using formal methods to specify and analyze software architectures
- increasing the professionalism of software engineers
- establishing computing education as a research discipline
My professional activities include service to the State of Arkansas as a member of the Board of Directors of the Arkansas Science and Technology Authority (2006-2010), to the computing community, as a member of the Board of Directors of CSAB (formerly known as the Computer Science Accreditation Board), and as a IEEE Computer Society volunteer (Board of Governors, 2002-2005; Secretary to the Board, 2005; Treasurer, 2006).
Selected Publications
IEEE Computer Society Real-World Software Engineering Problems: A Self-Study Guide for Today’s Software Professional (with J. F. Naveda), Wiley, 2006.
“Constructing the Core Literature of Computing Education Research” (with A. Pears, C. Eney, P. Kinnunen, and L. Malmi), SIGCSE Bulletin (2005), 152-161.
“Professional Certification of Software Engineers: The CSDP Program” (with J. F. Naveda), IEEE Software, 22 (2005), 73-77.
Software Architecture, in A. B. Tucker, ed., Computer Science and Engineering Handbook, 2nd edition, Chapman and Hall/CRC Press, 2004, Ch. 109.
"Testing Object-Oriented Programs: From Formal Specification to Test Scenario Generation" (with K. Chang, S. Liao, and R. Chapman), Journal of Systems and Software, 42 (1998), 141-151.
"A Computational Framework for Implementing Neural Network Simulations on a MIMD Parallel Architecture" (with D. Schreibman), Transputer Communications, 3 (1996), 169-192.
"A Formal Model for Module Interconnection Languages", (with M. D. Rice) IEEE Transactions on Software Engineering 20 (1994), 88-101.
"The Mathematics of Complex Computational Systems", in J. H. Johnson and M. J. Loomes, eds. The Mathematical Revolution Inspired By Computing, Oxford University Press, 1991, pp. 189-203.
"The Specification of Data Parallel Algorithms" (with M. D. Rice and P. Y. Wang), Journal of Parallel and Distributed Computing 8 (1990), 191-195.
"Analysis of Competition-Based Spreading Activation in Connectionist Models" (with P. Y. Wang and J. A. Reggia), International Journal of Man-Machine Studies 28 (1988), 77-97.
"Relational Models for Social Systems", Environment and Planning B 14 (1987), 135-148.
"Structural Consequences of Individual Position in Nondyadic Social Networks", Journal of Mathematical Psychology 29 (1985), 367-386.