Prof. Dr.

Jacques Loeckx

Deceased at 2020-01-04
Fachbereich Informatik
Universität des Saarlandes
Germany
Research topics: Program specification (updated at 1998-07-01)
http://www.informatik.uni-koeln.de/

Jacques Loeckx died on January 4, 2020 in Cologne, where he had lived since his retirement in 1997. Jacques Loeckx studied engineering at the Université Libre in his home city of Brussels and received his doctorate from the Université Catholique in Leuven. He began his professional career in industry, first in Antwerp and then in Brussels. During this time, the honorary professor was already a lecturer for a long time at the Technical Hogeschool in Eindhoven (Netherlands). After fourteen years, he finally turned his attention entirely to science and became a university lecturer at the Technical Hogeschool Twente (Netherlands). On January 1, 1972, he accepted the offer of a new chair for computer science at Saarland University, which he held until his retirement on March 31, 1997. With his innovative research fields – semantics of programming languages and especially program verification – he has gained high international reputation and contributed significantly to the outstanding profile of computer science in Saarbrücken Prof. Loeckx has published numerous papers, including the monographs “Algorithm Theory” (1976), “The Foundations of Program Verifications” with Kurt Sieber (1984), “Fundamentals of Programming Languages” with Kurt Mehlhorn and Reinhard Wilhelm (1986) and “Specification of Abstract Data Types” with Hans-Dieter Ehrich and Markus Wolf (1996). In the context of several research projects, he worked closely with renowned colleagues, especially at the Technical University of Munich and the University of Karlsruhe. Together with Prof. Klaus Indermark (Rheinisch-Westfälische Technische Hochschule Aachen), he repeatedly organized an internationally highly regarded workshop on the semantics of programming languages in Bad Honnef between 1980 and 1990.