Curriculum Vitae

David Reed, Ph.D. Associate Professor of Informatics & Computing Science Department of Jounralism, Media & Computing Creighton University 2500 California Plaza Omaha, NE 68178 Phone: (402) 280-2583 Email: DaveReed@creighton.edu

Education

• Ph.D. in Computer Science, Duke University, 1992.
  Dissertation: A Case-analysis Approach to Disjunctive Logic Programming
  
  
• M.S. in Computer Science, Duke University, 1988.
  Thesis: Near-Horn Prolog: A First-Order Extension to Prolog
  
  
• B.S. in Mathematics and Computer Science (double major), Vanderbilt University, 1985.

Work Experience

• Associate Professor, Creighton University, Omaha, NE. (2003-Present)
  Assistant Professor, Creighton University, Omaha, NE. (2000-2003)
  Serving as Director of Informatics and Computing Science from 2011-Present, emphasizing the integration of CS with other information-based disciplines, the development of innovative curricula, and the strengthening of ties with industry and local high schools. As Chair of Department of Computer Science from 2005-2008 and 2009-2011, led the department and represented Creighton in national organizations and committees. Advised and mentored students, served as sponsor for the Student ACM Chapter and coach of the Creighton University Programming Teams. Ongoing research conducted in computer science education and programming languages. July 2000 - Present.
  
  
• Associate Professor, Dickinson College, Carlisle, PA. (2000)
  Assistant Professor, Dickinson College, Carlisle, PA. (1994-2000)
  Taught computer science courses, advised and mentored students, and led in the redesign and rebuilding of the computer science program. New initiatives included the integration of object-oriented programming in the curriculum and the development of a Web-based intro course. July 1994 - July 2000
  
  
• Faculty Consultant, Educational Testing Service, Princeton, NJ.
  Served as Chief Reader from 2004-2008, in charge of the grading of all APCS exams (more than 20,000 per year). Previously, assisted in rubric development and grading AP Computer Science exams; served as Question Leader in 1999-2002 & 2012, and Chief Reader Designate in 2003-2004. June 1994 - Present
  
  
• Visiting Assistant Professor, Duke University, Durham, NC.
  Organized and taught graduate and undergraduate level courses, and contributed to the restructuring of the computer science curriculum, including the adoption of C++ in CS 1. In addition, conducted research in the areas of logic programming and automated deduction. Sep 1992 - May 1994
  
  
• Assistant Professor, Bennett College, Greensboro, NC.
  Taught various undergraduate courses in computer science, advised students, and continued research while completing my dissertation. Aug 1991 - Aug 1992
  
  
• Instructor, Talent Identification Program, Duke University, Durham, NC.
  Developed and taught computer courses (LISP, Pascal, Artificial Intelligence and Expert Systems) in this national program for gifted Junior High and High School students. Aug 1989 - Aug 1994
  
  
• Research Assistant, Duke University, Durham, NC.
  Conducted research under Donald W. Loveland, primarily focusing on disjunctive logic programming and formal semantics. June 1988 - Aug 1991
  
  
• Instructor/Instructional Assistant, Duke University, Durham, NC.
  Taught introductory computer science courses and assisted other instructors with laboratories. Aug 1986 - May 1988, Aug 1989 - Dec 1989
  
  
• Knowledge Engineer/Programmer, Minicomputer Systems, Inc., Boulder, CO.
  Designed and developed an expert system for judging voice transmission quality at the Institute for Telecommunication Sciences. May 1986 - Aug 1986

Grants and Support

Integrating Empirical Methods into the Computer Science Curriculum.
NSF CCLI-Educational Materials Development Grant.
Budget: $74,995 (2003 - 2006)


Creighton University Pipeline for Innovation Grant.
Budget: $500 (2006 - 2007).


Creighton Faculty Development Grant.
Budget: $4,300 (Summer 2005)


Creighton University Summer Assessment Grant.
Budget: $2,724 (Summer 2002)

Dickinson College Research and Development Grant.
Budget: $4,000 (Spring 1998)

Books Published

A Balanced Introduction to Computer Science, 3rd edition.
David Reed.
Prentice Hall, ISBN 978-0-13-216675-1, 2011.
A Balanced Introduction to Computer Science, 3rd edition -- International Version.
David Reed.
Prentice Hall, ISBN 978-0-13-259444-8, 2011.
A Balanced Introduction to Computer Science, 3rd edition -- Online Supplement.
David Reed.
Prentice Hall, ISBN 978-0-13-216689-8, 2010.
A Balanced Introduction to Computer Science, 3rd edition -- Instructor Supplement.
David Reed.
Prentice Hall, ISBN 978-0-13-216703-1, 2010.



