Richard Oliver Chapman
108 Dunstan Hall
Department of Computer Science
and Software Engineering
Auburn University, AL 36849
chapman@eng.auburn.edu
http://www.eng.auburn.edu/users/chapman
office: +334 844.6314
fax: +334 844.6329
home: +334 826.3708
Citizenship
USA
Experience
2002-2007 Director, Center for Innovations in Mobile, Pervasive, Agile Computing Technology, Samuel Ginn
College of Engineering, Auburn University
1998-2007 Associate Professor. Computer Science and Software Engineering Department, Auburn University.
Director of Undergraduate Curriculum 1998-2001.
1993-1998 Assistant Professor, Computer Science and Engineering Department, Auburn University.
1990, 91 Lecturer, summer term, Cornell University.
1986,88 Research Assistant, Argonne National Laboratory, Mathematics and Computer Science Division (summers).
Education
1988-1993 M.S. and Ph.D., Cornell University, Department of Computer Science. Thesis title “Verified High-Level Synthesis”. Thesis advisor: Geoffrey Brown.
1986-1988. B.A./M.A. Oxford University, Final Honours School of Mathematics and Computation, first-class honors.
1982-1986 B.S. Wake Forest University, Mathematics, summa cum laude.
1980-82 Diploma, North Carolina School of Science and Mathematics.
Honors and Awards
2005 Wireless Educator of the Year, Global Wireless Education Consortium
2005 Senior Member, IEEE
1988-92, Office of Naval Research Graduate Research Fellowship.
1988-92, A.D. White Scholarship (Cornell University).
1986-88, Rhodes Scholarship (elected from North Carolina to Wadham College, Oxford University).
1982-86 Phi Beta Kappa Prize, Mathematics Prize, Kenneth Tyson Raynor Mathematics Scholarship,
Carswell (full-tuition) Scholarship, member of Phi Beta Kappa, Pi Mu Epsilon mathematics honorary society, Eta Sigma Phi classics honorary society (Wake Forest University).
1982 National Merit Scholarship.
Scholarly
Contributions
Teaching
Courses taught at Auburn University:
COMP8700 Topics in Software Engineering: BREW
COMP7970 Special Topic: Handlheld and Mobile Software Development
COMP7730 Formal Methods for Software
COMP7360 Wireless and Mobile Networks
COMP0690 Seminar in Reconfigurable Smart Components
COMP4710 Senior Design Project
COMP4730 Computer Ethics
COMP4300 Computer Architecture
COMP3500 Operating Systems
CSE521 Introduction to Compilers
CSE680 VLSI CAD Tool Design
CSE619 Programming Language Semantics
CSE360 Algorithm Design
CSE120 Introduction to Computer Programming for Engineers
Courses taught at Cornell University:
CS222 Introduction to Numeric Computation
Graduate Students
Served as Major Professor - Graduated
Ph.D.
1. Deok-Hyun Hwang (first appointment: assistant professor, Rochester Institute of Technology,
Rochester, NY )
2. Ntsibane Ntlatlapa (first appointment: assistant professor, National University of Lesotho).
3. Chun-Yu Chen (first appointment: assistant professor, Meiho College, Taiwan)
4. Jacqueline Moore (first appointment: assistant professor, Pine Bluff State University, AR)
5. Demethria Johnson (first appointment, IBM research)
6. Rehab Abdel-Kader (first appointment, assistant prof, Georgia Southern University)
7. Mave Houston, (first appointment, Price-Waterhouse Coopers)
8. Pate Williams (first appointment, Durand-Wayland, LaGrange, GA)
9. Amos Confer (first appointment, assistant prof, SUNY Utica)
M.S./MCSE
2. Mave Houston (fir st appointment: Ph.D. student, University of North Carolina)
3. Bridgette Wallace (first appointment: programmer/analyst, SRI Inc, Washington, DC)
4. Jacqueline Moore (first appointment: Ph.D. student, Auburn University)
5. Gerald Carter (first appointment, Engineering Network Services, Auburn University)
6. Catherine Wong (first appointment: Division of University Computing, Auburn University)
7. Walter Carr (first appointment: Agilent Technologies)
8. Wendell Beckwith (first appoointment: Harris Computer)
9. Biswo Poudel (first appointment: Ph.D, U. Florida)
10. James Cowan (first appointment: Lee County Schools Technology Center)
COMP8700 Topics in Software Engineering: BREW. Qualcomm’s Binary Runtime Environment for Wireless is becoming the industry standard application platform for data-enabled mobile phones. In this class we explored the BREW system’s capabilities, and each student developed and tested two marketable BREW applications. Use of BREW in this graduate class paved the way to use it for senior design projects in later semesters.
Bachelor’s Degree in Wireless Engineering Developed Software-oriented track in Auburn’s unique Bachelor of Wireless Engineering Degree, and secured approval from Alabama Commission on Higher Education (ACHE) and received ABET (Accreditation Board for Engineering and Technology) accreditation for the degree in 2005.
COMP4710 Senior Design Project: Along with Dr. David Umphress, this course was redesigned to use lightweight agile process rather than the waterfall model, which had been used for the previous 15 years in the course. We developed a variant of XP (extreme programming) in which students used test-first, pair programming, and user stories to go through three complete design cycles in a semester.
COMP7360 Wireless and Mobile Networks: This class was used to explore different topics in related to AU’s new wireless engineering program over the course of several semesters. Students developed first an active badge system. The second semester was focused on wearable computing, culminating in several wearable computers that were featured on TV news in Columbus and Montgomery. Finally, a smart media network was developed based on SOAP and LDAP to provide open-source standards based alternatives to proprietary service lookup protocols such as Jini and UpnP.
COMP7970 Special Topic: Mobile and Handheld software development. This course, taught jointly with David Umphress, used PalmOS design and software development as our first foray as a department into teaching about software development on mobile handheld devices.
COMP7730 Formal methods in software: This course taught a number of approaches to formal verification and design principles for software engineers, including program calculi, denontational and operational semantics, pre and post condition based reasoning, and temporal logics.
COMP0690 Seminar in reconfigurable, smart components. A seminar for exploration of the world of agents, middleware, and wireless gadgets. Students developed a Jini-based active badge system, as well as object-broker discovery protocols based on UDP and Tcl/Tk. Clients included GPS receivers, IEEE803.11 wireless LAN devices, PDA’s, and custom hardware.
COMP4730 Developed computer ethics class to stress ethical decision-making, as well as oral and written communication of ethical arguments.
Semester-calendar curricula for Computer Science, Software Engineering, Information Technology. Auburn University transitioned from a quarter-based academic calendar to semester-based calendar in Fall 2000. This necessitated redevelopment of all curricula. Additionally, Auburn developed a new undergraduate curriculum in software engineering – Auburn is the first public university in the USA to offer this degree. As director of undergraduate programs, I was responsible for development of the new curricula.
CSE405 lab
Developed Linux-based laboratory course using PC hardware, to provide students with
hands-on, real-world experience with a multitasking, high-performance,
network-capable operating system. (first used Fall 1997).
CSE405 lab Ported Nachos instructional operating system, MIPS processor simulator, and cross-compiler to run on Sun Microsystems SPARC station computers. This lab was used in CSE405 every time it was taught from Fall 1993 to Spring 1997, by Chapman and two other faculty members.
CSE619 Developed course in programming language design centered around semantics of programming languages. This course presents denotational, operational, and axiomatic models of programming languages, and challenges students to develop semantics for a language of their own choosing for the final project.
CSE680 VLSI CAD tool development In conjunction with research funded by NSF CAREER grant “Efficient, Formally Verified Tools for High Level Synthesis and Hardware Software Codesign,” this course exposes students to the state of the art in computer-aided-design for electronic systems by a combination of presentation of research papers by students and software development projects.
Publications
Related to Teaching
Other Contributions to Teaching
1. Coached Association for Computing Machinery Intercollegiate Programming Contest team, and accompanied the team to contests, 8/94-8/99
2. Coordinator, undergraduate networking and operating systems laboratory.
3. Auburn University Certified as a National Security Agency Center of Academic Excellence for Information Assurance, 2002, recertified 2006, with Drew Hamilton (15%).
Patents
1. Richard Chapman (40%) and William Confer, System and Method of Handwritten Character Recognition,
United States Patent No. 6,721,452, April 13, 2003.
1. “A Musical Duet Performance MIDI over IP System”, James Pate Williams and Richard Chapman (50%) Journal of Computing Sciences in Colleges, Volume 21, Number 2, December 2005, pp. 258-264.
2.
Juan Gilbert, Richard
Chapman (25%), Sangeeta Garhyan
“Voice LETS Backs UP first Responders,” IEEE Pervasive, Volume 4, Number 3, July-September 2005, pp. 92-96.
3. “Formal Verification of a High-Level Synthesis Scheduler.” Richard Chapman, accepted for publication in Formal Methods in System Design, Kluwer Academic Publisher.
4. “Test Scenario Generation Based on Formal Specification and Usage Profile”. K.H. Chang, S.S. Liao, R. Chapman, C.Y. Chen. International Journal of Software Engineering and Knowledge Engineering, Vol. 102, No. 2, April 2000, 17 pages.
5. “Program Interpreters.” Richard Chapman and Kai Chang. Encyclopedia of Electrical and Electrical Engineering. John Webster, editor. Volume 17, pp. 310-322. John Wiley & Sons, 1998.
6. “Testing Object-Oriented Programs: From Formal Specification to Test Scenario Generation.” Kai Chang, Shi-sung Liao, Stephen Seidman, and Richard Chapman. Journal of Systems and Software, vol. 42 (1998), pp. 141-151.
7. “Using Graph Parsing for Automatic Graph Drawing,” C.L. McCreary, Richard Chapman, and Fwu- Shan Shieh. IEEE Transactions on System, Man, and Cybernetics, IEEE Press, Vol. 28 Part A No. 4. 1998. 34 pages.
8. “Visualization and Measurement of Source Code.” James Cross, Kai Chang, Dean Hendrix, and Richard Chapman. Crosstalk: The Journal of Defense Software Engineering, 1997, Vol. 10, No. 12, pp. 16-20.
9. “A Linux-Based Laboratory for Operating Systems and Networks Courses.” Richard Chapman and Homer Carlisle. Linux Journal. SSC Publications, Vol. 1., No. 41, September, 1997, pp. 60-65.
10. “High Level Synthesis and Generating FPGA’s with the BEDROC System”. Miriam Leeser, Richard Chapman, Mark Aagaard, Mark Linderman, Stephan Meier. The Journal of VLSI Signal Processing, Kluwer Academic Publishers, volume 6, number 2, 1993. pp. 193-216.
11. “A Criterion for Discrete Spectra of Partial Differential Operators”. John V. Baxley and Richard Chapman Czechoslovak Mathematical Journal, 42 (117), 1992. pp. 403-414, Prague.
Refereed Conference Publications
1. “Network Simulation for Executable Architectures”, Drew Hamilton and Richard Chapman (10%) Proceedings of Systems and Software Technology Conference, 2 pages, April 18-21, 2005, Salt Lake City, IEEE Press.
2. “RTP and TCP based MIDI over IP Protocols”, Saad Biaz, Richard Chapman (30%) and Pate Williams,” Proceedings of 2005 Annual Southeastern Conference of the ACM, ACM Press, 6 pages, March 26, 2005.
3. “Security in Software Architecture”, John Hamilton, Adam Sachitano, and Richard Chapman (25%), Proceedings, 5th Annual Information Assurance Workshop, United States Military Academy, June 2004, 7 pages.
4. “A New Baccalaureate Program in Wireless Engineering,” Victor Nelson, Richard Chapman (15%), Dick Jaeger, Proceedings ASEE Conference 2003, 7 pages, 2003.
5.
“The Smart Media
Network: An Open Approach to Home
Entertainment,” Aaron Carlisle, Richard Chapman (50%) et al, Proceedings of
41st Annual ACM
Southeast Conference, ACM Press,
March 2003, pp 83-88.
6.
“Comparison of
Activity-Based Character
Recognizers,” William Confer and Richard Chapman (25%), Proceedings of 41st
Annual ACM Southeast Conference, ACM Press, March 2003, pp 95-99.
7.
“Concurrent Scheduling
of Multiple Loops Using the Force-Directed Scheduling Algorithm,” Rehab
Abdel-Kader and Richard Chapman (25%), Southeastern ACM Conference, 7 pages, 6-27 April 2002.
8. “Automatic Test Inputs Identification from Object-Oriented Formal Specifications.” C.Y Chen, Kai H. Chang, and Richard Chapman. Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Institute Press, July 6.-8, 2000, pp. 213-220.
9. “Multiobjective Particle Swarm Optimization.” J. Moore, R. Chapman, and G. Dozier. Proceedings of 38th Annual Association of Computing Machinery Southeast Conference, Clemson, SC, April 7-8, 2000, pp. 56-7.
10. “A Jini Enabled Active Badge System.” R. Brooks, W.H. Carlisle, R. Chapman, et al. Proceedings of 38th Annual Association of Computing Machinery Southeast Conference, Clemson, SC, April 7-8, 2000, pp. 105-106.
11. “Test Scenario and Test Case Generation based on Object Z Formal Specifications.” C.Y. Chen, K.H. Chang, and Richard Chapman. Proceedings of 11th International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Institute, June 16-19, 1999, pp. 207-210.
12. “Test Scenario and Regression Test Suite Generation from Object Z Formal Specifications for Object-Oriented Program Testing.” C. Chen, R. Chapman, and K.Chang. Proceedings of 37th Annual ACM Southeast Regional Conference, Mobile, Alabama, 1999, pp.51-53.
13. “Usage Based Test Scenario Generation from Object Z Formal Specifications.” C.Y. Chen and R. Chapman and K. Chang. Proceedings of 1998 International Computer Symposium, Workshop on Software Engineering and Database Systems. December 17-19, 1998, pp. 244-251.
14. “A Genetic Algorithm Approach to Hardware/Software Partitioning.” Loretta Moore, Yvette McGowan, Richard Chapman. Proceedings of 1998 World Automation Conference. TSI Press, 6 pages.
15. “A Formally Verified High-Level Synthesis Front-End: Translation of VHDL to Dependence Flow Graphs.” Richard Chapman and Deok-Hyun Hwang, accepted for Proceedings of 1997 European Design Automation Conference. IEEE Computer Society Press, 1997, 10 pages., but conference cancelled.
16. “The Java Schematic Drawer.” Mave Houston, Catherine Wong, Richard Chapman. Proceedings of 1997 Computing Research Conference. Mayaguez, Puerto Rico, 1997, 4 pages..
17. “Usage-based Test Scenario Generation for Multi-Layer State Transition Diagrams.” Kai Chang, Shih-Sung Liao, Richard Chapman, and Chris Rodgers. Proceedings of 1997 Conference on Software Engineering and Knowledge Engineering, 1997, pp.263-270.
18. “A Programmable Telephone Rate Meter: A Hardware/Software Codesign Case Study”, Bridgette Wallace, Richard Chapman, Loretta Moore. Proceedings of 1997 Southeastern Regional Association for Computing Machinery Conference, 1997, ACM Press, pp. 85-87.
19. “Case Study: An Internet Accessible Remote Controlled Home Automation System”, Mave Houston, Richard Chapman, Loretta Moore. Proceedings of 1997 Southeastern Regional Association for Computing Machinery Conference, 1997, pp. 82-84.
20. “A Process-Algebraic Semantics for VHDL”: Richard Chapman and Deok-Hyun Hwang. Proceedings of 1996 VHDL Forum in Europe. Dresden, Germany, May 1996. Shaker Verlag, pp. 157-168.
21. “Timed Dependence Flow Graphs, an Intermediate Form for Verified High-Level Synthesis”. Richard Chapman. Proceedings of 8th Annual IEEE ASIC Conference, Austin, Texas, September, 1995, IEEE Press. pp. 109-112.
22. “Implementing Filters with Field-Programmable Logic”, Miriam Leeser, Richard Chapman, Michael Bertone, Alan Wenban. Proceedings of the 3rd International Workshop on Field Programmable Logic and Applications. Oxford, United Kingdom, September, 1993, pp. 192-201.
23. “Verified High-Level Synthesis in BEDROC”. Richard Chapman, Geoffrey Brown, Miriam Leeser. Proceedings of 1992 European Design Automation Conference. Brussels, Belgium, March 16-19, 1992, pp. 59-63.
24. “The BEDROC High-Level Synthesis System”. Miriam Leeser, Mark Aagaard, Mark Linderman, Richard Chapman, Richard Johnson, Stephan Meier. Proceedings of 4th IEEE ASIC Conference and Exhibit. Rochester, New York, Sept. 23-27, 1991. P2-5.1-P2-5.5.
25.
“Higher-Order Attribute Grammars and Editing
Environments”. Tim Teitelbaum and Richard Chapman. Proceedings ACM SIGPLAN
Conference on Programming Language Design and Implementation, White Plains, New York, June 20-22, 1990, ACM Press.
pp 197-208.
Nonrefereed
Publications
1. “GML-DFG: An Implementation of Dependence Flow Graphhs in Graph Modeling Language.” Ntsibane Ntlatlapa and Richard Chapman, Auburn University Computer Science and Software Engineering Technical Report, CSSE99-01, 1999, 19 pages.
2. “Models of a Fault-Tolerant Processor Architecture and Verification”. Richard Chapman and David Jackson, Formal Systems Design and Development, Inc. technical report, deliverable for ONR contract N00014-93-C-0213, 43 pages, 1995.
3. “Timed Dependence Flow Graphs”. Richard Chapman. Auburn University Computer Science and Engineering Technical Report. Number 94-17, 12 pages.
4. “Verified High-Level Synthesis”. Ph.D. Thesis. Computer Science Department, Cornell University, 1993,
156 pages.
5. “A Theory of Program Correctness and Algorithms for Proofs”. J.R. Gabriel, Richard Chapman, and J.L. Kljaich. Argonne National Laboratory Mathematics and Computer Science Technical Report ANL-87-4, 1987, 15 pages.
6. “A Formal Notation for Hardware and Software Verification”. Richard Chapman and J.R. Gabriel. Argonne National Laboratory Mathematics and Computer Science Technical Report ANL-86-44, 1986, 16 pages.
7. “Deriving Properties of Systems from Properties of Parts and Lists of Connections”. J.R. Gabriel and Richard Chapman. Argonne National Laboratory Mathematics and Computer Science Technical Report ANL-86-51, 1986, 25 pages.
1. Consultant to Linux Support Services, December 1999. Provided Linux support to enterprise support customers via phone and internet.
2. Consultant to Formal Systems Design and Development, Inc, (Auburn, AL) and Formal Systems Europe, Ltd. (Oxford, UK) on ONR contract N00014-93-C-0213 to formally specify and verify a real-time, fault-tolerant scheduler for helicopter engine control system. Also involved with development of Formal Systems’ next generation of formal verification software. March 1994 to October 1995.
External Contracts and Grants
1. “Efficient, Formally Verified Tools for High Level Synthesis and Hardware-Software Codesign”, Richard Chapman (PI) NSF Computer and Information Science and Engineering Directorate, CAREER AWARD, Microelectronics Information Processing Systems Division, Design, Tools, and Test Program 9/96-9/2001, $296,000.
2. “Hands-on Experience with System Software: An Integrated Networking and Operating Systems Laboratory”, NSF ILI, 9/96-9/99, Richard Chapman (PI, 75% ) and Homer Carlisle, $44,512.
3. “Better Interfaces and Better Tools for Hardware-Software Codesign”, NSF Graduate Research Traineeship grant, Education, 9/95-9/2000, Richard Chapman (PI, 75%) and Loretta Moore $562,500.
4.
“Voice Interface for
Law Enforcement Wireless Applications,” Richard Chapman (PI), 75%, Juan Gilbert
(co-PI), , University of
Alabama Subcontract from SAICS,
“$20K, 12/2002-9 /2003, $40K increment for 7/03 to 10/03.
5.
“Undergraduate Research
Experiences in Wireless Engineering,”, Saad Biaz (PI), Richard Chapman (co – PI
15%), Kai Chang (co-PI), NSF REU, $270K,
6/03-6/06
6.
“Graduate Fellowships
in Wireless Engineering,”, Kai Chang (PI), Saad Biaz, Richard Chapman (co PI
20%), Chung-Wei Lee, Peter Sun,
(Co-PI’s), $390K, United
States Department of Education,
6/03-6/06
7.
“Vodafone Scholars at Auburn”, Dick Jaeger, Victor Nelson, Richard Chapman
(30%), Vodafone Foundation, $3.1M, 2003-2008.
8.
“4G wireless
engineering Sandbox”, Saad Biaz (PI) , Richard Chapman (10%),
NSF CISE Division, $320K, 9/1/04-8/31/06
9.
“Wireless Network
Software for Unmanned Aerial Vehicles”,
Richard Chapman (PI), (75%), Drew Hamilton, David Umphress, Chwan Wu,
Army AMCOM, 3/05-9/07, $330K. for FY05, $300K FY06
10.
“Data Dissemination
from Small Army UAV’s,” Army AMCOM, Richard Chapman (PI) (75%) Drew Hamilton,
David Umphress, Gil Crouse, 10/06-9/07, $241K.
1. “ Verified High Level Synthesis Tools for Digital Hardware”, Richard Chapman, Auburn University Research Grant in Aid, Jan. 1994 - December 1994, total amount $4333.
2. Equipping
CSSE with an H.323 videoconferencing system, AU General Fund grant,
2002, $60,000 (100%).
3.
MIDI over IP: An
Internet Protocol for Distributed Music Performance, AU Competitive Research
Grant, $2961 2002, (100%)
4.
Integrating Inertial
Sensing, Mobile Computing, and Wireless
Telephony to Design an Assistive Device for the Elderly, AU College of
Engineering GRA award, with Hari Narayanan, 2001, $20,000 (25%).
5.
Using Internet 2 to
Disseminate Animal Dissection Video for Anatomy Courses, with Dr. Eleanor
Josephson, College of Veterinary Medicine (15%), 2003, $14000, AU Internet 2
fund.
6. General Fund grant to renew equipment in COMP1000 lab, $59,000, 2006.
7. “Tiger Transit Wireless System,” AU Office of Communication and Marketing, approx $20K
8. Auburn University Internet 2 award for putting anatomy lessons for Veterinary medicine on the Web as video ($14K), with Dr. Eleanor Josephson, College of Vet. Med (contribution 15%), 2004.
University
1. Prestigious Scholarship Advisory Committee (8/93-2004)
2. Sigma Xi Research Award Committee (8/95-2004)
3. Work with Jim Stone, head of Auburn Telecommunications, Michael Moriarty, VP for research, on high-speed networking connection for AU main campus (upgrade from 1.5megabits/sec to 155megabits/sec) (4-8/97).
4. Franklin-Littleton University Lecture Series committee (8/97-present)
5. Honors Council (advisory board to Honors College, (8/94-4/2005)
Department
6. Association for Computing Machinery (ACM) Student Chapter Advisor (8/94-4/98)
7. Undergraduate program coordinator (4/98-4/01)
8. ACM intercollegiate programming team coach (8/93-4/98, 4/99-11/99)
9. Equipment committee (8/93-8/96, 8/2002-present)
10. Equipment committee chair (8/97-8/98, 8/2002-present)
11. Curriculum committee ( 8/93-present)
12. Faculty search committee (8/93-present)
13. Scholarship committee (8/95-4/2004)
14. Honors program advisor (8/93-present)
15. Faculty search committee chair (8/2006-present)
College
15. Research committee (8/94-6/96)
16. Graduate faculty standards (8/94-6/96)
17. Curriculum committee (2/98-4/01)
18. Wireless program coordinator for CSSE (4/2000-present)
19. Director, Center for IMPACT (2002-present)
20. Wireless Steering Committee (2004-present)
Professional
21. Reviewed papers for journal Transactions on Programming Languages and Systems, ACM Press, 1995.
19. Reviewed
proposals for NSF Computer and Information Science and Engineering
Directorate,
Microelectronics Division, 1996-present.
20. Reviewed papers for Frontiers in
Engineering Education, 1997-01.
21. Served on
NSF CISE directorate review panels, embedded systems program 2002, 2004
22. Member ACM,
IEEE/CS, Phi Beta Kappa.
23. Reviewed for
Southeastern Regional Association
for Computing Machinery Conference, 1995-2002.
24. Alabama state Rhodes Scholarship selection committee 1994-present
25. ABET CAC (Previously CSAB) (Accreditation) Program evaluator 8/99 – present )
26. Member, Program Committee COMPSAC 2002 Conference
27. Industrial Electronics Society, Steering Committee, 2004-present
28. Industrial Electronics Society, Representative to Transactions on Mobile Computing