Jacques Loeckx
From Wikipedia, the free encyclopedia
| 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].
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].
