PLIS Research group.

The Programming, Logic and Intelligent Systems (PLIS) group at Roskilde University investigates foundations, tools and languages for the development of adaptable, reliable, human-oriented computer systems. The group's research covers theoretical foundations, languages, tools and semantic models together with application areas. Static analysis, program transformation, modal logic and constraint programming are particular areas of expertise. The PLIS group coordinates the EU FP7 project ENTRA (, and is a partner in the FP7 Coordination Action ICT-Energy ( Other current and recent funded projects include the Danish Research Council Projects Numeric and Symbolic Abstractions for Software Model Checking, HYLOCORE (, SIABO and LoST (

PLIS research group pictures:

Entra: Whole Systems Energy Transperency GA n. 318337. The ENTRA project vision is the vision of the ENTRA project to enable energy-efficient system design, especially energy-efficient software engineering, through resource usage analysis, verification and optimization, both during code development and at runtime, based on whole-system energy transparency.



Experience lab interactive installation:


The PLIS group is an active collaborator in the Experience Lab at Roskilde University, where new forms of communication and experience based on new information technologies are investigated.


The PLIS group hosts the ISMIS 2014 conference (

Roskilde University contacts:

Programming, Logic and Intelligent Systems Group Department of Communication, Business and Information Technologies
Building 43.2 Roskilde University 4000 Roskilde, Denmark,