Henry MacKay Walker

Henry MacKay Walker

Lecturer in Computer Science
Computer Science, Sonoma State University, Rohnert Park, CA

Professor Emeritus of Computer Science and Mathematics
Computer Science, Grinnell College, Grinnell, Iowa
walker@cs.grinnell.edu

Courses	On-line Pubs.	On-line Talks	Schedules
GnuPG Public Key	Recent Activities	Curriculum Vitae (pdf/postscript)	Interests
Positions Held	Education	Publications
Teaching Statement	Scholarship Statement	Computer Science and the Liberal Arts (Manuscript / Preprint )

Courses

Spring 2024: [Sonoma State University]	Computer Science 415.001: Algorithm Analysis
Computer Science 454.001: Theory of Computation
Spring 2023: [Sonoma State University]	Computer Science 415.001: Analysis of Algorithms
Fall 2022: [Sonoma State University]	Computer Science 415.001: Analysis of Algorithms
Spring 2022: [Sonoma State University]	Computer Science 115.005/006: Programming I
Computer Science 415.002: Algorithm Analysis
Fall 2021: [Sonoma State University]	Computer Science 242.002: Discrete Structures for Computer Science
Fall 2020, Term-1:	Computer Science 161.01: Imperative Problem Solving with Lab
Spring 2020: [University of Puget Sound]	Computer Science 261: Computer Science II
Computer Science 291: Programming Language Paradigms
Computer Science 395: Algorithms and Applications: Opportunities and Risks
Fall 2019:	Computer Science 161.01: Imperative Problem Solving with Lab
Spring 2019: [Willamette University]	Computer Science 199: Introduction to PHP Programming, MySQL Databases, and Web Development
Computer Science 451: Topics in Computer Science: Operating Systems and Concurrency
Fall 2018:	Computer Science 161.01: Imperative Problem Solving with Lab
Computer Science 207.02: Object-oriented Problem Solving, Data Structures and Algorithms
Spring 2018:	Computer Science 161: Imperative Problem Solving and Memory Management
Fall 2017: [Williams College]	Computer Science 134: Introduction to Computer Science
Computer Science 353 Tutorial: Algorithms and Applications: Opportunities and Risks
Spring 2017: [The University of the South]	Computer Science 101: Introduction to Computer Science
Computer Science 157: Introduction to Modeling and Programming (course site moved here from hive.sewanee.edu; contact me regarding dead links or other difficulties encountered)
Fall 2016:	Computer Science 161: Imperative Problem Solving and Data Structures
Fall 2015 – Spring 2016:	Sabbatical Leave — Primary project: Updating, refining, and porting MyroC and CSC 161
Spring 2015:	Computer Science 161: Imperative Problem Solving and Data Structures
Computer Science 207: Algorithms and Object-oriented Design
Fall 2014:	Computer Science 161: Imperative Problem Solving and Data Structures
Computer Science 207: Algorithms and Object-oriented Design
Computer Science 301: Analysis of Algorithms
Computer Science 299/499: Bluetooth Communication with C
Spring 2014:	Computer Science 161: Imperative Problem Solving and Data Structures
Computer Science 341: Automata, Formal Languages, and Computational Complexity
Fall 2013:	Computer Science 161: Imperative Problem Solving and Data Structures
Computer Science 301: Analysis of Algorithms
Computer Science 499: Bluetooth Communication with C
Spring 2013:	Computer Science 161: Imperative Problem Solving and Data Structures
Computer Science 207: Algorithms and Object-oriented Design
Fall 2012:	Mathematics 131: Calculus I (Sections 1 and 4)
Computer Science 161: Imperative Problem Solving and Data Structures
Spring 2012:	Computer Science 161: Imperative Problem Solving and Data Structures
Computer Science 207: Algorithms and Object-oriented Design
Computer Science 341: Automata, Formal Languages, and Computational Complexity
Fall 2011:	Computer Science 161: Imperative Problem Solving and Data Structures
Computer Science 301: Analysis of Algorithms
Summer 2011:	Computer Science 499: Using Robots in CSC 161: an Exploration
Summer 2010:	Computer Science 499: Placement of Incoming Students in Computer Science, Statistics, and Mathematics
Spring 2010:	Computer Science 161: Imperative Problem Solving and Data Structures
Computer Science 341: Automata, Formal Languages, and Computational Complexity
Fall 2009:	Mathematics 131: Calculus I (Sections 1 and 2)
Computer Science 397 / 499: Software Development Team
Spring 2009:	Computer Science 153: Computer Science Fundamentals
Computer Science 161: Imperative Problem Solving and Data Structures
Computer Science 341: Automata, Formal Languages, and Computational Complexity
Fall 2008:	Computer Science Tutorial: Computers: Facts, Misconceptions, and Ethical Issues
Computer Science 325: Databases and Web Application Design
Spring 2008:	Computer Science 341: Automata, Formal Languages, and Computational Complexity
Fall 2007:	Computer Science 153: Computer Science Fundamentals
Computer Science 261: Artificial Intelligence
Spring 2007:	Computer Science 153: Computer Science Fundamentals
Fall 2006:	Computer Science Tutorial: Computing: Limitations and Promising Developments
Computer Science 223: Software Design
Spring 2006:	Computer Science 105: An Algorithmic and Social Overview of Computer Science
Computer Science 153: Computer Science Fundamentals
Fall 2005:	Computer Science 151: Fundamentals of Computer Science I
Computer Science 223: Software Design
Computer Science 397: Group Guided Reading Women and Computing
Spring 2005:	Computer Science 105: An Algorithmic and Social Overview of Computer Science
Computer Science 153: Computer Science Fundamentals
Computer Science 201: Data Representation, Storage Management, and C Programming
Computer Science 397: Group Independent Project: Topics in Computer Networking
Fall 2004:	Introduction to CS for Grinnell Science Project students
Computer Science Tutorial: Computing: Limitations and Promising Developments
Computer Science 213: Operating Systems and Parallel Algorithms
Spring 2004:	Computer Science 105: An Algorithmic and Social Overview of Computer Science
Computer Science 151: Fundamentals of Computer Science I
Computer Science 302: Programming Language Concepts
Computer Science 397: Group Independent Project: Topics in Computer Networking
Fall 2002- Fall 2003:	On leave (sabbatical leave, personal leave, senior study leave)
Spring 2002:	Computer Science 153: Computer Science Fundamentals
Computer Science 223: Software Design
Fall 2001:	Computer Science Tutorial: Computing: Limitations and Promising Developments
Computer Science 195: Data Representation, Storage Management, and C Programming
Computer Science 211: Computer Organization and Architecture
Spring 2001:	Computer Science 152: Fundamentals of Computer Science II
Computer Science 153: Computer Science Fundamentals
Computer Science 302: Programming Language Concepts
Fall 2000:	Computer Science 151: Fundamentals of Computer Science I
Computer Science 213: Operating Systems and Parallel Algorithms
Spring 2000:	Computer Science 153: Computer Science Fundamentals
Computer Science 302: Programming Language Concepts
Fall 1999:	Computer Science 151: Fundamentals of Computer Science I
Computer Science 211: Computer Organization and Architecture
Spring 1999:	Computer Science 151: Fundamentals of Computer Science I
Mathematics/Computer Science 341: Automata, Formal Languages, and Computational Complexity
Fall 1998:	Computer Science 151: Fundamentals of Computer Science I
Computer Science 213: Operating Systems and Parallel Algorithms
Computer Science 301: Algorithms
Spring 1998	Mathematics 131: Calculus I
Computer Science 153: Computer Science Fundamentals
Computer Science 261: Artificial Intelligence
Fall 1997	Computer Science Tutorial: Computing: Limitations and Promising Developments
Computer Science 211: Computer Architecture and Organization
Spring 1997	Computer Science 151: Fundamentals of Computer Science I
Computer Science 295: Parallel Algorithms