A Balanced Introduction to Computer Science, 2nd edition.
David Reed.
Prentice Hall, ISBN 978-0-13-601722-6, 2009.
A Balanced Introduction to Computer Science, 2nd edition -- International Version.
David Reed.
Prentice Hall, ISBN 978-0-13-135829-4, 2009.
A Balanced Introduction to Computer Science, 2nd edition -- Online Supplement.
David Reed.
Prentice Hall, ISBN 978-0-13-601759-2, 2008.
A Balanced Introduction to Computer Science, 2nd edition -- Instructor Supplement.
David Reed.
Prentice Hall, ISBN 978-0-13601723-3, 2008.



A Balanced Introduction to Computer Science.
David Reed.
Prentice Hall, ISBN 0-13-046709-X, 2005.
A Balanced Introduction to Computer Science -- Online Supplement.
David Reed.
Prentice Hall, ISBN 0-13-141338-4, 2005.
A Balanced Introduction to Computer Science -- Instructor Supplement.
David Reed.
Prentice Hall, ISBN 0-13-141340-6, 2005.



Teaching the Tapestry: An Instructor's Manual to Accompany A Computer Science Tapestry.
David Reed.
McGraw-Hill Companies, Inc., ISBN 0-07-002037-X, 1997.



Introduction to Computing: An Interactive Approach Using ISETL.
David Reed.
Published at Dickinson College for use in CS 131 courses, 1995, 1996, 1997.

Book Chapters

A Near-Horn Prolog for Compilation.
Donald Loveland and David Reed,
In Computational Logic: Essays in Honor of Alan Robinson,
Lassez and Plotkin (eds.), MIT Press, 1991.

Refereed Articles

Critical Thinking and Modeling in CS0: The Prisoner's Dilemma.
David Reed.
Journal of Computing Sciences in Colleges, 26(5), 2011.


Sometimes Style Really Does Matter.
David Reed.
Journal of Computing Sciences in Colleges, 25(5), 2010.


A 2007 Model Curriculum for a Liberal Arts Degree in Computer Science.
Liberal Arts Computer Science Consortium (contributing author).
ACM Journal on Educational Resources in Computing, 7(2), 2007.


The Convergence of Computer Programming and Graphic Design.
David Reed and Joel Davies.
Journal of Computing Sciences in Colleges, 21(3), 2006.


Core Empirical Concepts and Skills for Computer Science.
Grant Braught, Craig Miller, and David Reed.
In Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education,
SIGCSE Bulletin 36(1), 2004.


The Use of Ill-Defined Problems for Developing Problem-Solving and Empirical Skills in CS1.
David Reed.
Journal of Computing Sciences in Colleges, 18(1), 2002.


Disequilibration for Teaching the Scientific Method in Computer Science.
Grant Braught and David Reed.
In Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education,
SIGCSE Bulletin 34(1), 2002.


The Knob & Switch Computer: A Computer Architecture Simulator for Introductory Computer Science.
Grant Braught and David Reed.
ACM Journal on Educational Resources in Computing, 1(4), 2001.


Rethinking CS0 with JavaScript.
David Reed.
In Proceedings of the 32nd SIGCSE Technical Symposium on Computer Science Education,
SIGCSE Bulletin 33(1), 2001.


Developing Empirical Skills in an Introductory Computer Science Course.
David Reed.
In Proceedings of the 34th Midwest Instruction and Computing Symposium,
Fienup (ed.), 2001.


Empirical Investigation throughout the CS Curriculum.
David Reed, Craig Miller, and Grant Braught.
In Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education,
SIGCSE Bulletin 32(1), 2000.


Incorporating Problem-solving Patterns in CS 1.
David Reed.
In Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education,
SIGCSE Bulletin 30(1), 1998.
Reprinted in Journal of Computer Science Education, 13(1), 1999.


Near-Horn Prolog and the Ancestry Family of Proof Procedures.
David Reed and Donald Loveland.
Annals of Mathematics and Artificial Intelligence, 14, 1995.


