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
Assistant
Stéphane Lens
Courses:
Cours (French)
Examen d'admission aux études d'ingénieur
civil:
Informations générales
Questions d'algèbre de juillet 2003 à septembre
2011, avec solutions