2 2010 present : Initiator and facilitator of national interest group for Processes and IT within the InfinIT (www.infinit.dk) innovation network, having 248 members by Oct 31, present: Member of Programming, Logic and Semantics Group : Director of the International Research School on Foundations for Innovative Research Based Software Technologies (FIRST, dk/first) : Head of Master of Science and Masters study programme in Internet and Software Technology, ITU. Research Grants : Co-investigator on the Computational Artifacts: Towards a design-oriented theory of computational artifacts in cooperative work practices (CompArt, compart.ku.dk/) project, joint with Copenhagen University (PI) and Copenhagen Business School. Funded by The Velux Foundation (5.8MDKK) : Supervisor on the Technologies for Flexible Cross-organizational Case Management Systems (FLExCMS) industrial PhD project, supported by the Danish Research Agency and Exformatics A/S (industrial partner) : Co-investigator on the Services in Context: Jingling Genies (Genie) project, joint with Peking University, Beijing, China. The Danish Council for Strategic Research (8.4MDKK, grant no.: ) : Principal investigator on the Trustworthy Pervasive Healthcare Processes (TrustCare) project, supported by The Danish Council for Strategic Research (8.4MDKK, grant no.: ), ITU and Resultmaker A/S (industrial partner) : Principal investigator on the Computer Supported Mobile Adaptive Business Processes (CosmoBiz) project, supported by The Danish Council for Independent Research, Technology and Production Sciences (5.2MDKK, grant no.: ), ITU and Microsoft Development Center Copenhagen (industrial partner) : Co-investigator on the Calculi for Mobile Security project, funded by the Danish Research Agency (grant no.: ). Jan : Co-investigator on the Bigraphical Programming Languages (BPL) project supported by The Danish Council for Strategic Research (5.6MDKK, grant no.: ) and ITU. 2

3 Longer Research Visits Feb Jun. 1998: Laboratory for Foundations of Computer Science (LFCS), University of Edinburgh. (Hosts: Gordon Plotkin and Samson Abramsky). Sep. 1998: School of Computer Science, McGill University, Montreal (Host: Prakash Panangaden). Scientific fields and key results My research falls in three fields, covering foundations, tools and applications of 1. Meta models for process modelling languages ( , supported by BRICS, the BPL, CosmoBiz and Genie research projects) 2. Higher-order mobile computing processes ( , supported by ITU), 3. Model-based engineering of computer-supported adaptive, reliable and flexible business processes ( , supported by CosmoBiz, TrustCare, Genie, FLExCMS, CompArt). 1) Meta models for process modelling languages: This field is the most theoretical work, covering two areas, my early PhD work ( ) on categorical semantics for concurrency initiated by Winskel, Nielsen and Sassone, notably the denotational meta model for communicating concurrent processes based on presheaf categories, and the later work ( ) in the BPL, CosmoBiz and Genie projects on the syntactic and operational Bigraphical Reactive Systems (BRS) meta-model introduced by Milner in 2000 for the design of formal process languages for concurrent and mobile processes. The highlights of my PhD thesis [B1*] are the extension of the categorical approach to i) take account of infinite computations and fairness [J3*] and ii) nondeterministic data-flow networks [J4*] jointly with Panangaden and Winskel, closing a long-standing open problem by providing a relational model of nondeterministic data-flow networks. The first highlight of my work on the BRS meta-model is the development of a general theory of sorting for BRS [C8*,C11*] jointly with Birkedal and Debois, allowing to represent restrictions in the grammars of processes. This has been instrumental for subsequent work on applications of the BRS meta-model to provide semantics to e.g. Petri Nets, models in Systems biology. and context aware and pervasive computing [C6*], which is the second highlight. Finally, the work led to the development of a model-checking tool [J11*] and an eclipsebased, extensible editing tool [J12*]. The tools are instrumental for speeding up the learning curve of BRS, and has been used subsequently by researchers and students at Peking university. An overview of the work on BRS can be found at https://bigraph.github.io/. 3

