David Reed, Ph.D.Professor of Computer Science
|
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.
Programming Languages:
Primary interest in the design and implementation of languages for teaching.
Related interest in programming paradigms and formal semantics.
Artificial Intelligence:
Primary interest in logic programming and automated deduction.
Related interest in search heuristics, expert systems, and artificial life.
TECHnovate Award - 2nd place.
Awarded by Creighton Center for Academic Innovation, 2016.
Distinguished Educator in Teaching as Scholarship.
Awarded by Creighton University, 2015.
ACM Recognition of Service Award.
Awarded by the Association for Computing Machinery, 2014.
Top 50 Journalism Professors in 2012.
Awarded by JournalismDegree.org, 2012.
Faculty inductee.
Upsilon Pi Epsilon (Computer Science Honor Society), 1998.
Dana Fellowship, Dickinson College.
Provided funding for faculty/student research, focusing on the study of programming languages
and environments for introductory computer science education. 1996-1997.
Kingfisher Institute Antiracism Course Development Grant.
Budget: $700 (2021)
Magis Core Curriculum New Course Development Grant.
Budget: $4,000 (2014 - 2015)
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)
Computer Science: Concepts & Explorations, 2nd edition.
David Reed.
Bluejay Press, ISBN 2818440004926, 2021.
Computers Science: Concepts & Explorations.
David Reed.
Bluejay Press, ISBN 2818440002984, 2020.
Computers and Scientific Thinking.
David Reed.
Bluejay Press, ISBN 2818440002090, 2020.
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.
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.
Spiraling CS2013 Knowledge Units across a Small CS Curriculum.
David Reed.
Journal of Computing Sciences in Colleges, 32(5), 2017.
Nifty Assignments: Hunt the Wumpus.
David Reed.
Journal of Computing Sciences in Colleges, 32(5), 2017.
Computer Science Curricula 2013.
ACM/IEEE-CS Joint Task Force on Computing Curricula (contributing author),
ACM Press and IEEE Computer Society Press, 2013.
Critical Thinking and Modeling in CS0: The Prisoner's Dilemma.
David Reed.
Journal of Computing Sciences in Colleges, 26(5), 2011.
Nifty Assignments: Skip-3 Solitaire.
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.
Nifty Assignments: Roulette
Simulations and Martingale Betting.
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.
How Student Surveys Drive Change.
Colleen Lewis, Tracy Camp, Thomas Horton, David Reed and Burcin Tamer.
SIGCSE Bulletin, 51(1), 2021.
Preparing Students for Success on the APCS-A Exam.
David Reed and Fran Trees.
Proceedings of the 2019 CSTA Annual Conference, Phoenix, Arizona, 2019.
Getting More Involved with CSTA.
David Reed.
Proceedings of the 2018 CSTA Annual Conference, Omaha, Nebraska, 2018.
Nifty Remixes.
David Reed.
SIGCSE Bulletin, 49(1), 2018.
Current Initiatives and Future Directions of the Computer Science Teachers Association (CSTA).
David Reed and Mark R. Nelson.
SIGCSE Bulletin, 47(1), 2016.
SIGCSE 2016 New Educators Workshop.
David Reed and Andrea Danyluk.
SIGCSE Bulletin, 46(4), 2015.
Addressing Professional Development Needs for K-12 CS - Working with Your
Local CSTA Chapter.
David Reed and Frances P. Trees.
SIGCSE Bulletin, 46(1), 2015.
Leveraging Big Data in an Introductory Programming Course.
David Reed.
Proceedings of the 2014 CSTA Annual Conference, St. Charles, Illinois, 2014.
Experiences Mapping and Revising Curricula with CS2013.
David Reed, Andrea Danyluk, Elizabeth Hawthorne, Mehran Sahami, and Henry Walker.
SIGCSE Bulletin, 45(1), 2014.
ACM/IEEE-CS Computer Science Curricula 2013: Implementing the Final Report.
Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, Elizabeth Hawthorne, Amruth
Kumar, Richard LeBlanc, David Reed, and Remzi Seker.
SIGCSE Bulletin, 45(1), 2014.
New Educators Workshop at SIGCSE 2014.
David Reed and Andrea Danyluk.
SIGCSE Bulletin, 46(1), 2014.
Mobile Programming Throwdown.
David Reed, Adam Howitt, Ralph Morelli, and Alfred Thompson.
Proceedings of the 2013 CSTA Annual Conference, Quincy, Massachusetts, 2013.
CS Curricula 2013 and its Impact on K-12.
David Reed, Alfred Thompson, and Elizabeth Hawthorne.
Proceedings of the 2013 CSTA Annual Conference, Quincy, Massachusetts, 2013.
CSTA Chapters: Supporting Your Local CS Educators.
Frances P. Trees, David Reed, and Tammy Pirmann.
SIGCSE Bulletin, 44(1), 2013.
Mobile Programming Throwdown.
David Reed, Ricky Roy, Alfred Thompson, and David Wolber.
Proceedings of the 2012
CSTA Computer Science and Information Technology Symposium,
Irvine, CA, 2012.
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.
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: 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.
Memo of Understanding Ceremony: CSTA & KOFAC.
Speaker and representative of the Computer Science Teachers Association,
Seoul, Korea, October 2016.
Coding the Future with Software Education.
Keynote panelist at the 2016 Global Software Education Forum,
Seoul, Korea, October 2016.
Designing Computer Science Curricula for the Next Decade.
Keynote address at the 23rd World Computer Congress: ICT College Education Forum,
Daejeon, Korea, October 2015.
A Tale of Two Chiefs.
Professional Night address at the Advanced Placement Computer Science Reading,
Cincinnati, OH, 2012.
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.
Lessons Learned from Teaching in a Pandemic.
Presented at the 2021 Liberal Arts Computer Science Consortium Meeting,
Whitman College (online), July 2021.
Success Stories in Remote Working Enabled by IT.
Invited panelist at the Omaha Tech Summit,
Omaha, Nebraska (online), July 2020.
The Benefits of Partnering in a Multi-program, Information-centered Department.
Presented at the SIGCSE Technical Symposium workshop on Liberal Arts Computing Curricula,
Portland, Oregon (online), March 2020.
Post-Secondary and Workforce Panel.
Invited panelist at the Computer Science Summit for State Leadership,
Governor's Mansion, Little Rock, Arkansas, June 9-10, 2019.
What Counts Toward Teaching Credit?
Presented at the 2018 Liberal Arts Computer Science Consortium Meeting,
Calvin College, July 2018.
What Next? Future Steps in the CS Education Movement.
Panel at the Infosys Crossroads 2017 Thought Leadership Conference,
San Francisco, CA, May 24, 2017.
A Computer Science View of the Imitation Game.
Presented and led discussion ~140 high school students as part of the Film Streams
Education Series,
Omaha, NE, February 8, 2017.
K-12 Computer Science Education in the U.S.
Presentation at the National Assembly of Korea, at the invitation of the Korea Information Science Education Federation,
Seoul, Korea, October 25, 2016.
CSTA Advocate Blog Entries
One More Day to Cast Your Vote!, posted March 21, 2016.
Better Know a Committee - 2016 Edition, posted March 14, 2016.
CSTA Board of Directors Election (part 2), posted January 12, 2016.
CSTA Board of Directors Election (part 1), posted January 11, 2016.
New Educators Workshop.
Co-organized and presented at the 2016 SIGCSE Technical Symposium,
Memphis, TN, 2016.
CSTA Advocate Blog Entries
CSTA Professional Development Committee, posted July 29, 2015.
Technotrash and the Future, posted June 2, 2015.
Nifty Assignments from SIGCSE, posted March 24, 2015.
Q&A: Running for the CSTA Board, posted January 16, 2015.
Better Know a Committee, posted January 8, 2015.
Preparing for Success at College in the U.S.
Presented at the Asia Pacific International School, Seoul, Korea, 2015.
CSTA/Industry Panel on Preparing CS Graduates for the Workforce.
Moderated this special session at the CSTA Annual Conference, Dallas, Texas, 2015.
Celebrating Teaching Excellence: Creativity and Engagement Foundational to Student
Success.
Panel by recipients of the 2015 Distinguished Educator in Scholarship Award,
Creighton University, Omaha, Nebraska, 2015.
Small or Liberal Arts Colleges Adapting to CS2013: Making It Work.
Workshop co-organized and presented at the 2015 SIGCSE Technical Symposium,
Kansas City, Missouri, 2015.
CSTA Advocate Blog Entries
CS Ed Week Stories, posted December 16, 2014.
More Than Just Rock Stars, posted October 27, 2014.
Report on the CSTA Annual Conference, posted August 12, 2014.
CSTA Annual Conference Reminder, posted June 11, 2014.
CSTA Board of Directors Election, posted April 14, 2014.
Run For the CSTA Board of Directors, posted January 14, 2014.
New Educators Workshop.
Co-organized and presented at the 2014 SIGCSE Technical Symposium,
Atlanta, Georgia, 2014.
CSTA Advocate Blog Entries
Share Your Ideas and Experiences at the CSTA Conference, posted September 28, 2013.
CS2013 and K-12, posted June 25, 2013.
President Obama Answers Question About Computer Science, posted March 4, 2013.
CSTA Annual Conference News, posted February 27, 2013.
Wally Addresses Computer Literacy, posted February 4, 2013.
CS2013 and the Liberal Arts.
Presented at the 2013 Liberal Arts Computer Science Consortium Meeting,
Grinnell College, July 2013.
Journalism, Media & Computing: an Information-based Department Model.
Presented (with Carol Zuegner) at the AALAC/Mellon 23 Working Group on Information,
Bryn Mawr College, Philadelphia, October 2012.
CSTA Advocate Blog Entries.
Additional Indignity, posted October 3, 2012.
CSTA 2012 Board of Directors Election is Underway, posted April 4, 2012.
Career Mentoring Workshop.
Co-organized and presented at the 2012 SIGCSE Technical Symposium
Raleigh, North Carolina, February 2012.
Nifty Assignments.
Moderator for the special session 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, Illinois, 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 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.
Board of Directors:
Steering Committees:
Program Committees:
Consultant:
Advisor:
Referee:
Member:
Creighton University Service: (2000-Present)
Dickinson College Service (1994-2000):