AAA and CS 1: The Applied Apprenticeship Approach to CS 1.
Owen Astrachan and David Reed.
In Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education,
SIGCSE Bulletin 27(1), 1995.


SATCHMORE: SATCHMO with RElevancy.
Donald Loveland, David Reed and Debra Wilson.
Journal of Automated Reasoning, 14:325-351, 1995.


A Near-Horn Approach to Disjunctive Logic Programming.
David Reed, Donald Loveland and Bruce Smith.
In Proceedings of the 2nd Int'l Workshop on Extensions of Logic Programming,
Lecture Notes in AI 596, Springer-Verlag, 1992.


A Comparison of Three Prolog Extensions.
David Reed and Donald Loveland.
Journal of Logic Programming, 12(1), 1992.


A Near-Horn Prolog for Compilation.
Donald Loveland and David Reed.
In Computational Logic: Essays in Honor of Alan Robinson,
Lassez and Plotkin (eds.), MIT Press, 1991.


An Alternative Characterization of Disjunctive Logic Programs.
David Reed, Donald Loveland and Bruce Smith.
In Proceedings of the 1991 International Logic Programming Symposium,
Saraswat and Ueda (eds.), MIT Press, 1991.

Refereed Abstracts

Computing Curricula 2013: Computer Science - Update on the Strawman Report from the ACM/IEEE-CS Task Force.
Mehran Sahami, Ernesto Cuadros-Vargas, Steve Roach, and David Reed.
SIGCSE Bulletin, 43(1), 2012.

Nifty Assignments: Skip-3 Solitaire.
David Reed.
Journal of Computing Sciences in Colleges, 26(5), 2011.

New Educators Roundtable at SIGCSE Symposia.
David Reed and Julie Zelenski.
SIGCSE Bulletin, 42(4), 2010.

Experiences from within the AP Computer Science Program.
David Reed, Julie Zelenski, and Gail Chapman.
Proceedings of the 2010 CSTA Computer Science and Information Technology Symposium,
Mountain View, CA, 2010.

Nifty Assignments: Roulette Simulations and Martingale Betting.
David Reed.
Journal of Computing Sciences in Colleges, 25(5), 2010.

Nifty Assignments: Encryption and the Enigma Machine.
David Reed.
SIGCSE Bulletin, 41(1), 2009.

Nifty Assignments: ASCIImations.
David Reed.
SIGCSE Bulletin, 39(1), 2007.

What Colleges Should Know about the New AP Computer Science.
David Reed and Joe Kmoch.
Proceedings of the 39th Annual Midwest Instruction and Computing Symposium, 2006.

Integrating Empirical Methods into the Computer Science Curriculum.
David Reed, Grant Braught and Craig Miller,
SIGCSE Bulletin, 38(1), 2006.

Growl...Roar...Are We Ready for Tiger? Review of the Current Climate and Changes to be Implemented for the 2007 AP CS Exam.
Don Allen, Reg Hahne, Cay Horstmann and David Reed.
SIGCSE Bulletin, 38(1), 2006.

What Colleges Should Know about the New AP Computer Science.
David Reed and Jody Paul.
Journal of Computing Sciences in Colleges, 21(3), 2006.

The Year in Review... Changes and Lessons Learned in the Design and Implementation of the AP CS Exam in Java.
Scot Drysdale, Reg Hahne, Judith Hromcik and David Reed.
SIGCSE Bulletin, 37(1), 2005.

Nifty Assignments: Talk Like a Pirate.
David Reed.
SIGCSE Bulletin, 36(1), 2004.

Integrating Empirical Methods into Computer Science.
David Reed, Grant Braught and Craig Miller.
SIGCSE Bulletin, 34(1), 2002.

Nifty Assignments: Interactive Web Pages in CS0.
David Reed.
SIGCSE Bulletin, 34(1), 2002.

Abstraction vs. Implementation in CS2.
David Reed.
The Future of CS2 and Data Structures Workshop, OOPSLA 98,
Vancouver, 1998.

Incorporating Default Negation into Bidirectional Reasoning.
David Reed.
Proceedings of Dagstuhl Seminar 9627 - Disjunctive Logic Programming and Databases: Nonmonotonic Aspects, Dagstuhl, Germany, 1996.

The First Year: Beyond Language Issues.
David Reed.
SIGCSE Bulletin, 28(1), 1996.

