Jacques Loeckx (né le à Bruxelles et mort le à Cologne) est un informaticien théoricien belge, professeur à l'université de la Sarre.
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. avec une thèse intitulée . 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. 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. 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. Il est admis à l'éméritat en 1997.
Publications 1976 : . 1986 : . 1987 : . 1996 : .
Références « Prof. Jacques Loeckx », Université de la Sarre. Publications de Jacques Loeckx sur DBLP. « Die Fachrichtung Informatik trauert um Professor Dr. Jacques Loeckx » sur saarland.informatics-campus.de
Liens externes
Publications de Jacques Loeckx sur DBLP.
Catégorie:Informaticien belge Catégorie:Professeur à l'université de la Sarre Catégorie:Naissance en novembre 1931 Catégorie:Décès en janvier 2020 Catégorie:Décès à 88 ans