Process and System Models Group
News
Events
GlynnFest Workshop in Cambridge, UK, May 31-June 1st
Talks
The dates for Models Group talks are now online.
Visitors
Axel Legay will visit MODELS group as an MT-LAB research fellow for four weeks in June and July 2013.
Ina Schaefer will visit MODELS group May 20-22, 2013
Alessandro Fantechi visits MODELS group May 6, 2013
Past entries
The Process and System Models (Models) Group at IT University of Copenhagen focuses on fundamental problems in the development of systems (particularly, but not exclusively, embedded, concurrent, distributed and mobile systems) motivated by considerations of use and applying the foundational results to practical solutions.
Basic research is executed through foundational as well as strategic research projects. We draw requirements and motivation from strategic projects and make an impact on the reality of software development through collaboration with industrial partners (in research projects and industrial PhD projects) and involvement in standardization processes, e.g. by contributing to W3C and OMG standards.
The core scientific disciplines of the Models group are Concurrency Theory and Model-driven Engineering of Software Systems.
Members of the group are currently working on:
- foundations (e.g. process models and meta-models, process calculi and logics, reactive systems, refinement, variability, model checking, type systems, security, and applications of category theory in computer science);
- case studies in model-driven system design and analysis (e.g. software product lines and workflow and case management systems); and
- development of systematic methods and tools for system design (e.g. choreography-driven programming and domain specific languages for distributed systems design and implementation).
The approach is to combine studies of actual systems, application areas and programming languages with foundational studies in models, languages and formal methods for concurrent and distributed software systems and engineering, and creation of tools. The rationale behind this approach is to understand and validate how to best make use of formal models and methods in the development of concurrent and distributed systems.
Research projects
Currently, members of the group are engaged in the following externally funded research projects:
- CHORDS - Steno scholarship
- MT-LAB - A VKR Centre of Excellence on Modeling Information Technology
- TrustCare - Trustworthy Pervasive Healthcare Services
- FLExCMS - Technologies for Flexible Cross-organizational Case Management Systems (industrial PhD)
- VARIES - Variability in Safety Critical Embedded Systems
- VARIETE - Variability in Portfolios of Dependable Systems
- Jingling Genies - Services in Context
- DemTech - Democratic Technologies
People
Associate professors
- Claus Brabrand
- Marco Carbone
- Thomas Hildebrandt (head of group)
- Andrzej Wąsowski
- Carsten Schürmann
Post docs
- Thorsten Berger (ITU and Varies)
- Raghava Rao Mukkamala
PhD students
- Fabrizio Biondi (MT-LAB)
- Alexandru Florin Iosif-Lazăr (Varies)
- Josu Martinez
- Fabrizio Montesi (ITU)
- Gian Perrone (Genie)
- Helge Pfeiffer
- Tijs Slaats (FLExCMS)
- Francesco Zaniti (Genie)
- on leave
- Ornela Dardha (visiting PhD student from University of Bologna)
Research programmers
- Alexander Faithfull
- Stefan Catalin Stanciulescu (Varies)
Alumni
- Louis-Marie Traonouez
- Lei Song (MT-LAB PhD student and Post-doc)
- Wang Wusheng (as past visiting PhD student from PKU)
- Tawhid Waez (past visitting PhD students from Queens)
Courses
Taught by faculty members
- Mobile and Distributed Systems
- IT and Business Process Modelling
- Model Driven Development
- Foundations of Computing - Discrete Mathematics
- Advanced Mobile and Distributed Systems Seminar