A Role for Classical Negation in Disjunctive Logic Programming.
David Reed.
Proceedings of the Workshop on Disjunctive Logic Programming, 1991 International Logic Programming Symposium,
San Diego, CA, 1991.

A Case-analysis Based Fixpoint Semantics for Disjunctive Logic Programs.
David Reed.
Proceedings of the Workshop on Non-Horn Clause Logic Programming, 1990 North American Conference on Logic Programming,
Austin, TX, 1990.

Near-Horn Prolog and the Ancestry Family of Proof Systems.
David Reed.
Proceedings of the Workshop on Non-Horn Clause Logic Programming, 1990 North American Conference on Logic Programming,
Austin, TX, 1990.

A Comparison of Three Prolog Extensions.
David Reed.
Proceedings of the 5th Southeastern Logic Symposium,
Charlotte, NC, 1989.

Keynote and Plenary Addresses

A Survival Guide for Fluctuating CS Enrollments.
Keynote address at the 39th annual Midwest Instruction and Computing Symposium,
Iowa Wesleyan College, Mount Pleasant, IA, 2006.

APCS in Java: Looking Back / Looking Ahead.
Plenary presentation at the 5th annual Computer Science Conference for High School Educators,
Chapman University, Orange, CA, 2005.

Invited Talks and Panels

Career Mentoring Workshop.
Coorganized and presented at the 2012 SIGCSE Technical Symposium
Raleigh, North Carolina, February 2012.

CSTA Advocate Blog Entries.
  Binary Hand Dance, posted November 10, 2011.
  What Makes a Workshop Work?, posted September 12, 2011.
  Don't Miss Your Opportunity to Decide CSTA's Future, posted April 24, 2011.

New Educators Roundtable (NER).
Co-organized and presented at the 2011 SIGCSE Technical Symposium,
Dallas, Texas, March 2011.

Teaching Computer Science to Millennial Students.
Presented at the 2010 Liberal Arts Computer Science Consortium Meeting,
The George Washington University, July 2010.

New Educators Roundtable (NER).
Co-organized and presented at the 2010 SIGCSE Technical Symposium,
Milwaukee, Wisconsin, March 2010.

CSTA Advocate Blog Entries.
  CS&IT Workshops, posted December 8, 2010.
  CS Lessons from Facebook, posted September 6, 2010.
  CS Going Mobile?, posted July 6, 2010.
  CS Career Projections, posted May 20, 2010.
  Analogies in the Classroom, posted February 25, 2010.

Expanding Computer Science to Integrate Design and Digital Media.
Presented at the 2009 Liberal Arts Computer Science Consortium Meeting,
Gustavus Adolphus College, July 2009.

New Teaching Faculty Roundtable (NTFR).
Presented at the 2009 SIGCSE Technical Symposium,
Chattanooga, Tennessee, March 2009.

CSTA Advocate Blog Entries.
  Holiday Reading Corner, posted December 23, 2009.
  Looking at the Programming Language Options, posted October 17, 2009.
  Talk Like a Pirate Day, posted September 21, 2009.

Grading the Advanced Placement Computer Science Exam.
Presented at the AP Computer Science National College Faculty Colloquium,
Chicago, Illionois, October 2008.

CS and Interdisciplinary/Interdepartmental Courses.
Presented at the 2008 Liberal Arts Computer Science Consortium,
Pomona College, July 2008.

Birds of a Feather: The Current State of the AP Computer Science Program.
Presented at the 38th SIGCSE Technical Symposium on Computer Science Education,
Covington, Kentucky, March 2007.

Advanced Placement Computer Science: Meet the Committee.
Presented at the 2006 Advanced Placement Annual Conference,
Orlando, FL, July 2006.

Coming Soon to the AP Computer Science Exam.
Presented at the 2006 Advanced Placement Annual Conference,
Orlando, FL, July 2006.

AP Online Event: Overview of the APCS A Exam.
Presented online for the College Board, October 2005.

Advanced Placement Computer Science: Meet the Committee.
Presented at the 2005 Advanced Placement National Conference,
Houston, TX, July 2005.

Advanced Placement Computer Science: An Overview/Primer.
Presented at the 2004 JETT Java Workshop,
Northwest Missouri State University, Maryville, MO, August 2004.

Advanced Placement Computer Science: Meet the Committee.
Presented at the 2004 Advanced Placement National Conference,
Orlando, FL, July 2004.

