Am 2. November wird der emeritierte Professor für Informatik Dr.-Ing. Jacques Loeckx 80 Jahre alt.
Jacques Loeckx absolvierte ein Ingenieurstudium an der Université Libre seiner Heimatstadt Brüssel und wurde an der Université Catholique in Löwen promoviert. Seine berufliche Laufbahn begann er in der Industrie – zunächst in Antwerpen und anschließend in Brüssel. Bereits in dieser Zeit war der Jubilar längere Zeit Lehrbeauftragter an der Technische Hogeschool in Eindhoven (Niederlande). Nach vierzehn Jahren wandte er sich schließlich ganz der Wissenschaft zu und wurde Hochschullehrer an der Technische Hogeschool Twente (Niederlande).
Zum 1. Januar 1972 folgte er dem Ruf auf einen neuen Lehrstuhl für Informatik an der Universität des Saarlandes, den er bis zu seiner Emeritierung am 31. März 1997 innehatte. Mit seinen innovativen Forschungsfeldern – Semantik der Programmiersprachen und vor allem Programmverifikation – hat er sich hohes internationales Ansehen erworben und maßgeblich zum herausragenden Profil der Saarbrücker Informatik beigetragen.
Prof. Loeckx hat zahlreiche Publikationen erarbeitet, darunter die Monographien „Algorithmentheorie“ (1976), „The Foundations of Program Verifications“ mit Kurt Sieber (1984), „Grundlagen der Programmiersprachen“ mit Kurt Mehlhorn und Reinhard Wilhelm (1986) und „Specification of Abstract Data Types“ mit Hans-Dieter Ehrich und Markus Wolf (1996).
Im Rahmen mehrerer Forschungsprojekte arbeitete er eng mit renommierten Kollegen, insbesondere der Technischen Universität München und der Universität Karlsruhe, zusammen. Gemeinsam mit Prof. Klaus Indermark (Rheinisch-Westfälische Technische Hochschule Aachen) organisierte er zwischen 1980 und 1990 in Bad Honnef wiederholt einen international hoch angesehenen Workshop zur Semantik von Programmiersprachen.
Als einer der Pioniere der Informatik in seinem Heimatland hat er zwischen 2009 und 2011 an einem Forschungsprojekt zur Geschichte der Informatik in Belgien mitgewirkt, das von Prof. Dr. Marie d´Udekem-Gevers der Facultés Universitaires in Namur geleitet wurde.
In seiner Saarbrücker Zeit übernahm Professor Loeckx auch verschiedene Aufgaben in der akademischen Selbstverwaltung, war viele Jahre Vorsitzender des Prüfungsamtes Informatik und leitete als Prodekan zwischen 1977 und 1979 den Fachbereich „Angewandte Mathematik und Informatik“.
Ein druckfähiges Foto von Professor Loeckx können Sie unter folgendem Link herunterladen: http://www.uni-saarland.de/pressefotos
Weitere Informationen erteilt:
Dr. Wolfgang Müller
Archiv der Universität des Saarlandes
Telefon: 0681 302-2699
E-Mail: w.mueller@univw.uni-saarland.de
Criteria of this press release:
Journalists, Scientists and scholars
Information technology
regional
Personnel announcements
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).