On-line Documents

Documents indexed in the ACM Digital Library

with Charles Kelemen, Computer Science and the Liberal Arts: A Philosophical Examination ACM Transactions on Computing Education, VOL#10,ISS#1,(March 2010), Article No.: 2, http://doi.acm.10.1145/1731041.1731043."
An Introduction to C Through Annotated Examples
An Introduction to Concurrency in Unix-based [GNU] C Through Annotated Examples
An Introduction to Sockets in C Through Annotated Examples, written by Peter Broadwell as part of an independent study project
An Introduction to C++ Through Annotated Examples
A Racquetball or Volleyball Simulation: Software Development, Design Choices, Class Design, Recursion and Iteration, Testing, and Command-line Arguments
- Simulating a Game of Racquetball or Volleyball, Web materials to support an AP CS A Lesson within a College Board Module on recursion
A Brief History of the Computing Curriculum at Grinnell College (a draft document covering the period 1971 through 1995).
November 29, 1994 draft of "A Revised Model Curriculum for a Liberal Arts Degree in Computer Science", co-authored with G. Michael Schneider and the Liberal Arts Computer Science Consortium.
Academic Positions Advertised from September to January in the Communciations of the ACM or ACM On-line, 1996-2003
Extrapolation of Taulbee Survey Data
Notes on the Academic Job Market and Hiring Strategies (in pdf form; to appear in the SIGCSE Bulletin)
with Weichao Ma and Dorene Mboya, "Variability of Referees' Ratings of Conference Papers" .

