Dr.-Ing. Robert L. Baber, FBCS, CEng, Eur.Ing.



(Für eine deutschsprachige Version dieser Webseite, hier klicken.)

Retired management consultant and university professor of Computer Science and Software Engineering
S.B., S.M. Electrical Engineering, S.M. Industrial Management, Massachusetts Institute of Technology
Dr.-Ing. Informatik, Technische Hochschule Darmstadt (now Technische Universität Darmstadt)

Dr.-Ing. Robert L. Baber
Ferdinandstraße 19
D-61348 Bad Homburg v.d.H.
Germany

Telephone (wired network): +49-6172-687882
Telephone (DSL-telephony): +49-6172-808358
Telephone (mobile): +49-1520-1949163
Fax: +49-6172-808359

Email: Bob@RLBaber.de

For additional addresses, telephone numbers, etc., see http://www.RLBaber.de.

My primary areas of consulting

Although I am retired, I am still available for important and interesting consulting assignments.

Other professional activities

Current activities

Books

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. Fehlerfreie Programmierung für den Software-Zauberlehrling, R. Oldenbourg Verlag, München, 1990. English translation: Error Free Software: Know-How and Know-Why of Program Correctness, John Wiley & Sons, Chichester, 1991.

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

For further information on these books, see http://baber.servehttp.com/Books/Books.html. The books can also be downloaded from there.

Teaching notes

For teaching notes and other instructional materials for my university courses and seminars for software practitioners on various aspects of mathematically rigorous software development, see http://baber.servehttp.com/Professional/MRSD and http://baber.servehttp.com/Professional/McMaster/Courses/46L03.

Other writings

For some of my other writings, see http://baber.servehttp.com/Professional/MiscWritings.

Curriculum vitae, publications


Robert L. Baber, updated 2008 July 21.