Jacques Loeckx
| Naissance | |
|---|---|
| Décès | |
| Nationalité | |
| Formation | |
| Activité |
| Directeurs de thèse |
Vitold Belevitch, Jean Meinguet (d) |
|---|
Jacques Loeckx (né le à Bruxelles et mort le à Cologne) est un informaticien théoricien belge, professeur à l'université de la Sarre[1],[2].
Carrière[modifier | modifier le code]
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[modifier | modifier le code]
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[modifier | modifier le code]
- 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[modifier | modifier le code]
- « Prof. Jacques Loeckx », Université de la Sarre.
- « Die Fachrichtung Informatik trauert um Professor Dr. Jacques Loeckx » sur saarland.informatics-campus.de
- (en) « Jacques Loeckx », sur le site du Mathematics Genealogy Project.
- Publications de Jacques Loeckx sur DBLP.
Liens externes[modifier | modifier le code]
- Ressource relative à la recherche :
- Publications de Jacques Loeckx sur DBLP.