Interests

Professional:

Computer science: algorithms (parallel and sequential), Web-based applications (interfaces, scripting, privacy, and databases), computer science education.

Other:

Music, guitar playing, racquetball, canoeing, camping

Current and Recent Activities

Association for Computing Machinery (ACM)

Member since 1979
Designated "Senior Member", February 28, 2009
Designated "Distinguished Educator", November 9, 2009

Current Grinnell College Projects

Building Liaison, Science Building Construction Phase 2
- Deliveries to the Science Building, Grinnell College During Phase 2 Construction
- Phase 2 Construction Pictures
Automation of the PE Recruiting Process
- Development Page for Summer 2005

Chair of SIGCSE, ACM's Special Interest Group on Computer Science Education, 2001-2007
Visiting Professor, School of Computing and Information Technology, UNITEC Institute of Technology, Auckland, New Zealand, April-May, 2003
Member, MAA Committee on the Profession, 2003-2009
Member, CRA Study Group on Faculty Recruitment and Retention, 2001-2002
Member, Iowa Advanced Placement Advisory Committee, 1996-2005
On Leadership Team for SIGCSE's Preparing Future Faculty (PFF) Project, sponsored by NSF.
Regular Columnist on "Classroom Issues" for the SIGCSE Bulletin.
Occassional Visiting Senior Lecturer in the Computer Sciences Department at The University of Texas at Austin
Member of the Liberal Arts Computer Science Consortium
Founder and member of the Iowa Undergraduate Computer Science Consortium
Author and Program Director for grant from Roy E. Carver Foundation grant to develop and lead a workshop for high-school computer-science teachers in Summer, 1997
Reviewer for HarperCollins, Harper and Row, Jones and Bartlett, McGraw-Hill, West Publishers
College Board Consultant in mathematics and computer science

Member, AP CS Development Committee of the College Board, 2009-
Chair, AP CS Design and Exam Review Commission of the College Board, 2008
Member, AP CS Ad Hoc Committee of the College Board, 1999-2000
Organizer of numerous 1-day, 2-day, and week-long workshops for high school teachers, including week-long workshop June 29-July 3, 1998 at the Hawken School in Gates Mills, OH.
Member, AP CS Ad Hoc Committee of the College Board, 1995-1996

Positions held

Education

M.S. in computer science, University of Iowa, 1979.
Ph.D. in mathematics, Massachusetts Institute of Technology, 1973.
A.B. magna cum laude with highest honors in mathematics, Williams College, 1969.

Full list of publications

created 4 April 1995 last revised 11 August 2018 photograph by Grinnell College Office of Public Relations

For more information, please contact me at (walker@cs.grinnell.edu)