4 2) Higher-order mobile computing processes: Higher-order mobile computing processes can exchange sub processes, and have become standard in modern operating systems based on application stores and dynamic upgrades. The highlight of the work in this field is a new fundamental process calculus called Homer, for Higher-order Mobile Embedded Resources equipped with a labelled bisimulation congruence, proven by a non-trivial extension of the wellknown proof technique referred to as Howe s method to this setting.[c5*,m18*]. Interestingly, we showed that the model could express name passing calculi [J5*] purely by using mobile processes. An overview of the work can also be found at 3) Model-based engineering of computer-supported adaptive, reliable and flexible business processes: Workflow and business process management systems are examples of process-oriented IT systems supporting digitalization of workflows and business processes within and across enterprises and public organizations. A highlight of the TrustCare project is the new declarative, event-based process-language called Dynamic Condition Response Graphs (DCR Graphs) [J10*] generalizing the classical model of event structures and formalizing the process language employed by the industrial partner Resultmaker. Another highlight is the demonstration of its applicability to healthcare workflows [C17*,W5*]. DCR Graphs was subsequently adopted by another company, Exformatics. After a case study founded by a knowledge voucher from the research agency [C18] and a successful application for an industrial PhD grant, Exformatics employed one of my former MSc students, Tijs Slaats, to do an industrial PhD under my supervision. Jointly with Tijs and my PostDoc, Sren Debois, I have developed extensions of DCR Graphs, which have been presented at the leading conference for Business Process Management [C23*,C25*], and most recently, a tutorial on BPM 2014 of a web-based, collaborative editing and simulation tool, DCRGraphs.net, developed by Exformatics and Tijs Slaats. The tool has subsequently been used to give a tutorial within the knowledge network Viden- Danmark and will replace an older tool on my successful, research based course IT and Business Process Modelling. As for BRS, such tool development is absolutely instrumental for the subsequent adoptation of the technology, and it has been fantastic to see the company developing the tool based on the theory developed in the industrial PhD project. Present Postdocs and PhD students Håkon Normann (PhD, ITU, CompArt project), Søren Debois (PostDoc, ITU, CompArt project), and Tijs Slaats (Industrial PhD, Exformatics). Past PostDocs and PhDs Gian Perrone (PhD, ITU, Genie project), Geoffrey Washburn (PostDoc, ITU, TrustCare project), and Magnus Nilsson (Post- Doc, ITU, CosmoBiz project). Hugo A. Lopez (PhD, ITU and Resultmaker), Espen Højsgaard (PhD, ITU, CosmoBiz project), Raghava Rao Mukkamala 4

Continuous Process Improvement - delivery, usability & compliance Thomas Hildebrandt Head of Process & System Models Group IT University of Copenhagen! A single slide about me Foundational Process Models

SYNTACTIC THEORY FOR BIGRAPHS Troels C. Damgaard (tcd@itu.dk) Joint work with Lars Birkedal, Arne John Glenstrup, and Robin Milner Bigraphical Programming Languages (BPL) Group IT University of Copenhagen

CURRICULUM VITAE ASTRID WÜRTZ RASMUSSEN School of Business and Social Sciences, Dept. of Economics and Business Aarhus University Fuglesangs Alle 4, DK-8210 Aarhus V T: (+45) 8716 4983 E: awu@asb.dk Home

Collaboration with industry and doctoral education at Politecnico di Milano Prof. Barbara Pernici Head of the PhD School Politecnico di Milano barbara.pernici@polimi.it Politecnico di Milano 2 State university

Mini-annual report, Computer Science 2013 It is with great pleasure and pride that I once again can observe that the last year has been successful. A huge thank to all employees. It is thanks to you and

Swiss Joint Master in Computer Science of the universities of Bern, Neuchâtel and Fribourg 1 The MSc program in computer science Worldwide, computer scientists are in high demand. To cater for this demand,

Dr. Waleed A. Alrodhan (Biographical Sketch) Waleed was born in the Kingdom of Saudi Arabia in 1981. He has received his B.Sc. degree in Computer Sciences from King Saud University (2002), his M.Sc. degree

Professional Organization Checklist for the Computer Science Curriculum Updates Association of Computing Machinery Computing Curricula 2008 The curriculum guidelines can be found in Appendix C of the report

School of Computing FACULTY OF ENGINEERING MEng, BSc Applied Computer Science Year 1 COMP1212 Computer Processor Effective programming depends on understanding not only how to give a machine instructions

Annual Assessment of Research Activity at Reykjavik University Terms of References 1. Background and purpose Reykjavik University (RU) consists of five academic schools: School of Law, School of Business,

School of Computing FACULTY OF ENGINEERING MEng, BSc Computer Science with Artificial Intelligence Year 1 COMP1212 Computer Processor Effective programming depends on understanding not only how to give

Curriculum for the Master of Science Programme in Information Technology at the IT University of Copenhagen, Digital Design and Communication Curriculum of 19 August 2015 Content Background Chapter 1 Programme

Title: Basic Concepts and Technologies for Business Process Management Presenter: prof.dr. Manfred Reichert The economic success of an enterprise more and more depends on its ability to flexibly and quickly

University of Pisa MSc in Computer Engineering Business Processes Management Large and complex organizations are a tangible manifestation of advanced technology, more than machinery itself. (J.K. Galbraith)