go back

KU Leuven


Situated in Belgium, in the heart of Western Europe, KU Leuven has been a center of learning for nearly six centuries. Today, it is Belgium’s largest university and, founded in 1425, one of the oldest and most renowned universities in Europe. As a leading European research university and co-founder of the League of European Research Universities (LERU), KU Leuven offers a wide variety of international master’s programs, all supported by high-quality, innovative, interdisciplinary research.

Since its founding, KU Leuven has been based in the city that shares its name. Leuven is a pleasant, safe and bustling student town, where centuries-rich history meets cutting-edge science. The university also offers degree programs at campuses in 11 Belgian cities, including Brussels, Ghent and Antwerp.

Research Unit

The KU Leuven research unit that participates in the GRACeFUL project is the The Declarative Languages and Systems (DLS) unit. This unit is a division of the Declarative Languages and Artificial Intelligence group of the Department of Computer Science. The DLS unit conducts fundamental research in a core area of computer science: programming and modelling languages. Specifically, the group targets declarative programming paradigms like functional, logic and constraint programming. In the past the group has been particularly successful at combining ideas from these different paradigms.

Roles in the Project

With its expertise in the two main programming paradigms of the project, Functional Programming and Constraint Programming, KU Leuven bridges between the project partners that are specialised in only one of these two. Its main contributions are in WP5 where the two paradigms are integrated in Constraint Functional Programming.

Staff Members

Tom SCHRIJVERS is research professor at KU Leuven. He holds a Ph.D. in Computer Science and a Postdoctoral degree from KU Leuven (Belgium). His research spans different programming paradigms and exploits their cross-fertilisation to make a substantial impact on different research


Paolo TORRINI is research associate at KU Leuven. He holds a Ph.D. in Computing from the University of Leeds (UK). His research ranges over different aspects of formal methods, including logic and types, semantics, verification and knowledge representation.


prof. dr. ir. Tom Schrijvers
KU Leuven
Department of Computer Science
Celestijnenlaan 200A
3001 Leuven, Belgium
Email: tom.schrijvers@cs.kuleuven.be
Phone: +32 16 327 830

to top