Robert L. Baber

Professor in the Department of Computing and Software, McMaster University, 2000 - 2003
SB, SM electrical engineering, SM industrial management (MIT), Dr.-Ing. Informatik (Darmstadt)
FBCS, CEng, Eur. Ing.


I retired from McMaster University at the end of 2003 June and returned to Europe in early July.

Research Interests

I am especially concerned with making this material more accessible and useful to software developers in widespread and common practice and with the transformation of software development into a true engineering discipline.


1. Software Reflected: the Socially Responsible Programming of Our Computers, North-Holland Publishing Co., Amsterdam, 1982. German translation: Softwarereflexionen: Ideen und Konzepte für die Praxis, Springer-Verlag, Berlin, 1986.

2. The Spine of Software: Designing Provably Correct Software - Theory and Practice, John Wiley & Sons, Chichester, 1987.

3. Error Free Software: Know-How and Know-Why of Program Correctness, John Wiley & Sons, Chichester, 1991. German original: Fehlerfreie Programmierung für den Software-Zauberlehrling, R. Oldenbourg Verlag, München, 1990.

4. Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit, Walter de Gruyter, Berlin, 1995.

For information on how to obtain these books, see

Course materials

Materials for my courses can be found beginning at

Curriculum vitae, publications

A list of my publications can be found in my curriculum vitae. It can be read by the Adobe Acrobat Reader, which is available without charge from the Adobe web site.
For personal addresses see

Robert L. Baber, revised 2004 May 17.