Process and System Models Group
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.
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
- 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)
- Alexander Faithfull
- Stefan Catalin Stanciulescu (Varies)
- 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)
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