Jacques Loeckx

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.

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].

• 1976 : (de) Jacques Loeckx, Algorithmentheorie, Berlin-Heidelberg-New York, Springer-Verlag, coll. « Hochschultext », 1976, 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 », 1986, 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, 1987, 2^e éd. (1^re é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, 1996, xi + 260 (zbMATH 0868.68077).

• Notices d'autorité :

  • VIAF
  • ISNI
  • IdRef
  • LCCN
  • GND
  • CiNii
  • Pays-Bas
  • Israël
  • NUKAT
  • WorldCat
• Ressource relative à la recherche :
  • (en) Mathematics Genealogy Project
• Publications de Jacques Loeckx sur DBLP.