Jacques Loeckx

Jacques Loeckx (né le à Bruxelles et mort le à Cologne) est un informaticien théoricien belge, professeur à l'université de la Sarre[1],[2].

Jacques Loeckx
Biographie
Naissance
Décès
(à 88 ans)
Cologne
Nationalité
Activité

Carrière

Jacques Loeckx étudie l'ingénierie à l'université libre de Bruxelles et obtient son doctorat à l'université catholique de Louvain sous la direction de Vitold Belevitch et Jean Meinguet[3] avec une thèse intitulée « Mechanical Construction of Bounded-Context Parsers for Chomsky 0-Type Languages ». Il travaille d'abord chez Philips, tout en étant également chargé de cours à l'Université de technologie d'Eindhoven. Il devient ensuite professeur à l'Université de Twente[1],[2]. En 1972, il est nommé à une chaire d'informatique à l'Université de la Sarre qu'il occupe jusqu'à son éméritat.

Travaux

Loeckx a travaillé sur la sémantique des langages de programmation et la vérification de programmes[1],[2],[4]. Entre 1980 et 1990, il a organisé, avec Klaus Indermark, de l'RWTH Aachen) un atelier sur la sémantique des langages de programmation à Bad Honnef. Entre 2009 et 2011, il a coopéré à un projet de recherche sur l'histoire de l'informatique en Belgique[1],[2]. Il est admis à l'éméritat en 1997[1].

Publications
  • 1976 : (de) Jacques Loeckx, Algorithmentheorie, Berlin-Heidelberg-New York, Springer-Verlag, coll. « Hochschultext », , xiv+223 (zbMATH 0355.68031).
  • 1986 : (de) Jacques Loeckx, Kurt Mehlhorn et Reinhard Wilhelm, Grundlagen der Programmiersprachen, Stuttgart, B. G. Teubner, coll. « Leitfäden und Monographien der Informatik », , 448 p. (zbMATH 0599.68004).
  • 1987 : Jacques Loeckx, Kurt Sieber et Ryan D. Stansifer (coll.), The foundations of program verification, Stuttgart et Chichester, B. G. Teubner et Wiley, , 2e éd. (1re éd. 1984), ix + 230 (zbMATH 0625.68017).
  • 1996 : Jacques Loeckx, Hans-Dieter Ehrich et Markus Wolf, Specification of abstract data types, Stuttgart et Chichester, B. G. Teubner et Wiley, , xi + 260 (zbMATH 0868.68077).

Références
  1. « Prof. Jacques Loeckx », Université de la Sarre.
  2. « Die Fachrichtung Informatik trauert um Professor Dr. Jacques Loeckx » sur saarland.informatics-campus.de
  3. (en) « Jacques Loeckx », sur le site du Mathematics Genealogy Project.
  4. Publications de Jacques Loeckx sur DBLP.

Liens externes
  • Portail de l’informatique
  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.