Wayne D. Heym

To Table of Contents.

Interesting New Courses

• CSE 203: Computational Thinking in Context: Interactive Animations and Games
• CSE 204: Computational Thinking in Context: Digital Images and Sound

To Table of Contents.

Research and Instructional Interests

Software Engineering (SE) is the sub-field of computer science that attracts most of my attention. In SE, we seek to invent and evaluate methods for producing quality software in less time at lower costs. My Ph.D. dissertation, Computer Program Verification: Improvements for Human Reasoning (1995) (available in its original form as a [PDF: 1.28 Mb] file or as a two-sided, single-spaced technical report in [PDF Directory - 7 files] or [Postscript Directory - 7 files] format), establishes a new way of proving the correctness of programs with respect to their specifications. This new way is pedagogically better than previous methods. I continue to collaborate with the Reusable Software Research Group (RSRG) of the Computer Science and Engineering Department of The Ohio State University. I maintain a strong interest in RSRG's development discipline and language, called RESOLVE, REusable SOftware Language with Verifiability and Efficiency.

I enjoy introducing beginning programmers to the wonders in the art and science of computer programming. I also like leading programmers into the rich and satisfying realm of the theoretical foundations of computer science.

To Table of Contents.

Education

• Ph.D., Computer and Information Science, The Ohio State University, 1995
• M.S., Computer and Information Science, The Ohio State University, 1989
• M.S., Operations Research, Cornell University, 1980
• B.Phil., Interdisciplinary Studies (Mathematics Concentration), Miami University, 1978

To Table of Contents.

Work Experience

• Senior Lecturer, Computer Science and Engineering, The Ohio State University, 1999-present
• Assistant Professor, Computer Science, Otterbein College, 1994-1999
• Graduate Teaching and Research Associate, Computer and Information Science, The Ohio State University, 1988-1995
• Research Support Specialist, Dept. of Vegetable Crops (now Dept. of Fruit and Vegetable Science), New York State College of Agriculture and Life Sciences, Cornell University, 1984-1988
• Software Developer, Symbol Sound, Ithaca, NY, 1983-1984
• Programmer/Analyst I, Eastman Kodak Company, Administrative Services Division, serving the Distribution Division, 1980-1983

To Table of Contents.

List of Links

• Software Component Engineering Course Sequence Home Page
• Recent Publications
• Opinions
• Ohio State University Reusable Software Research Group (RSRG)
• My Ph.D. dissertation is available in its original form as a [PDF: 1.28 Mb] file or as a two-sided, single-spaced technical report in [PDF Directory - 7 files] or [Postscript Directory - 7 files] format.
• ACM, The First Society in Computing
• IEEE Computer Society
• TCSE: Technical Council on Software Engineering
• ACM Special Interest Group (SIG) in Computer Science Education (SIGCSE)
• Computer Science Education Links
• National Center for Women and Information Technology (Please see "By the Numbers" (pdf: 239,206 bytes))
• Scheduling Table
• VNC stands for Virtual Network Computing. In short it is a way to access the CSE login servers remotely in a manner similar to doing a remote X query with Xwin-32 or eXceed, but unlike a remote X query the session will be faster, easier to manage, and work through a NAT or IP Masquerade gateway easily. Here are two versions of instructions for using VNC: Version 1 and Version 2
• The C++ Annotations
• Teaching with Phrogram

To Table of Contents.

Contact Information

Like many people, due to multiple affiliations, I have several email addresses. However, I always keep them funneling to the same location where I read them. I intend for the address w.heym@ieee.org to follow me throughout my lifetime. Hence, please contact me there: w.heym@ieee.org. Currently, you may also reach me through my office telephone at (614)247-6803. My office is room 481 of Dreese Laboratories (DL 481). Click here for my schedule.

Last modified: Sun Mar 23 18:54:17 EDT 2008

To Table of Contents.