Process and System Models Group

From Models Wiki
Jump to: navigation, search


News

Events

PhD Course: Survey of The Most Influential Works in Software Maintenance

Talks

The Models Talks Autumn 2015 will be Fridays 14-15, starting August 21st.

Visitors

Past entries

August-September 2015

April-July 2015

January-March 2015

August-December 2014

January-July 2014

November-December 2013

July-October 2013

April-June 2013

January-March 2013

October 2012

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:

  1. 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);
  2. case studies in model-driven system design and analysis (e.g. software product lines and workflow and case management systems); and
  3. 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:

  • ProSec - Mapping Emergency and Security Processes in the Danish Energy and Public Transport Sectors and their Dependency on ICT, joint project between ITU, Metropol, DSB and BaneDanmark, supported by Forsvarsakademiet
  • VARIES - Variability in Safety Critical Embedded Systems
  • VARIETE - Variability in Portfolios of Dependable Systems
  • DemTech - Democratic Technologies
  • CompArt - Computational Artifacts: Towards a design-oriented theory of computational artifacts in cooperative work practices (funded by the Velux foundation from 2014-2017)
  • Behavioural Types for Reliable Large-Scale Software Systems (BETTY) EU Cost Action IC 1201

Some of the past projects:

  • CHORDS - Steno scholarship
  • FLExCMS - Technologies for Flexible Cross-organizational Case Management Systems (industrial PhD) YouTube movie
  • Jingling Genies - Services in Context
  • TrustCare - Trustworthy Pervasive Healthcare Services
  • MT-LAB - A VKR Centre of Excellence on Modeling Information Technology

Research areas

  • DCR Graphs
  • Model driven engineering of software systems (modeling languages, code generators, or analysis and verification tools)
  • Programming Languages (functional, logic, declarative, imperative, domain-specific ...)
  • Types for Reliable Large-Scale Software Systems
  • Software Product Lines
  • Domain Specific Languages
  • Static Analysis
  • Web Technology
  • Syntax and Transformation
  • Educational Research

Tools

  • GameChecker - Verification Tool based on Game Semantics and CSP

People

The members of the Models Group.

Associate and Assistant professors

Post docs

PhD students

Research programmers

  • Alexander Faithfull

Alumni

  • Gian Perrone (Past PhD project at Genie project, now Software Engineer at @Square)
  • Louis-Marie Traonouez
  • Lei Song (MT-LAB PhD student and Post-doc)
  • Wang Wusheng (past visiting Genie PhD student from PKU)
  • Tawhid Waez (past visitting PhD students from Queens)
  • Francesco Zaniti (Genie PhD student)
  • Ornela Dardha (Past visiting PhD student from University of Bologna, now Research Assistant, School of Computing Science, University of Glasgow)
  • Fabrizio Montesi (ITU) (From August 2014: Assistant professor at University of Southern Denmark)
  • Josu Martinez
  • Thorsten Berger (ITU and Varies)
  • Fabrizio Biondi (former PhD student in MT-LAB) Now Post-doctoral Researcher in Quantified Information Leakage, INRIA Rennes

Courses

Taught by faculty members

Taught by visitors

Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox