Find expertise
Guillermo Alberto Perez University of Antwerp
Willem Penninckx KU Leuven
Jafar Hamin KU Leuven
Gijs Vanspauwen KU Leuven
Jan Smans KU Leuven
Lucas Albertins de Lima University of Antwerp
Department of Decision Sciences and Information Management, Leuven KU Leuven
The Department of Decision Sciences and Information Management, Leuven, consists of three research centres:
- Research Centre for Operations Research and Business Statistics (ORSTAT), Leuven
- Research Centre for Operations Management, Leuven
- Research Centre for Management Informatics (LIRIS), Leuven
Theoretical Computer Science Vrije Universiteit Brussel
Research theme: Applications of logic in computer science. Computer science can be regarded as ``applied logic''; from the level of hardware (circuits) up to sophisticated knowledge representation (e.g. nonmonotonic reasoning). Areas of interest include: 1. Modelling argumentation; 2. Nonmonotonic reasoning formalisms; 3. Formal specification and verification of complex software systems; 4. Logic programming semantics.