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
- Conception, specification, technical planning and design of
computer based systems for technical and business applications
- Mathematical modelling, e.g. for optimizing business processes
and decision making and for specifying software
- Applying mathematics to practical problems and tasks
Although I am retired, I am still available for important and
interesting consulting assignments.
Other professional activities
- Seminar on the Design of Error Free Software (Mathematically
Rigorous Software Development)
- University courses on the above topic
Current activities
- Writing a book on The Language
of Mathematics, see http://Language-of-Mathematics.eu
- Studying ancient history and the history of mathematics, science
and technology
- Playing the Celtic harp
- Learning languages, e.g. Akkadian, French, etc.
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.