Pascal Gribomont

Pascal Gribomont is professor of computer science and artificial intelligence. His research interests include verification methods for concurrent programs, automated theorem proving, artificial intelligence and formal logic.

Office
Institut Montefiore (I 87b)
Tel : + 32 4 366 26 67
E-mail : gribomont@montefiore.ulg.ac.be

Address
Université de Liège
Institut Montefiore, B28
B-4000 Liège
BELGIUM

Some Publications: Papers

Courses: Cours (Français: bachelier; English: master)

Examen d'admission aux études d'ingénieur civil:

Informations générales

Questions d'algèbre de juillet 2003 à septembre 2019, avec solutions

Questions d'algèbre de juillet 2020, avec solutions

Questions d'algèbre de septembre 2020, avec solutions

Question d'algèbre d'avril 2021, avec solution

Questions d'algèbre de juillet 2021, avec solutions