Classroom Instruction

Click here for my schedule.

CSE 2231

CSE 3341

Table of Contents

Top of Page (Classroom Instruction) Research and Instructional Interests New Course Advertisements Photograph
Education Work Experience List of Links Contact Information
Join the ACM internationally and locally. The local Open Source Club might be interesting. Join the IEEE Computer Society internationally and locally.

photograph

Wayne D. Heym

Senior Lecturer

Computer Science and Engineering

The Ohio State University

 

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

To Table of Contents.

Work Experience

To Table of Contents.

List of Links

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: Sat Jan 07 18:58:23 EST 2017

To Table of Contents.