

Jean-Marie Jacquet
About
Biography
Jean-Marie Jacquet obtained a bachelor's degree in mathematical sciences in 1982 from the University of Liège and a master's degree in computer science in 1984 from the University of Namur. After completing his military service in 1985, he began research into concurrent logic programming. He was an aspirant at the Fonds National pour la Recherche Scientifique (FNRS) from 1985 to 1989. After defending his doctoral thesis in computer science in 1989, entitled ‘Conclog: A Methodological Approach to Concurrent Logic Programming’ (published by Springer-Verlag), he spent 1989 to 1992 as a post-doctoral fellow at the CWI research centre in Amsterdam, the Netherlands, under the supervision of Professor J.W. de Bakker. On his return to the University of Namur, he was a research fellow at the FNRS from 1992 to 1994 and a qualified researcher at the FNRS from 1994 to 1999, before being appointed lecturer at the Faculty of Computer Science in 1999. He is currently a full professor at the University of Namur, attached to the Faculty of Computer Science, where he is in charge of courses in programming, artificial intelligence and formal methods.
Since his appointment as an academic at the University of Namur, Jean-Marie Jacquet has held various positions in different bodies at the University of Namur, the most important of which are undoubtedly his mandates as vice-dean of the Faculty of Computer Science from 2002 to 2006, dean of the Faculty of Computer Science from 2007 to 2011, member of the General Assembly of UNamur from 2007 to 2011 and co-president of the NaDI Research Institute from 2017 to 2022. He has also been a member of the Board of Pôle Logistics in Wallonia since 2015 and a member of the General Assembly of Cetic since 2017.
Faculties/Departments/Services
Research institutes
Research center
Organs
Domains of expertise
Computer science, artificial intelligence, formal and semantic methods, concurrent programming, logic programming, constraint programming, coordination languages and models
External responsibilities
Member of the Board of Pôle Logistics in Wallonia since 2015 and member of the General Assembly of Cetic since 2017.
Degrees
- Degree in Mathematical Sciences (ULiège, 1982)
- Agrégation de l'Enseignement Secondaire Supérieur (ULiège, 1982)
- Master's degree in Computer Science (UNamur, 1984)
- PhD in Computer Science (with thesis, UNamur, 1989)
2025-2026
-
Algorithmics [ISBMM103]
-
Algorithmique en bioinformatique [IHDCM013]
-
Intelligence artificielle et programmation symbolique [INFOB317]
-
Méthodes de programmation [INFOB233]
-
Conception d'applications réactives [INFOM451]
-
Initiation à l'autoapprentissage par les MOOC [INFOB240]
-
Operating System [ISBMM102]
-
Intelligence artificielle et programmation symbolique [IHDCM036]
-
Projet de programmation [INFOB236]
-
Algèbres de processus [INFOM441]
2024-2025
-
Algorithmics [ISBMM103]
-
Algorithmique en bioinformatique [IHDCM013]
-
Intelligence artificielle et programmation symbolique [INFOB317]
-
Méthodes de programmation [INFOB233]
-
Conception d'applications réactives [INFOM451]
-
Initiation à l'autoapprentissage par les MOOC [INFOB240]
-
Operating System [ISBMM102]
-
Intelligence artificielle et programmation symbolique [IHDCM036]
-
Projet de programmation [INFOB236]
-
Algèbres de processus [INFOM441]
2023-2024
-
Algorithmics [ISBMM103]
-
Algorithmique en bioinformatique [IHDCM013]
-
Intelligence artificielle et programmation symbolique [INFOB317]
-
Méthodes de programmation [INFOB233]
-
Conception d'applications réactives [INFOM451]
-
Initiation à l'autoapprentissage par les MOOC [INFOB240]
-
Operating System [ISBMM102]
-
Intelligence artificielle et programmation symbolique [IHDCM036]
-
Projet de programmation [INFOB236]
-
Algèbres de processus [INFOM441]
2022-2023
-
Algorithmics [ISBMM103]
-
Algorithmique en bioinformatique [IHDCM013]
-
Intelligence artificielle et programmation symbolique [INFOB317]
-
Méthodes de programmation [INFOB233]
-
Conception d'applications réactives [INFOM451]
-
Initiation à l'autoapprentissage par les MOOC [INFOB240]
-
Operating System [ISBMM102]
-
Intelligence artificielle et programmation symbolique [IHDCM036]
-
Projet de programmation [INFOB236]
-
Algèbres de processus [INFOM441]