Jean-Marie Jacquet
À propos
Biographie
Jean-Marie Jacquet a obtenu une licence en sciences mathématiques en 1982 à l'Université de Liège et une maîtrise en informatique en 1984 à l'Université de Namur. Dès la fin de son service militaire en 1985, il a entrepris des recherches en programmation logique concurrente. Il fut aspirant auprès du Fonds National pour la Recherche Scientifique (FNRS) de 1985 à 1989. Après avoir défendu sa thèse de doctorat en sciences informatiques en 1989, intitulée "Conclog: A Methodological Approach to Concurrent Logic Programming" (publiée par Springer-Verlag), il a effectué de 1989 à 1992 un séjour post-doctoral au centre de recherche CWI à Amsterdam, aux Pays-Bas, sous la direction du Professeur J.W. de Bakker. De retour à l'Université de Namur, il a été chargé de recherches auprès du FNRS de 1992 à 1994, chercheur qualifié auprès du FNRS de 1994 à 1999 avant d'être nommé chargé de cours à la Faculté d'informatique en 1999. Il est actuellement professeur ordinaire à l'Université de Namur, attaché à la Faculté d'informatique, où il est en charge de cours de programmation, d'intelligence artificielle et de méthodes formelles.
Depuis sa nomination comme académique à l'Université de Namur, Jean-Marie Jacquet a occupé différentes positions dans différents organes de l'Université de Namur, dont les plus importantes sont sans doute ses mandats de vice-doyen de la Faculté d'informatique de 2002 à 2006, de doyen de la Faculté d'informatique de 2007 à 2011, de membre de l'Assemblée générale de l'UNamur de 2007 à 2011 et de co-président de l'Institut de recherches NaDI, de 2017 à 2022. Il est aussi membre du Conseil d'administration du Pôle Logistics in Wallonia depuis 2015 et membre de l'Assemblée générale du Cetic depuis 2017.
Facultés/Départements/Services
Instituts de recherche
Centre de recherche
Organes
Domaines d'expertises
Informatique, intelligence artificielle, méthodes formelles, sémantiques, programmation concurrente, programmation logique, programmation par contraintes, langages et modèles de coordination
Responsabilités externes
Membre du Conseil d'administration du Pôle Logistics in Wallonia depuis 2015 et membre de l'Assemblée générale du Cetic depuis 2017.
Diplômes
Licence en Sciences Mathématiques (ULiège, 1982), Agrégation de l'Enseignement Secondaire Supérieur (ULiège, 1982), Maîtrise en Sciences Informatiques (UNamur, 1984), Docteur en Sciences Informatiques (avec thèse, UNamur, 1989)
2024-2025
-
Algèbres de processus [INFOM441]
-
Algorithmics [ISBMM103]
-
Algorithmique en bioinformatique [IHDCM013]
-
Conception d'applications réactives [INFOM451]
-
Initiation à l'autoapprentissage par les MOOC [INFOB240]
-
Intelligence artificielle et programmation symbolique [IHDCM036]
-
Intelligence artificielle et programmation symbolique [INFOB317]
-
Méthodes de programmation [INFOB233]
-
Operating System [ISBMM102]
-
Projet de programmation [INFOB236]
2023-2024
-
Algèbres de processus [INFOM441]
-
Algorithmics [ISBMM103]
-
Algorithmique en bioinformatique [IHDCM013]
-
Conception d'applications réactives [INFOM451]
-
Initiation à l'autoapprentissage par les MOOC [INFOB240]
-
Intelligence artificielle et programmation symbolique [IHDCM036]
-
Intelligence artificielle et programmation symbolique [INFOB317]
-
Méthodes de programmation [INFOB233]
-
Operating System [ISBMM102]
-
Projet de programmation [INFOB236]
2022-2023
-
Algèbres de processus [INFOM441]
-
Algorithmics [ISBMM103]
-
Algorithmique en bioinformatique [IHDCM013]
-
Conception d'applications réactives [INFOM451]
-
Initiation à l'autoapprentissage par les MOOC [INFOB240]
-
Intelligence artificielle et programmation symbolique [INFOB317]
-
Intelligence artificielle et programmation symbolique [IHDCM036]
-
Méthodes de programmation [INFOB233]
-
Operating System [ISBMM102]
-
Projet de programmation [INFOB236]
2021-2022
-
Algèbres de processus [INFOM441]
-
Algorithmics [ISBMM103]
-
Algorithmique en bioinformatique [IHDCM013]
-
Conception d'applications mobiles [INFOM451]
-
Initiation à l'autoapprentissage par les MOOC [INFOB240]
-
Laboratoire de programmation [INFOB236]
-
Operating System [ISBMM102]
-
Techniques d'intelligence artificielle [INFOB317]
-
Techniques d'intelligence artificielle [IHDCM036]
-
Techniques de programmation [INFOB233]