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
Fax : + 32 4 366 26 20
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 2017, avec solutions