Computer Science Program Goals.
Presented at the 2002 Liberal Arts Computer Science Consortium Meeting,
Grinnell College, August 2002.

Balance in CS0.
Presented at the 2001 Liberal Arts Computer Science Consortium Meeting,
Williams College, August 2001.

Rethinking the First Year.
Presented at the 1999 Liberal Arts Computer Science Consortium Meeting,
Oberlin College, June 1999.

Abstraction vs. Implementation in CS2.
Presented at the The Future of CS2 and Data Structures Workshop,
OOPSLA 98, Vancouver, Canada, 1998.

Data Abstraction & Data Structures in the CS Curriculum.
Presented at the Future Directions in Data Structures Workshop,
sponsored by the National Science Foundation and the Duke University
Department of Computer Science, Durham, NC, 1997.

One Step Forward, One Step Back: Directionality in Automated Reasoning.
Presented at Gettysburg College, December 1996.

Research Interests

Computer Science Education:


Primary interest in problem-solving and empirical methodologies, the use of Web-based technology in education, and interactive approaches to introductory computer science.

Artificial Intelligence:


Primary interest in logic programming and automated deduction. Related interest in search heuristics, expert systems, and artifial life.

Programming Languages:


Primary interest in the design and implementation of languages for teaching. Related interest in programming paradigms and formal semantics.

Professional Activities

Steering Committee:


ACM/IEEE Computing Curricula 2013: Computer Science. 2010-Present

Board of Directors:


Computer Science Teachers Association (CSTA). 2009-Present
    Member, Executive Committee or the Board.
    Chair, Professional Development Committee
Nebraska Network for Educational Renewal (NeNER). 2002-2003

Program Committee:


2012 Computer Science & Information Technology Symposium.
    Program Committee Member, Workshop Chair.
2011 Computer Science & Information Technology Symposium.
    Program Committee Member, Workshop Chair.
9th Annual Florida AI Symposium (FLAIRS-96).

Referee:


NSF CSEMS, CPATH, CCLI, BPC Programs
Journal of Automated Reasoning
Journal of Logic Programming
Journal of Symbolic Computation
ACM Transactions on Computing Education
Journal of Computing Sciences in Colleges
Annals of Mathematics and Artificial Intelligence
Information Processing Letters
ACM Crossroads magazine
CADE, ISMIS, ILPS, SIGCSE, ITiCSE, CCSC, CSTA CS&IT

Member:


Association for Computing Machinery
     Special Interest Group on Computer Science Education (SIGCSE)
Liberal Arts Computer Science Consortium (LACS)
Consortium for Computing Sciences in Colleges (CCSC)
Computer Science Teachers Association (CSTA)
Upsilon Pi Epsilon (Computer Science Honor Society)

Faculty Consultant to the Educational Testing Service. 2004-Present


Chief Reader for AP Computer Science. 2004-2008
Chief Reader Designate for AP Computer Science. 2003-2004
Question Leader 1999-2002 & 2012, Reader. 1994-1998
Consultant and reviewer for AP Central

Creighton University Service: (2000-Present)


University/College Committees
     Core Revision Task Force
       Core Conversations Subcommittee
       Summer Core Revisions Subcommittee
     Council of Chairs, CCAS Faculty Senate
     CCAS Faculty Senate Committee on Technology
     University Tuition Exchange/Reimbursement Committee
     Teacher Education Advisory Committee
     Arts & Sciences Academic Technology Committee
     Howard Hughes Medical Institute Grant Committee
     Faculty Working Group on Assessment in the Major
Department of Journalism, Media & Computing (2011-Present)
Department of Computer Science (2005-2011)
Department of Mathematics and Computer Science (2000-2005)
     Director, Informatics & Computing Science Program
     Chair, Department of Computer Science
     Co-Director, Interactive Web Development Minor
     Coach, Creighton University Programming Teams
     Sponsor, Student ACM Chapter
     Designer/Administrator of Department Web Pages
     Organizing Committee, Security Scare
     Organizer/Facilitator, Summer 2002 Assessment Retreat
     Library liaison.


Dickinson College Service (1994-2000):


College Committees
     Academic Standards Committee
     Science Executive Committee
     Science Building Design Committee
Department of Mathematics and Computer Science
     Advisor, Math and Computer Science Society (MCSS)
     Sponsor, Student ACM Chapter
     Coach, Dickinson College Programming Team
     Faculty Coordinator for Course Assistants