Education is a second area of strong interest for me, particularly the first few courses in computer
science. Our thesis is that logic is the glue that binds together reasoning,
in all domains. Along with colleague F.B. Schneider, I have
been researching on and writing about logic as a "tool",
instead of just another object of study. We are working on a new version of our 1993 text "A Logical Approach to Discrete Math", which will focus only on logic.
William L. Lewis Professor Engineering
Cornell Weiss Presidential Fellow
Dr. rer. nat., Munich Inst. of Tech., 1966
My research is aimed at gaining a better understanding of the programming process, with respect to both sequential and concurrent (or parallel) programs. The work requires investigation of theories of program correctness and their
application, as well as investigation of other concepts in the semantics of programming languages.
I am also heavily involved in writing an introductory programming text, based on Java. The unique feature of this text is that it will be on a CD, not on paper, and will feature dialogs and animation.
Doctor of Science (Honorary). Miami Univ., Oxford, OH, Apr. 1999
Faculty of the Year, Association for
Computer Science Undergraduates,
Computer Science, Cornell Univ., May 1999
- Director: Undergraduate Programs,
- General Committee of the Graduate
Core Curriculum Governing Board,
College of Engineering
Chair: Ad hoc Tenure Review Committee
- Managing Editor: Information
- Main Editor: Acta Informatica and
Monographs in Computer Science
- Co-chair: Program Committee for
- IFIP Working Group 2.3
- Teaching calculational logic. Invited
lecture. PROCOMET 98, Shelter
Island, NY, 12 June 1998.
- Logic as a tool. 10 lectures at WOFRACS 98, Workshop on
Formal and Applied Computer
Science, Univ. of Cape Town, South Africa, July 1998. Winter School on
- Introduction to Java. 10 hours of lecture on Java, Math Department,
Sathya Sai Baba Institute of Higher
Learning. July, 1998.
Using logic as a tool. Honorary
Doctorate lecture, Miami Univ.,
Oxford, OH, Apr. 1999.