University of Liege | Version française
Study programmes 2007-2008Last update : 07/05/2008

Master in Informatical Sciences, in-depth approach
 Th
 Pr
 Au
Credits

First Year

Compulsory courses

INFO0004-1

Programming Language Internals - Justus Piater
30
30
-
6

INFO0031-1

Computer Network Architectures and Multimedia - Guy Leduc
30
30
-
6

INFO0051-1

Artificial Intelligence Logics - Pascal Gribomont
30
30
-
6

INFO0063-1

Object-Oriented Software Engineering - Bernard Boigelot
30
30
-
6

INFO0016-1

Introduction to the Theory of Computation - Pierre Wolper
30
30
-
6

Optional courses

Les étudiants choisissent 30 crédits dans la liste des cours au choix ci-dessous :

MATH0042-1

Stochastic Systems Modeling - Tri‑An Banh
30
30
-
6

INFO0014-1

Computer Systems Performance Evaluation - Tri‑An Banh
30
30
-
6

INFO0065-1

Seminar on Intrusion Systems - Marc Dacier
10
50
-
6

MATH0462-1

(not available during 2007-2008) Programmation dynamique et commande optimale - Quentin Louveaux
30
30
-
6

INFO0049-1

Knowledge Representation - Pascal Gribomont
30
30
-
6

INFO0050-1

Expert Systems - Pascal Gribomont
30
30
-
6

INFO0056-1

Gestion et sécurité des réseaux informatiques - Guy Leduc
30
30
-
6

INFO0939-1

Calcul scientifique à haute performance / High Performance Scientific Computing (english) - Christophe Geuzaine
30
30
-
6

INFO0062-1

Object-Oriented Programming - Bernard Boigelot
30
30
-
6

INFO0060-1

Concurrent System Verification and Temporal Logic - Bernard Boigelot, Pascal Gribomont, Pierre Wolper
30
30
-
6

INFO0013-1

Computer vision - Justus Piater
30
30
-
6

ELEN0016-1

Digital Image Processing - Marc Van Droogenbroeck
30
30
-
6

ELEN0070-1

Signal Processing - Jacques Verly
30
30
-
6

INFO0026-3

Computer Graphics - Pierre Beckers
30
30
-
6

MATH0017-4

Mathematical Logic and Set Theory - Georges Hansoul
30
30
-
6

MATH0024-1

Further Study of Digital Analysis (Equations with Partial Derivatives) - Jean‑André Essers
30
30
-
6

MATH0234-3

Boolean Topology and Boolean Algebra - Georges Hansoul
30
30
-
6

MATH0245-3

Discrete structures (Compléments) - Michel Rigo
30
30
-
6

GBIO0009-1

Bioinformatique - Louis Wehenkel
30
30
-
6

ASTG0021-1

Stage (le stage peut remplacer deux cours au choix)
-
-
-
12

Compulsory courses

INFO0004-1

Programming Language Internals - Justus Piater
30
30
-
6

INFO0031-1

Computer Network Architectures and Multimedia - Guy Leduc
30
30
-
6

INFO0051-1

Artificial Intelligence Logics - Pascal Gribomont
30
30
-
6

INFO0063-1

Object-Oriented Software Engineering - Bernard Boigelot
30
30
-
6

INFO0016-1

Introduction to the Theory of Computation - Pierre Wolper
30
30
-
6

INFO0902-1

Data Structures and Algorithms - Justus Piater
30
30
-
6

INFO0039-3

Object-Oriented Programming Project - Pierre Wolper
-
60
-
6

Optional courses

Les étudiants choisissent 18 crédits parmi la liste des cours au choix ci-dessous :

MATH0042-1

Stochastic Systems Modeling - Tri‑An Banh
30
30
-
6

INFO0014-1

Computer Systems Performance Evaluation - Tri‑An Banh
30
30
-
6

INFO0065-1

Seminar on Intrusion Systems - Marc Dacier
10
50
-
6

MATH0462-1

(not available during 2007-2008) Programmation dynamique et commande optimale - Quentin Louveaux
30
30
-
6

INFO0049-1

Knowledge Representation - Pascal Gribomont
30
30
-
6

INFO0050-1

Expert Systems - Pascal Gribomont
30
30
-
6

INFO0056-1

Gestion et sécurité des réseaux informatiques - Guy Leduc
30
30
-
6

INFO0939-1

Calcul scientifique à haute performance / High Performance Scientific Computing (english) - Christophe Geuzaine
30
30
-
6

INFO0060-1

Concurrent System Verification and Temporal Logic - Bernard Boigelot, Pascal Gribomont, Pierre Wolper
30
30
-
6

INFO0062-1

Object-Oriented Programming - Bernard Boigelot
30
30
-
6

INFO0013-1

Computer vision - Justus Piater
30
30
-
6

ELEN0016-1

Digital Image Processing - Marc Van Droogenbroeck
30
30
-
6

ELEN0070-1

Signal Processing - Jacques Verly
30
30
-
6

INFO0026-3

Computer Graphics - Pierre Beckers
30
30
-
6

MATH0017-4

Mathematical Logic and Set Theory - Georges Hansoul
30
30
-
6

MATH0024-1

Further Study of Digital Analysis (Equations with Partial Derivatives) - Jean‑André Essers
30
30
-
6

MATH0234-3

Boolean Topology and Boolean Algebra - Georges Hansoul
30
30
-
6

MATH0245-3

Discrete structures (Compléments) - Michel Rigo
30
30
-
6

GBIO0009-1

Bioinformatique - Louis Wehenkel
30
30
-
6

ASTG0021-1

Stage (le stage peut remplacer deux cours au choix)
-
-
-
12

Second Year (perspectives 2008-2009)

Compulsory courses

ATFE0002-1

Travail de fin d'études (en ce compris une introduction à la méthodologie de la recherche)
-
-
-
24

Optional courses

Choisir un cours de 6 crédits parmi :

la liste des cours au choix non suivis durant le 1ère master.
6

Compulsory courses

ATFE0002-1

Travail de fin d'études (en ce compris une introduction à la méthodologie de la recherche)
-
-
-
24

Optional courses

Choisir un cours de 6 crédits parmi :

la liste des cours au choix non suivis durant la 1re année du master.
6

Compulsory courses

MATH0461-1

Introduction à l'optimisation numérique
30
30
-
6

INFO0064-1

Embedded Systems
30
30
-
6

INFO0045-2

Cryptography and Computer Security
30
30
-
6

ELEN0062-1

Applied Inductive Learning
30
30
-
6

INFO0036-1

Advanced Algorithmics
30
30
-
6

imageHome
imageSearch by Faculty
imageSearch by teacher
imageSearch by course code and title
imageVersion imprimable
(PDF)

Students and Studies Administration - Academic Affairs - Contact : Monique Marcourt, General Director for Education and Training - Developed by SEGI