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.
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.
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
Department of Computer Science
3001 Leuven, Belgium
Phone: +32 16 327 830