Self-Evaluation Department of Computer Science University Of

Self-evaluation

Department of Computer Science University of Copenhagen

November 2009

FOR INTERNAL USE ONLY

Table of Contents

1 Research Organization...... 3 2 Study Programmes...... 4 2.1 Bachelor Programmes ...... 4 2.2 Master Programmes...... 4 2.3 Student Productivity ...... 5 3 Analysis of Department Research...... 5 3.1 SWOT Analysis of the Department ...... 6 3.1.1 Objectives...... 6 3.1.2 Strengths ...... 6 3.1.3 Weaknesses ...... 7 3.1.4 Opportunities ...... 7 3.1.5 Threats ...... 7 3.1.6 Analysis ...... 7 3.2 SWOT analysis of each Research Group ...... 8 3.2.1 Algorithms and Programming Languages (APL) ...... 8 3.2.2 Image Group...... 10 3.2.3 Human-Centered Computing (HCC)...... 12

Annex I: Curriculum Vitae of Permanent Faculty Members of Algorithms and Programming Languages Annex II: Curriculum Vitae of Permanent Faculty Members of Image Group Annex III: Curriculum Vitae of Permanent Faculty Members of Human-Centered Computing Annex IV: Strategy for the Department of Computer Science, University of Copenhagen (DIKU 2013)

1 Research Organization

The Department of Computer Science at the University of Copenhagen (DIKU) is the oldest computer science department in Denmark - and among the first in the world. Since its establishment in 1970, DIKU has worked to achieve the highest academic level. DIKU performs research at an international level in close contact with research institutions and industrial companies in Denmark and abroad.

The research groups have been reorganized in Spring 2009 as a consequence of a staff reduction due to cutbacks and resignations. The Distributed Systems Group and the Image Group have been merged to form the Image group, parts of the TOPPS group and the Algorithmics and Optimization Group to form the APL group, and parts of the TOPPS group have been merged with the HCI group to form the HCC group. Consequently, the research is now organized in 3 research groups:

Algorithms and Programming Languages (APL): The group works with the development of programming language concepts, technology and applications in theory and practice, ranging from new computational models to applications in systems and software development. Furthermore, the group develops efficient algorithms for solving problems within e.g. planning, bioinformatics and design of electronic circuits and other network design problems. Please see Section 4.2.1 for a SWOT analysis of the group and Annex I for CVs including lists of publications and grants of the faculty members of the APL group.

Image Group: The group performs theoretical and experimental research in image analysis, computer graphics and high-performance computing and their applications to hard sciences. Methodologies currently employed are among others machine learning, grid computing, variational methods, computer vision and scale space. Please see Section 4.2.2 for a SWOT analysis of the group Annex II for CVs including lists of publications and grants of the faculty members of the Image Group.

Human-Centered Computing (HCC): HCC is an emerging interdisciplinary academic field broadly concerned with computing and computational artifacts as they relate to the human condition. The goal is to improve human interaction with it. Research includes usability/user experience research; health care; information access and use; software development and programming; advanced interaction techniques. Please see Section 4.2.3 for a SWOT analysis of the group and Annex III for CVs including lists of publications and grants of the faculty members of the HCC group.

The three research groups are placed in 3 different locations: APL and the Image Group at 2 locations in North Campus (Nørre Campus) and HCC in South Campus (Søndre Campus).

As described in the Research Strategy of DIKU (cf. Annex IV, Section 1.1), the department’s presence at both North and South Campus poses an organizational and identity challenge but also an opportunity to cooperate across professional and geographical boundaries, allowing development of a department identity. However, a key challenge is balancing the size of the department and its commitment to interdisciplinary research and education cooperation. The research of the department is analyzed in Section 4, including a SWOT analysis for the complete department and for the 3 groups individually.

2 Study Programmes

DIKU is characterized by offering project-oriented education allowing for in-depth studies. Graduates in computer science are highly popular among Danish and international companies and public institutions. The department cooperates closely with other university faculties, institutes and centers to improve IT education (cf. Sections 2.1 and 2.2).

2.1 Bachelor Programmes

DIKU • offers a BSc in Computer Science with 2 competence profiles: Application Development, and Data and Information Modelling (described below). • contributes to a BA in Communication and IT in collaboration with the Faculty of Humanities. DIKU contributes with courses corresponding to 1½ semester. • contributes to a BSc in Science and IT in collaboration with other departments at the Faculty of Science, Faculty of Pharmaceutical Sciences and Faculty of Life, which will be offered starting summer 2010. The courses given by DIKU on this bachelor programme correspond to 1 semester. • contributes to a BSc in IT and Health in collaboration with the Technical University of Denmark and the Faculty of Health Sciences with courses corresponding to less than 1 semester.

The programme for BSc in Computer Science consists of 4 semesters of compulsory courses/elements, 1 semester of optional courses and 1 semester of specialization. The students of the Application Development profile obtain skills and specialize in programming languages; computer architecture; IT security; and IT project management. The career possibilities are e.g. software developer or project manager of major IT development projects. The students of the Data and Information Modelling profile provides the students competencies within data and information modelling offering courses in mathematics, statistics, logics, computer graphics and data analysis. The students learn how to develop models of discrete or physical phenomena, to analyze models and to apply the results.

2.2 Master Programmes

DIKU • offers a MSc in Computer Science with 3 competence profiles: Computational and Mathematical Modelling; Programming Languages and Systems; and Software Development (described below). • contributes to a MSc in eScience in collaboration with other departments at the Faculty of Science. DIKU contributes with courses corresponding to 1 semester. • contributes to a MA in IT and Cognition in collaboration with the Faculty of Humanities. DIKU contributes with courses corresponding to 1/2 semester.

The programme for MSc in Computer Science consists of 1 semesters of compulsory courses/elements, 1 semester of specialization ,1 semester of optional courses and 1 semester of MSc thesis. The Computational and Mathematical Modelling profile is focused on problems and applications with a foundation in measured observations or laws of Nature. For instance, measurements obtained from images, movies, medical data, satellites, motion capture data and models such as Newtonian mechanics etc. Graduates with a Programming Languages and Systems competence profile are firmly familiar with the fundamental models of computing, their expressiveness and limitations, and how to capture them as (fundamental) programming languages. Graduates with a Software Development competence profile have fundamental competencies in respect to software development, i.e. the various activities preparing the

production of software and information systems which are effective, useful and satisfactory for its users - both in respect to the organization and in respect to the day-to-day life of human beings.

The MSc in Computer Science is accredited under the COME excellence programme (Copenhagen Masters of Excellence), which means that the quality of teaching has been enhanced and that all teachers are certified for teaching in English. A total of 70 international students applied for admission in 2009 of which 20 were admitted prior to the introduced of the COME elite programme.

2.3 Student Productivity

Study programme (admitted / awarded) 2004 2005 2006 2007 2008 BSc in Computer Science 163 / 91 88 / 96 76 / 106 103 / 70 86 / 67 MSc in Computer Science 93 / 37 102 / 42 108 / 43 59 / 53 53 / 60 PhD in Computer Science 2 / 2 8 / 4 8 / 3 16 / 2 19 / 11 Source: Key Numbers of the Faculty of Science, May 2009

The decrease in the number of graduated BSc students is a consequence of the decrease in the number students admitted for the BSc programme. The number was quite stable in 2000-2003 with an average of 207. From 2004 to 2006, DIKU experienced a rapid decrease, but development has turned in recent years with 135 admitted to the BSc in Computer Science in 2009. Further, due to strong study time restrictions introduced by the University in 2009 as a consequence of strong economical encouragement from the government, it is expected that the average study time for bachelor and master programs will be greatly reduced to the intended 3 and 2 years. The number of awarded PhD degrees has increased dramatically in 2008 and is expected to do so in the years to come as a consequence of the increase in the number of PhD students enrolled.

3 Analysis of Department Research

Martin Zachariasen Kim Steenstrup Pedersen Jon Sporring Head of Department Vice Department Head for Teaching Vice Department Head for Research

Since 2007, the University of Copenhagen has registered publications in the national PURE database (called CURIS at the University of Copenhagen) including a formal procedure of validation by librarians. Prior to 2007 publications were registered in a system called PUF, which had very low data quality, and the transfer of data from PUF to PURE will only be done on a voluntary basis by the individual researchers, and a librarian will not validate the transferred data. Hence, the bibliometric data reported in the following will be

limited to 2007 and 2008. The number of publications is summarized in the table below together with the amount of external funding spent. The average number of publications and external funding spent is per faculty member of each research group.

2007 2008 Research group (total / average) Refereed External Refereed External publications funding spent publications funding spent (thousand (thousand DKK) DKK) DIKU: 94 / 4.3 11,031 / 501 122 / 5.5 16,446 / 748 22 faculty members, 37 PhD students Algorithms and Programming Languages: 23 / 2.9 3,079 / 385 35 / 4.4 5,980 / 747 8 faculty members, 12 PhD students Image Group: 57 / 5.1 6,976 / 634 69 / 6.3 9,221 / 838 11 faculty members, 20 PhD students Human-Centered Computing: 14 / 3.5 976 / 244 18 / 4.5 1,245 / 311 4 faculty members, 5 PhD students

3.1 SWOT Analysis of the Department The following analysis is a SWOT on DIKU as a whole. The SWOT analysis takes its point of departure in the following diagram:

Helpful Harmful (to achieving the (to achieving the objective) objective) Internal origin (Attributes of the Strengths Weaknesses organization) External Origin (Attributes of the Opportunities Threats environment) and the analysis views DIKU as the organization.

3.1.1 Objectives

As stated in DIKU’s strategy (cf. Annex IV, Section 1.3) our objectives are: 1. to make DIKU a department of computer science for the entire University of Copenhagen – anchored in the Faculty of Science – and the preferred partner in connection with cross-faculty and interdisciplinary IT educational and research cooperation at the University of Copenhagen 2. to make DIKU among the best departments of computer science in Europe 3. to provide bachelors and MSc’s and PhD’s with long-term knowledge and practical competencies that are highly valued in the Danish and international labor market 4. to focus on research in core computer science disciplines and that this research has a user perspective and helps create deep insight and knowledge 5. to engage in strategic research in the tension area between computer science and other strong academic fields at the University of Copenhagen (e.g. science, health sciences and humanities).

3.1.2 Strengths

1. History – earliest and biggest computer science department in Denmark; many students have graduated from DIKU. In 2003, Professor Emeritus Peter Naur was awarded the Turing Prize for his work on programming languages. 2. Research - International top in the areas of: image processing, computer animation, high performance computing, computer languages, operating systems, and human-computer interaction.

3. Teaching – MSc in Computer Science is now a Copenhagen Masters of Excellence, hence in English, and all faculty members are presently being English certified. Our students are in high demand in industry even without completing a BSc degree.

3.1.3 Weaknesses

1. Teaching and administrative load is very high leaving little space for research. 2. Recent staff reduction has not been coupled with a reduction in tasks. 3. Possibly a too large spread in research areas. 4. The cost of a PhD scholarship in Denmark is the highest in the world. 5. DIKU has a large dropout rate and the average study time is about 8 years for the 5 year combined bachelor and master program. 6. Too few industry collaborations. 7. DIKU is weak in the Danish National Bibliometry measures, when comparing to other subjects, due to the computer science tradition of publishing at conferences. 8. DIKU has historically been under-financed. 9. DIKU has too few international and national grants. 10. DIKU is geographically located in two different areas of Copenhagen with 45 min. transport time in between. 11. There are too few female researchers and students.

3.1.4 Opportunities

1. History – many people in industry have graduated from DIKU. There is a potential for building and using a large alumni network for political and industry collaborations. 2. The Faculty’s new budget model will allow DIKU to better focus its resources. 3. The vice-chancellor’s focus on IT for the whole University is a welcoming opportunity to investigate new cross-disciplinary ventures. 4. European Spallation Source (ESS) will most likely be located in Lund, and KU will host the data management center, hence DIKU will be heavily involved. 5. Close collaboration with the IT University of Copenhagen. 6. Closer collaboration with departments at the University of Copenhagen engaged in high quality teaching and research. 7. Promotion of the BSc in computer science to industry and students as a unique and independent education with a high quality as compared to other short term IT educations. 8. International student recruitment opportunities via the COME MSc computer science programme.

3.1.5 Threats

1. The recent staff reduction will cause high quality staff to quit. 2. Budget is now linked to the amount of external funding, and we risk that the amount of external funding both quantitatively and qualitatively will fail to increase or drop. 3. Budget is now linked to on-time student production, and we risk a reduction in intake of students and a failure in converting slow students into on-time students. 4. DIKU may be split into two departments. 5. National and international agreements concerning ESS not yet settled. 6. An increasing gap between research and teaching. 7. An increasing diversity in research and teaching areas implying a reduction in clear identity.

3.1.6 Analysis

Our present position on the analysis is given below, but we consider a discussion of the above analysis with the advisory board of paramount importance, e.g.: 1. Which objectives are attainable? 2. How can we use and capitalize on each strength? 3. How can we improve each weakness? 4. How can we exploit and benefit from each opportunity?

5. How can we mitigate each threat? 6. How can we find competitive advantages by matching the strengths to opportunities? 7. How can we convert threats or weaknesses into strengths or opportunities?

Our conclusion so far is that: 1. We must strengthen our interdisciplinary force, and we will primarily find new strength by hiring within the next 2 years. The purpose of hiring will be to strengthen interdisciplinary relations to the hard sciences (Science, Pharmaceutical, and Life), to support the European Spallation Source and to the faculty of Humanities: a. To consolidate Programming Languages and Algorithmics, we will hire: • 1-2 Professor(s) in Programming Languages • Professor in Algorithms and Data Structures • Assistant/Associate Professor in Algorithms and Data Structures b. To strengthen High Performance Computing System and the likely European Spallation Source, we will hire: • Professor in Computer Systems (process underway) • Professor in Computer Systems • Assistant/Associate Professor in Computer Systems c. To strengthen two interdisciplinary fields we will hire: • 1-2 Professor(s) in Machine Learning • Professor in Medical Image Processing d. To strengthen Human-Centered Computing and software development, we will hire: • Professor in Human-Centered Computing (already hired, begins December 1, 2009) • Professor in Software Development • Associate Professor in Human-Centered Computing • Assistant/Associate Professor in Human-Centered Computing Funding source for this hiring plan is 3-fold: Firstly, the University has ear-marked part of our budget to shift direction into more interdisciplinary fields. Secondly, the faculty’s new budget will create a better balance between the resources put into teaching and the resources to cover the costs of teaching, and since DIKU is presently involved in many new initiatives for teaching, it is likely that some of these will generate extra income for DIKU. Thirdly, the faculty’s new budget also directly ties resources given to the number of external projects obtained, and some of the above full professorships are expected to generate extra external funding. 2. Concerning the gender ratio, we will focus very much on hiring female candidates, although the number of potential candidates is very low, and it is unlikely that the gender ratio will shift dramatically in the near future. However, the number of female PhD students is in constant rise, and consequently will the number of potential candidates for permanent positions in the not too distant future. 3. We have recently started to use external lecturers to reduce teaching burden of our faculty members. The external lecturers together with the above new hires will increase resources for teaching and research, and we will focus on converting these resources into an increase in the number of high quality journal articles and candidates.

3.2 SWOT analysis of each Research Group

In the following we will detail the SWOT analysis to group level

3.2.1 Algorithms and Programming Languages (APL)

The group works with the development of programming language concepts, technology and applications in theory and practice, ranging from new computational models to applications in systems and software development. Furthermore, the group develops efficient algorithms for solving problems within e.g. planning, bioinformatics and design of electronic circuits and other network design problems. The group’s permanent researchers are:

• Professor Fritz Henglein (Head of Group (see photo) • Associate Professor Andrzej Filinski (Head of MSc in Computer Science studies) • Associate Professor Robert Glück (Internationalization officer) • Associate Professor Jyrki Katajainen • Associate Professor Julia Lawall • Associate Professor Torben Mogensen (Head of BSc in Computer Science studies) • Associate Professor Pawel Winter • Associate Professor Martin Zachariasen (Head of Department). Please see Annex I for CVs including lists of publications and grants of the faculty members of the APL group.

3.2.1.1 Objectives

The APL group's strategy is to focus collectively or individually increasingly on the following grand challenge themes:

1. Parallel architectures: Languages for General Purpose Graphic Processer Units (GPGPUs), multicores, grids, clusters, etc.; accomplishing expressiveness, safety, compositionality and performance simultaneously. 2. Software evolution: Analysis Large legacy code bases that are difficult and expensive to analyze, reengineer and change; Correctness and productivity. 3. Algorithms, data structures and optimization with applications to molecular biology and VLSI-design.

3.2.1.2 Strengths 1. Scientific knowledge areas: a. Language‐based foundations (computability, complexity, models of computation) b. Type systems and program logics, e.g. monads and proof‐carrying code c. Functional programming and declarative domain‐specific languages. d. High‐level languages for novel architectures: reversible computing e. Software as data: Analyze, debug, refactor and optimize existing systems and legacy code. f. Network design and routing by various optimization and algorithmic methods. 2. Awards: a. Most influential paper awards at top ACM conferences, awarded 10 years after: Region‐based memory management (awarded POPL 2004); Optimal reduction in functional programming (awarded ICFP 2006); Type‐based pointer analysis (awarded POPL 2006). b. SIGPLAN nomination to CACM research highlights: Generic multiset discrimination (2009). c. Various conference best paper awards

3.2.1.3 Weaknesses

1. Focus on indidivual research agendas 2. Little attention paid to trends in fundability, bibliometric remuneration schemes, etc. 3. Predisposition towards small, focused grants 4. Limited cohesion and communication amongst group members 5. Many administrative duties. 6. Limited industrial collaboration and national industrial networking.

3.2.1.4 Opportunities

1. Potential interactions:

a. Financial sector: E.g. integrated domain‐specific modeling, life cycle management and stochastic analysis of (custom) financial instruments/contracts; Anybody looking for expertise in and with functional programming. b. eGovernment sector: E.g. logical modeling, querying and analysis (what‐if, consistency, missing cases) of legal rules and legal reasoning (social, pension sector etc.) for case workers and self‐service; High‐level specification of aggregated high‐volume data, with automated generation of efficient code for high‐performance incremental computation that is guaranteed to be correct. c. eHealthcare sector: E.g. modeling of flexible, highly adaptable workflows with automatic generation of continuously up‐to‐date role‐ and case‐specific user interfaces. d. Sofware security sector: Analysis and sandboxing (securing) of legacy software for security holes; Language‐based security (proof‐carrying code). e. eScience (high‐volume data) sector: E.g. High‐level functional languages for data processing of moderately sized data sets (in memory databases) and of huge data sets (distributed data, MapReduce style frameworks) and of streaming data sets.

3.2.1.5 Threats

1. Strong research groups at University of Aarhus, Technical University of Denmark, IT University of Copenhagen, i.e. tough national competition for funding

3.2.1.6 Analysis

Focus must be to increase collaboration with external partners to increase funding and transfer of knowledge into industry. Algorithmics must be strengthened, and Programming Languages consolidated.

3.2.2 Image Group

The group performs theoretical and experimental research in image analysis, computer graphics and high- performance computing and their applications to hard sciences. Methodologies currently employed are among others machine learning, grid computing, variational methods, computer vision and scale space. The group’s permanent researchers are: • Professor Mads Nielsen (Head of Group, member of the faculty council (faklutetsrådet), exempt from teaching, currently 50% externally financed) (see photo) • Associate Professor Philippe Bonnet (on leave) • Associate Professor Kenny Erleben (innovation ambassador) • Associate Professor Klaus Hansen (on leave) • Associate Professor Knud Henriksen (80% teaching load) • Associate Professor Francois Lauze (exempt from teaching, fully externally financed) • Associate Professor Marleen de Bruijne (exempt from teaching, currently fully externally financed, 50% employed) • Associate Professor Søren Olsen (likely Head of BSc in Science and Informatics Studies) • Associate Professor Kim Steenstrup Pedersen (Vice Department Head for Teaching) • Associate Professor Jon Sporring (Vice Department Head for Research, member of the Continuing Education study board) • Professor Brian Vinter (Head of eScience Center) Please see Annex II for CVs including lists of publications and grants of the faculty members of the Image Group.

3.2.2.1 Objectives

The Image group’s objectives are: 1. To excel in High Performance Computing, Image Analysis and Computer Graphics. 2. To strengthen Medical Imaging at University of Copenhagen.

3. To develop Machine Learning at University of Copenhagen. 4. To develop further interdisciplinary applications at University of Copenhagen, e.g. human motion modeling and application to rehabilitation. 5. To foster employment of research results in the society in general.

3.2.2.2 Strengths

1. Scientific research areas: Perform research in a. High Performance Computing. b. Grid Computing. using a. Image Analysis. b. Machine Learning. c. Visualization. 2. Applications a. Perform applications in Medicine. b. Contribute to applications in: • Climate. • Environment. • Nano technology. • Space technology. 3. Focused into the following subareas: a. Imaging Biomarkers. b. Human Motion Imitation. c. High Performance Computing. 4. Centrally placed in the discussion on European Spallation Source and CERN node at the Niels Bohr Institute. 5. Large number of PhD students and external funding 6. Research results are actively transferred to industry. 7. Large amount of staff members with managerial competencies. 8. Social cohesion in the group.

3.2.2.3 Weaknesses

1. The total scientific field is so big that is hard always to obtain the necessary depth in all subdisciplines. 2. Too many administrative posts. 3. Two locations: University of Copenhagen and Nordic Bioscience. 4. Tradition among peers in the traditional research fields vs. interdisciplinarity.

3.2.2.4 Opportunities

1. European Spallation Source data center most likely to be placed in conjunction with DIKU. 2. Research centered around ageing population. 3. Growing need for machine learning with interdisciplinary applications, including medical image processing, natural language processing etc. 4. Centrally placed w.r.t. new educational initiatives. 5. The type of research performed in the group makes it an obvious site for national or international large center grants.

3.2.2.5 Threats

1. Competition with Technical University of Denmark. 2. European Spallation Source is not placed in conjunction with University of Copenhagen.

3. Problem related to the interdisciplinarity of the group, e.g. in connection with peer acceptance of research results. 4. Staff members are involved in several new educational initiatives which may result in a big teaching load. 5. The recent expansion/reorganization of the group makes it difficult to keep the social cohesion.

3.2.2.6 Analysis

The likely location of the European Spallation Source in Lund as well as national and international initiatives in eScience modelling and computation will greatly increase the research activities of the group. The further development of Machine Learning at the University of Copenhagen is an opportunity of developing the group w.r.t. teaching, theoretical research and application areas. W.r.t. dissemination and funding of research, the research of the group is communicated as basic research in application areas rather than application of basic research. As an example, it is easier to communicate research in Imaging Biomarkers as basic research in medicine instead of application of machine learning and image analysis. This requires that research in the application areas is honestly accounted for.

3.2.3 Human-Centered Computing (HCC)

The group performs empirically based research and development within innovate user interfaces – in the interplay between human and computer. The group studies the design, use, and deployment of IT tools and computer-based information systems, both in people's everyday life and in organizations. A key focus is design and evaluation studies of the interaction between people, organizations and IT tools for complex tasks. The endeavor is to explore important theoretical assumptions, or to challenge common beliefs, in order to reach more coherent and valid insights, or to indicate new possibilities for useful IT. The group’s permanent researchers are: • Associate Professor Erik Frøkjær (Head of Group, member of BSc in IT and Health study board) (see photo) • Professor Kasper Hornbæk (member of BA in Communication and IT study board) • Professor Jørgen Bansler • Assistant Professor Ken Friis Larsen (on leave) • Assistant Professor Jakob Grue Simonsen (member of MA in IT and Cognition study board) Please see Annex III for CVs including lists of publications and grants of the faculty members of the HCC group.

3.2.3.1 Objectives

The HCC group’s objectives are: 1. Improve human interaction with IT. 2. Improve software development processes in participation with users.

3.2.3.2 Strengths

1. Studies of design and evaluation, combining a range of qualitative and quantitative methods. 2. Information visualization for complex task/problem solving. 3. Health informatics. 4. Empirical use of multiple methods. 5. Interdisciplinary. 6. Prototyping innovative user Interfaces. 7. Experience lab for close and refined studies of people’s use of new IT tools and interaction forms.

3.2.3.3 Weaknesses

1. Small size.

2. Few externally funded research projects. 3. Located far from Northern Campus.

3.2.3.4 Opportunities

1. Usability in a broader context. 2. Closeness to the IT University of Copenhagen. 3. Closeness to Faculty of Humanities. 4. Closeness to Danish Broadcasting Services (Danmarks Radio). 5. Information Retrieval: The initiative of the University of Copenhagen w.r.t. IT and Health and the information retrieval area, which includes the collaboration with the Danish Broadcasting Services and the Royal School of Library and Information Science on a big film digitalization project, opens up for important and exciting new possibilities.

3.2.3.5 Threats

1. Disciplinary overlap with the IT University of Copenhagen.

3.2.3.6 Analysis

The group is presently too small to efficiently take care of the many initiatives with the partners at the Faculty of Humanities and others. This group will be strengthened w.r.t. software development and Human-Centered Computing.

13 Annex I: Curriculum Vitae of Permanent Faculty Members of Algorithms and Programming Languages

Fritz Henglein, Professor (Head of Group) Andrzej Filinski, Associate Professor Robert Glück, Associate Professor Jyrki Katajainen, Associate Professor Julia Lawall, Associate Professor Torben Mogensen, Associate Professor Pawel Winter, Associate Professor Martin Zachariasen, Associate Professor, Head of Department

14 Curriculum Vitae Status: October 28, 2009

Fritz Henglein Born June 3d, 1961, in Freising, Germany.

Academic background and employment: M.S. (1986) and Ph.D. (1989) in computer science, Rutgers University, New Jersey; Research scientist, New York University (1987-89 and 1990); Research visitor, IBM Research (1988); Post-doc, University of Utrecht (1990); Research scientist, assistant professor, associate professor, DIKU (1991-99); As- sociate professor, ITU (1999-2002); Founding partner, director, Hafnium ApS (1998- 2002); Professor mso, DIKU (2002-). Research interests: Semantic, logical and algorithmic aspects of programming languages; specifically type inference, type-based program analysis, algorithmic functional programming, domain-specific languages. Application of programming language technology in software development, presently in enterprise systems and health care process modeling. Consistently ranked amongst top-20 cited computer scientists in Denmark (according to Google Scholar, Citeseer). Ongoing/planned international research collaborations in 2009/10: Cornell University, Northwestern University, Oxford University, Max-Planck Institute Saarbrücken, Fraunhofer ISST Dortmund/Berlin. Professional and management qualifications Served on ca. 25 international program committees within programming language theory, design and implementation. Chaired or co-organized: 8 conferences and workshops; initiator/manager of lecture series at NYU, DIKU, ITU with more than 200 guest speakers. Reviewing for NSF, Dutch, Swedish research councils, 400-500 peer reviews for ca. 20 journals and ca. 40 conferences (1990-2009); ca. 30 invited workshop, conference and summer school talks/lectures. Chairman of: computing equipment committee, DIKU (1998-99); graduate program in software development, ITU (1999-2000); Board of Studies, ITU (2000). Member of: ACM SIGPLAN Executive Committee (1997-99); ERCIM Editorial Board (1997-99); IFIP TC 2.8 (1997-present); Departmental Board, DIKU (1998-99); Board of Eur. Ass. for Prog. Lang. and Systems, 1997-2000; Editorial Board, Journal of Func- tional Programming (2002-2006); Governing Board, cross-institutional FIRST Ph.D. program (2003-); ICFP Steering Group (2009-); other professional organizations (ACM, ACM SIGs, etc.). Academic advisor for 9 Ph.D. projects (1993-present), 5 finished (graduated 1996, 1997, 1998, 2001, 2008), 4 ongoing; thesis advisor for ca. 25 Master’s students (kandidater), 15 of whom in last 5 years; external evaluator on 12 Ph.D. theses (1992-present), numerous Master’s theses, Ph.D. proposal defenses, student projects and courses. Management training courses at SHL Denmark (2000) and Implement (2008-09). Found- ing partner, director, Y2K conversion project manager, of spin-off company Hafnium ApS (1998-2002). Member of IT University of Copenhagen (ITU) start-up faculty (1999-2002). Vice Head of Research, DIKU (2007). Head of Programming Languages (TOPPS) research group, DIKU (2007-09). Head of Algorithms and Programming Lan- guages research group, DIKU (2009-).

15 Externally funded research projects (2007-2009)

Fritz Henglein October 28, 2009

Site leader for the following externally funded research projects 3gERP: 3d generation Enterprise Resource Planning systems (2006-10). Part- ners: CBS, DIKU, Microsoft. Funding: Danish National Advanced Tech- nology Foundation (11.3 mio. kr.) URL: 3gERP.org TrustCare: Trustworthy Pervasive Healthcare Services (2008-11). Partners: ITU, DIKU, Resultmaker. Funding: Danish Research Council for Growth Technologies (7.6 m mio. kr.). URL: trustcare.eu Co-investigator for: APPL: Applications and Principles of Programming Languages (2006-09). Fund- ing: Danish Research Council for Nature and the Universe.

16 Select publications (2005-2009)

Fritz Henglein October 28, 2009

[1] Fritz Henglein. Generic top-down discrimination. TOPPS report, Department of Computer Science, University of Copenhagen (DIKU), October 2009. Invited sub- mission to Journal of Functional Programming (JFP). Source code available from http://www.diku.dk/hjemmesider/ansatte/henglein/src/gtd.zip. [2] Tim Hallwyl, Fritz Henglein, and Thomas Hildebrandt. Analysis of the WS-BPEL 2.0 standard using standard-driven implementation. TOPPS Report 607, Department of Computer Science, University of Copenhagen (DIKU), June 2009. To appear in Proc. ACM Symposium on Applied Computing (SAC) 2010. Track: SOAP. [3] Fritz Henglein. What is a sorting function? J. Logic and Algebraic Programming (JLAP), 78(5):381–401, May-June 2009. Special issue on 19th Nordic Workshop on Programming Theory (NWPT). [4] Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, and Christian Stefansen. POETS: Process-oriented event-driven transaction system. Journal of Logic and Algebraic Programming (JLAP)., 78(5):381–401, May-June 2009. Special Issue on Contract-Oriented Software. [5] Olivier Danvy, Fritz Henglein, Harry Mairson, and Alberto Pettorossi, editors. Automatic Program Development—A Tribute to Robert Paige. Springer Netherlands, 2008. ISBN 978-1- 4020-6584-2 (Print), 978-1-4020-6585-9 (Online). [6] Sian Jha, Jens Palsberg, Tian Zhao, and Fritz Henglein. Efficient type matching. In Danvy et al. [5]. ISBN 978-1-4020-6584-2 (Print), 978-1-4020-6585-9 (Online). [7] Fritz Henglein. Generic discrimination: Sorting and partitioning unshared data in linear time. In James Hook and Peter Thiemann, editors, ICFP ’08: Proceeding of the 13th ACM SIG- PLAN international conference on Functional programming, pages 91–102, New York, NY, USA, September 2008. ACM. Nominated by ACM SIGPLAN for CACM Research Highlights (see http://sigplan.org/CACMPapers.htm). [8] Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, and Christian Stefansen. Composi- tional contract specification for REA. In First Workshop on Formal Languages and Analysis of Contract-Oriented Software, October 2007. Invited contribution. [9] Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, and Christian Stefansen. Compositional specification of commercial contracts. International Journal on Software Tools for Technology Transfer (STTT), 8(6):485–516, November 2006. [10] Fritz Henglein, Henning Makholm, and Henning Niss. Effect type systems and region-based memory management. In Benjamin Pierce, editor, Advanced Topics in Types and Programming Languages. MIT Press, 2005.

17 Brief Curriculum Vitae, Andrzej Filinski October 2009

Personal

• Full name: Andrzej Olaf Filinski • Work address: DIKU, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen Ø, Denmark. Phone: (+45) 3532 1407; fax: (+45) 3532 1401; email: [email protected]. • Home address: Gøngetoften 17, DK-2950 Vedbæk, Denmark. Phone: (+45) 2671 3053 (mobile).

Education

• Sep. 1989 – Dec. 1995: Carnegie Mellon University, USA. Ph.D., Computer Science, May 1996. Ph.D. thesis (supervised by John Reynolds and Robert Harper): Controlling Eﬀects.

• Sep. 1983 – July 1989: University of Copenhagen, Denmark. B.Sc. Computer Science and Mathematics, June 1987. M.Sc., Computer Science, July 1989. M.Sc. thesis (supervised by Olivier Danvy): Declarative Continuations and Categorical Duality.

Employment

• June 2001 – present. Associate professor, Department of Computer Science (DIKU), University of Copenhagen, Denmark. • June 1998 – May 2001: Research assistant professor (from June 1999: Research associate professor), BRICS Ph.D. School, Department of Computer Science (DAIMI), University of Aarhus, Denmark. • Jan. 1996 – May 1998: Research fellow (EuroFOCS project), Laboratory for Foundations of Computer Science, University of Edinburgh, Scotland. • Sep. 1989 – Dec. 1995: Graduate assistant, School of Computer Science, Carnegie Mellon Uni- versity, USA.

Current research interests

• Applied programming-language semantics, with particular emphasis on deﬁning and reasoning about computational eﬀects.

• Machine-veriﬁable reasoning about program behaviors, including formal code certiﬁcation.

Current projects

• Principal investigator, APPL: Applications and Principles of Programming Languages, Danish Natural Science Research Council (FNU), 2006-2009, total budget 1.0M DKK.

• Co-investigator, TrustCare: Trustworthy Pervasive Healthcare Services, Programme Commission on Nanoscience, Biotechnology and IT (NABIIT), 2008-2011, total budget 7.6M DKK.

Other professional activities

• Served on program committees of ICFP’99, PEPM’00, PADO-II’01, ICFP’03, MFCS’06, MFPS’07, MSFP’08, ICFP’09.

• Associate editor, Higher-Order and Symbolic Computation, Springer.

• Head of Studies, Computer Science M.Sc. Programme at DIKU.

18 Peer-reviewed publications (2005–) [1] Andrzej Filinski and Henning Korsholm Rohde. Denotational aspects of untyped normalization by evaluation. Theoretical Informatics and Applications, 39(3):423–453, July 2005.

[2] Andrzej Filinski. On the relations between monadic semantics. Theoretical Computer Science, 375(1-3):41–75, 2007.

[3] Andrzej Filinski and Kristian Støvring. Inductive reasoning about eﬀectful data types. In ICFP’07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming, pages 97–110. ACM Press, October 2007.

[4] Anders Starcke Henriksen, Tom Hvitved, and Andrzej Filinski. A game-theoretic model for distributed programming by contract. In Workshop on Games, Business Processes and Models of In- teractions, 12 pages, Lecture Notes in Informatics, L¨ubeck, Germany, September 2009. Gesellschaft f¨ur Informatik. To appear.

[5] Andrzej Filinski. Monads in action. In Proceedings of the 37th ACM SIGPLAN-SIGACT Sympo- sium on Principles of Programming Languages, Madrid, Spain, January 2010. To appear.

2 Short Curriculum Vitae of Robert Gl¨uck

1. Affiliation Department of Computer Science (DIKU), Faculty of Science, University of Copenhagen; email: [email protected], phone: +45 3532 1400. 2. Education Habilitation, Vienna University of Technology, Austria (1997). Doctor of Technical Sciences (Dr. techn.) with Distinction, Vienna Univ. of Technology (1991). Diplom-Ingenieur (M. Sc.), Computer Science, Vienna University of Technology, Austria (1986). 3. Employment 1995–present: Associate Professor, University of Copenhagen, Denmark. 2000–03: Project Leader, PRESTO. Japan Science & Technology Agency (JST), Japan. 1999–00: Research Fellow of JSPS. Waseda University, Tokyo, Japan. 1993–95: Erwin-Schrödinger-Fellow. Austrian Science Foundation, Austria. 1989–93: Assistant Professor, Vienna University of Technology, Austria. 1988–89: Research Assistant, City University of New York, USA. 1986–88: Universitätsassistent, Vienna University of Technology, Austria. 1983: ITT Austria, software developer, Vienna, Austria. 4. Awards/Academic achievements Kurt-Gödel Stipend awarded (Austrian Federal Ministry of Science & Research), 1993. Dr. techn. with Distinction (Vienna University of Technology), 1991. Award for Academically Gifted Students, three times (Vienna Univ. of Techn.) 1985, 1984, 1983. 5. Managerial activities Academic Student Exchange Coordinator for CS (2004-present). Elected Member of the Study Council for CS (1996-1999). Chairman of the ‘merit- og dispensationudvalg’ of CS (1996-1999). Program co-chair of international conferences & workshops in the USA, Europe, Russia, and Japan. Editorial Board member of the scientific journal New Generation Computing Ohmsha and Springer-Verlag. Member of the Scientific Delegation, Queen Margrethe II’s State Visit to Japan (2004). 6. Project management Project leader, 3.5 year research project ‘MicroPower’ with Oticon A/S and the University of Gent, Belgium; Danish Council for Strategic Research (DSF), Denmark (total about DKK 12.5 mio. until 2012). Project leader, 3 year project ‘IST+DIKU Research Collaboration’ with the University of Tokyo, Japan; Danish Council for Independent Research, Natural Sciences (FNU), Denmark (about DKK 500,000.- until 2008). Participation in two EU-funded project and a number of national projects. Currently Applications and Principles of Programming Languages (APPL), funded by Danish Council for Independent Research, Natural Sciences (FNU). 7. Key research topics Automatic software production, program inversion, partial evaluation, metaprogramming, reversible computing, programming language design, compiler generation and construction. 8. Supervision Currently 1 postdoc, 3 Ph.D., co-supervised 3 Ph.D. Supervised three dozen M.Sc. and countless graduate student projects. 9. Publications Peer reviewed journal papers: 20 Peer reviewed conference papers: 46 Book chapters: 8 Editing: 4 (co-edited books), 3 (co-edited journal special issues). Other: a number of workshop papers, technical reports, etc.

1 20 Publication List (2004 – present)

Journal Publications - Peer Reviewed: 1. Glück R., An investigation of Jones optimality and BTI-universal specializers. Higher-Order and Symbolic Computation, 21(3): 283–309, 2008. 2. Thomsen M.K., Glück R., Optimized Reversible Binary-Coded Decimal Adders. Journal of Systems Architec- ture, 54(7): 697–708, 2008. 3. Glück R., Kawabe M., A Method for Automatic Program Inversion Based on LR(0) Parsing. Fundamenta Informaticae, 66(4): 367–395, IOS Press, Amsterdam 2005. 4. Christensen N.H., Glück R., Offline Partial Evaluation can be as Accurate as Online Partial Evaluation. ACM Transactions on Programming Languages and Systems: 26(1):191–220, ACM Press, New York 2004.

Conference Publications - Peer Reviewed: 5. Glück R., An Experiment with the Fourth Futamura Projection. Perspectives of System Informatics. (PSI). Novosibirsk, Russia. to appear, Springer-Verlag 2009. 6. Glück R., Is there a fourth Futamura projection? Partial Evaluation and Program Manipulation (PEPM). Savannah, USA. 51–60, ACM Press 2009. 7. Yokoyama T., Axelsen H. B., Glück R., Reversible Flowchart Languages and the Structured Reversible Program Theorem. Automata, Languages and Programming (ICALP). Reykjavik, Iceland. Aceto L. et al. (eds.), Lecture Notes in Computer Science, Vol. 5126, 258–270, Springer-Verlag 2008. 8. Yokoyama T., Axelsen H.B., Glück R., Principles of a Reversible Programming Language. Conference on Computing Frontiers (CF). Ischia, Italy. 43–54, ACM Press 2008. 9. Abramov S.M., Glück R., Klimov Y., A Universal Resolving Algorithm for Inverse Computation of Lazy Lan- guages. Perspectives of System Informatics (PSI). Novosibirsk, Russia. Virbitskaite I., Voronkov A. (eds.), Lecture Notes in Computer Science, Vol. 4378, 27–40, Springer-Verlag 2007. 10. Axelsen H.B., Glück R., Yokoyama T., Reversible Machine Code and its Abstract Processor Architecture. Computer Science—Theory and Applications (CSR). Ekaterinburg, Russia. Diekert V., Volkov M.V., Voronkov A. (eds.), Lecture Notes in Computer Science, Vol. 4649, 56–69, Springer-Verlag 2007. 11. Yokoyama T., Glück R., A Reversible Programming Language and its Invertible Self-Interpreter. Partial Eval- uation and Program Manipulation (PEPM). Nice, France. 144–153, ACM Press 2007. 12. Gade J., Glück R., On Jones-Optimal Specializers: a Case Study Using Unmix. Programming Languages and Systems. (APLAS). Sydney, Australia. Kobayashi N. (ed.), Lecture Notes in Computer Science, Vol. 4279, 406–422, Springer-Verlag 2006. 13. Kawabe M., Glück R., The Program Inverter LRinv and its Structure. Practical Aspects of Declarative Lan- guages (PADL). Long Beach, California. Hermenegildo M., Cabeza D. (eds.), Lecture Notes in Computer Science, Vol. 3350, 219–234, Springer-Verlag 2005. 14. Glück R., Kawabe, M., Derivation of Deterministic Inverse Programs Based on LR Parsing. Functional and Logic Programming (FLOPS). Nara, Japan. Kameyama, Y., Stuckey, P.J. (eds.), Lecture Notes in Computer Science, Vol. 2998, 291–306, Springer-Verlag 2004.

Edited International Publications: 15. Bulyonkov M.A., Glück R. (eds.), Program Understanding. Proceedings. Siberian Branch of the Russian Academy of Sciences. Novosibirsk 2009. 16. Glück R., Visser E. (eds.), Generative Programming. Science of Computer Programming, Special Issue. Springer-Verlag, 2009. 17. Glück R., Moor O. (eds.), Symposium on Partial Evaluation and Semantics-Based Program Manipulation.(San Francisco, USA). ACM Press, New York 2008. 18. Glück R., Lowry M. (eds.), Generative Programming and Component Engineering. Proceedings. Lecture Notes in Computer Science. Vol. 3676, Springer-Verlag, 2005.

2 21 Jyrki Katajainen: Curriculum vitae

Education • Turun Normaalikoulu, Finland, Matriculation examination, May 1976 • Department of Mathematics, University of Turku, Finland B.Sc. Dec 1979 M.Sc. Oct 1980 • Department of Computer Science, University of Turku, Finland Licentiate in Philosophy, Jun 1983 Ph.D., Dec 1987;

Present position • Department of Computer Science, University of Copenhagen, Denmark Associate Professor, since Mar 1993

Previous positions held • Department of Computer Science, University of Turku, Finland Deputy Mathematician (3 months) 1979-1980 Deputy Assistant (total 1 year 7 months) 1980-1981 Assistant (total 2 years 11 months) 1982-1986 Deputy Lecturer (total 1 year 3 months) 1980-1983 Deputy Associate Professor (6 months) 1984 Senior Lecturer (total 1 year 1 month) 1988-1991 Professor (4 months) 1999 Docent (11 years) 1993-2004 • Ministry of Education, Finland Ph.D. student (4 months) 1985 • Academy of Finland Junior Researcher (3 years) 1987-1989 Researcher in the project Parallel models of computation and parallel algorithms (6 months) 1992 • Department of Computer Science, University of Copenhagen, Denmark Deputy Associate Professor (total 1 year 2 months) 1991-1993 • Department of Computer Science, University of Joensuu, Finland Docent (12 years) 1992-2004 • Ministry of Education, Denmark Member of the national corps of external examiners in computing (5 years 9 months) 2002-2007

Research experience • Leader of the project Parallel models of computation and parallel algorithms funded by the Academy of Finland, Jan 1992-Dec 1993 • Participant in the project Computational algorithmics funded by the Danish Natural Science Research Council, Jan 1995-Dec 1997 • Participant in the project Experimental algorithmics funded by the Danish Natural Science Research Council, Jan 1998-Dec 2001 • Leader of the project Performance engineering funded by the Danish Natural Science Research Council, Jan 1999-Jan 2002 • Leader of the project Practical data structures and algorithms funded by the Danish Natural Science Research Council, Jan 2003-Feb 2006 • Leader of the project Generic programming|algorithms and tools funded by the Danish Natural Science Research Council, Jan 2006-Dec 2009

22 Grants received within last 3 years • 1.1.2006 - 31.12.2009, the Danish Natural Science Research Council, Generic programming - algorithms and tools, 300 000 DKK • 1.3.2009 - 1.3.2011, VELUX Foundation, VELUX professorship for Amr Elmasry (7-8 months), 290 000 DKK

Selected list of Publications 2004-present 10) Compressing spatio-temporal trajectories Joachim Gudmundsson, Jyrki Katajainen, Damian Merrick, Cahya Ong, and Thomas Wolle Computational Geometry—Theory and Applications 42,9 (2009), 825-841

9) Adaptable component frameworks: Using vector from the C++ standard library as an example Jyrki Katajainen and Bo Simonsen Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming, ACM (2009), 13-24

8) Two-tier relaxed heaps Amr Elmasry, Claus Jensen, and Jyrki Katajainen Acta Informatica 45,3 (2008), 193-210

7) Multipartite priority queues Amr Elmasry, Claus Jensen, and Jyrki Katajainen ACM Transactions on Algorithms 5,1 (2008), Article 14

6) Two new methods for constructing double-ended priority queues from priority queues Amr Elmasry, Claus Jensen, and Jyrki Katajainen Computing 83 (2008), 193-204

5) Stronger guarantees for standard-library containers Jyrki Katajainen Algorithm Engineering, Oberwolfach Report 25/2007, Mathematisches Forchungsinstitut Oberwolfach (2007), 31-35

4) Making operations on standard-library containers strongly exception safe Jyrki Katajainen Proceedings of the 3rd DIKU-IST Joint Workshop on Foundations of Software, Report 07/07, Department of Computer Science, University of Copenhagen (2007), 158-169

3) On the power of structural violations in priority queues Amr Elmasry, Claus Jensen, and Jyrki Katajainen Proceedings of the 13th Computing: The Australasian Theory Symposium, Conferences in Research and Practice in Information Technology 65, Australian Computer Society, Inc. (2007), 45-53

2) Reengineering a university department: Promoting the operational change of the computing department at the University of Copenhagen Christopher Derek Curry and Jyrki Katajainen International Edition, Jyrki Katajainen and Company (2006), xiv+210 pp.

1) Space-efficient planar convex hull algorithms Hervé Brönnimann, John Iacono, Jyrki Katajainen, Pat Morin, Jason Morrison, and Godfried Toussaint Theoretical Computer Science 321,1 (2004), 25-40

23 Brief curriculum vitae: Julia Lawall Personal data: DIKU, University of Copenhagen, Universitetsparken 1, 2100 Copenhagen Ø, Denmark. Tel. 45+ 35321405, fax 45+ 35321401 E-mail: [email protected], web: http://www.diku.dk/~julia Education: Ph.D. Indiana University, Bloomington, Indiana, USA, Computer Science Department, October 1994. Title: “Continuation Introduction and Elimination in Higher-Order Programming Languages”. M.S. Indiana University, Bloomington, Indiana, USA, Computer Science Department, May 1988. B.A. with Honors, Oberlin College, Oberlin, Ohio, USA, Department of Mathematics, January 1987. Employment: February 2000 - present: DIKU, University of Copenhagen, Copenhagen, Denmark: Lektor (Assoc. Prof.). November 2009 - October 2010: INRIA visiting professor, Paris. September 1998 - March 2000: Brandeis University, Waltham, Massachusetts, USA: Research Associate. September 1997-June 1998: Oberlin College, Oberlin, Ohio, USA: Visiting Assistant Professor. September 1995-August 1997: INRIA/IRISA, Rennes, France: Postdoc. January 1994-August 1995: Brandeis University, Waltham, Massachusetts, USA: Postdoc. Research areas: Programming languages, operating systems, program analysis and transformation. Awards and academic services: Awards: ACM SIGPLAN “Most Influential 1996 ICFP Paper,” with Harry Mairson. ASE 2008 “Distinguished paper, ” with Jesper Andersen. Journal editing: Associate editor of Higher-Order and Symbolic Computation, since March 2001. Member of the editorial board of Science of Computer Programming, since 2008. Guest editor of the Journal of Functional Programming, for a special issue based on ICFP06, and of Science of Computer Programming, for a special issue based on GPCE07. Steering committees: Vice chair/secretary of the IFIP working group on Program Generation (2.11), since 2004. Mem- ber of the steering committee of the International Conference on Generative Programming and Component Engineering (GPCE), since 2008. Member of the steering committee of the International Conference on Functional Programming (ICFP), 2002-2008. Member of the steering committee of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM), 1999-2005. Conference program committees since 2004: Program chair of the Sixth International ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE’07) and program chair of the 2006 ACM International Conference on Functional Programming (ICFP’06). Program committee member for Eurosys 2010, the International Conference on Compiler Construction (CC 2010), the 7th ASIAN Symposium on Programming Languages and Systems (APLAS 2009), the 2009 IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2009), the 8th International Conference on Generative Programming and Component Engineering (GPCE 2009), 2nd International Conference on Software Language Engineering (SLE 2009), 2009 IFIP Working Conference on Domain Specific Languages, Eurosys 2009, and 9 other international conferences with peer review. Invited talks: Approches Formelles dans l’Assistance au Developpement´ de Logiciel, Toulouse, 2009 Other: Representative of Denmark to the IFIP Technical Committee 2 (TC2), since 2009. Vice Chair and Secretary of the Nordic Chapter of Sigma Xi, since 2009. International relations: Recent collaborations with Gilles Muller (INRIA-Regal, France), Charles Consel (INRIA- Phoenix, France), Laurent Reveill´ ere` (LaBRI, France), Mamoun Filali (IRIT, France). Supervision: 1 PhD student in progress. 3 postdocs (12 months, 18 months, and 6 months) completed. 1 postdoc begun October 1, 2008 (24 months). Project management, since 2004: FTP Rammebevilling grant 2008-2010 (2.886.186 DKK, number 274-08-0214) in collaboration with Rene´ Rydhof Hansen of Aalborg University, FTP Rammebevilling grant 2006-2009 (3.112.090 DKK, number 274-05-0432), SNF Rammebevilling grant 2004-2006 in collaboration with Lektor Olivier Danvy of Aarhus University (150.000 DKK, number 21-03-0545), SNF Udenlandske post doc.s til Danmark September 2003-August 2004 on behalf of Dr. Anne-Françoise Le Meur (number 21-03-0052). Publications: 8 articles in international refereed journals, 38 articles in international refereed conferences, 13 articles in international refereed workshops, 2 book chapters, 0 patents.

24 Publication list – Julia Lawall – publications since 2004 Articles in international refereed journals [J1] C. Consel, J.L. Lawall, and A.-F. Le Meur. A tour of Tempo: a program specializer for the C language. Science of Computer Programming, 52(2004), 341–370, 2004.

Articles in international refereed conferences [C1] W. Maldonado, P. Marlier, P. Felber, A. Suissa, D. Hendler, A. Fedorova, J, Lawall, G. Muller. Scheduling Support for Transactional Memory Contention Management. 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, To appear, Bangalore, India, January, 2010. [C2] Y.-D. Bromberg, L. Reveillere, J. L. Lawall, G. Muller. Automatic Generation of Network Protocol Gateways . ACM/IFIP/USENIX 10th International Middleware Conference, To appear, Urbana Champaign, IL, USA, November, 2009. [C3] J. Lawall, J. Brunel, N. Palix, H. Stuart, R.R. Hansen, G. Muller. WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. The IEEE/IFIP International Conference on Dependeable Systems and Networks (DSN 2009), pages 43-52, Estoril, Portugal, July 2009. [C4] J. Brunel, D. Doliguez, R. R. Hansen, J. Lawall, G. Muller. A foundation for flow-based program matching using temporal logic and model checking. The 36th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, pages 114-126, Savannah, GA, USA, January, 2009. [C5] J. Mercadal, N. Palix, C. Consel, and J. Lawall. Pantaxou: a Domain-Specific Language for developing safe coordination services. Seventh International Conference on Generative Programming and Component Engineering (GPCE), pages 149-160, Nashville, TN, USA, October 2008. [C6] J. Andersen, J. L. Lawall. Generic patch inference. 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), pages 337-346, L’Aquila, Italy, September 2008. [C7] Y. Padioleau, J. Lawall, R.R. Hansen, G. Muller. Documenting and automating collateral evolutions in Linux device drivers. Proceedings of the ACM SIGOPS EuroSys 2008 Conference, pages 247–260, Glasgow, Scotland, March/April 2008. [C8] S. Bhatia, C. Consel, J. Lawall. Minimizing cache misses in an event-driven network server: A case study of TUX. The 31st IEEE Conference on Local Computer Networks (LCN), pages 47-54, Tampa, Florida, November 2006. [C9] Y. Padioleau, J.L. Lawall, and G. Muller. Understanding collateral evolution in Linux device drivers. Proceedings of the ACM SIGOPS EuroSys 2006 Conference, pages 59-71, Leuven, Belgium, April 2006.

Projects starting since November 1, 2006 • Improving the Security of Infrastructure Software. FTP Rammebevilling grant 2008-2010 (2.886.186 DKK, number 274-08-0214) in collaboration with Rene´ Rydhof Hansen of Aalborg University

25 Short CV for Torben Ægidius Mogensen Personal data Full name: Torben Ægidius Mogensen. Birth date: 290160. Address (work): DIKU, Universitetsparken 1, 2100 København Ø.

Email: [email protected].

Education Cand. Scient (M.Sc.) 1986 in Computer Science from the University of Copenhagen Lic. Scient (Ph.D.) 1989 in Computer Science from the University of Copenhagen

Key Research Topics Program analysis, program transformation, partial evaluation, program semi- inversion, programming language design and implementation (in particular domain- speciﬁc languages and declarative languages), lambda calculus.

Employment Time Place Employment 1984–1985 University of Copenhagen Student Programmer 1986–1989 University of Copenhagen Kandidatstipendiat (Ph.D. study grant) 1989–1990 University of Copenhagen Postdoc at ESPRIT BRA 3124 “Semantique” 1990–1994 University of Copenhagen Adjunkt (assistant professor) 1994– University of Copenhagen Lektor (associate professor)

Managerial activities 1999–2006 Member of Study Council for CS. 2000–2006 Vice-Director of Studies for CS. 2007– Director of Studies for CS. 2004, 2005, 2008 Member of accreditation committees in Estonia. 2008 Chairman of committee for evaluation of medal assignment Various Member and chairman of hiring comitees for associate and full professors. Various Member of program committees and reviewer for various conferences and journals.

Awards Teaching award from the Faculty of Natural Sciences 1998.

26 Teaching and supervision • One co-supervised Ph.D. • Supervision of numerous B.Sc. and M.Sc. theses and graduate projects. • Teaching of numerous B.Sc. and M.Sc. courses and at two Ph.D. summer- schools.

Current project participation APPL 2005–2009, total 1 MKr, Forskningsrådet for Natur og Univers. 3gERP 2006–2010, total 12,8 MKr, Højteknologifonden. MicroPower 2009–2012, total 8,3 MKr, Forskningsrådet for Strategiske Væk- stmidler.

Publications Peer reviewed journal papers: 8 Peer reviewed conference papers: 24 Books: 1 Book chapters: 3 Editing: 2 co-edited books Other: many workshop papers, popular articles, etc.

Recent publications: [1] T. Æ. Mogensen, Semi-Inversion of Guarded Equations, GPCE’05, Springer LNCS 3676, 189-205, 2005. [2] T. Æ. Mogensen, Report on an Implementation of a Semi-Inverter, PSI’06, Springer LNCS 4378, 322-334, 2006. [3] T. Æ. Mogensen, Basics of Compiler Design, Lulu.com, 2007 [4] T. Æ. Mogensen, Semi-Inversion of Functional Parameters, ACM Sigplan PEPM’08, 21–29, 2008. [5] T. Æ. Mogensen, Relating the Krivine Abstract Machine to the Three Instruction Machine and the Call-By-Name CPS Transformation, Journal of Higher-Order and Symbolic Computation, accepted for publication. [6] T. Æ. Mogensen, Basics of Compiler Design, extended edition, Lulu.com, 2009. [7] T. Æ. Mogensen, Troll, a Language for Describing Dice-Rolls, ACM SOC’09, Programing languages track, 2009. [8] T. Æ. Mogensen, Planet Map Generation by Tetrahdral Subdivision, Per- spectives of System Informatics 2009, to appear in Springer LNCS in 2009.

27 PAWEL WINTER - CURRICULUM VITAE

Dept. of Computer Science Hesseløgade 7, 1tv Univ. of Copenhagen DK-2100 Copenhagen Ø Universitetsparken 1 DK-2100 Copenhagen Ø +45-39 27 36 72 +45-35 32 14 27

PROFESSIONAL EXPERIENCE

• 1989-today: Associate Professor, Univ. of Copenhagen, Denmark. • 1995: Visiting Professor, Univ. of Waterloo, Ontario, Canada. • 1994-1995: Visiting Professor, Rutgers Univ., NJ., U.S.A. • 1990: Visiting Professor, Univ. of Melbourne, Australia. • 1986-1989: Assistant Professor, Univ. of Copenhagen, Denmark. • 1984-1986: Research Associate, Risø National Laboratory, Denmark. • 1982-1984: Research Assistant, Univ. of Copenhagen, Denmark. • 1981-1982: System Analyst, SAS, Copenhagen, Denmark.

EDUCATION

• 1986 Ph.D. in Computer Science, Univ. of Copenhagen, Denmark.

ADMINISTRATIVE POSITIONS

• 1999-:2002 Member of the Board of Educational Affairs at Dept. of Computer Science, Univ. of Copenhagen, Denmark. • 1997-1999 Member of the University of Copenhagen Coordinating Committee on Use of IT in Teaching. • 1997-: Member of IFIP Working Group 7.4 (Discrete Optimization) • 1996-2000: Chairman of the Board of Educational Affairs (Studieleder) at Dept. of Computer Science, Univ. of Copenhagen, Denmark. • 1993-1994: Member of the Board of Educational Affairs at Dept. of Computer Science, Univ. of Copenhagen, Denmark.

OTHER

• Evaluated as qualiﬁed for the position of full professor at the Dept. of Com- puter Science, Univ. of Copenhagen in 1999.

28 CURRENT RESEARCH INTERESTS

COMPUTATIONAL BIOLOGY: Use of combinatorial optimization in connection with various problems of molecular biology. In particular, phylogentic trees and protein structure prediction. COMPUTATIONAL GEOMETRY: Use of geometric concepts in the design of networks. In particular, in connection with the Steiner tree problem with and without obstacles. NETWORK DESIGN: Mathematical programming and combinatorial optimization methods applicable to the design of networks (e.g., energy supply or data communication networks) which fulﬁl certain purposes and are in one way or another optimal or eﬃcient.

RESEARCH FUNDING

• Dkr, 618.750 from Forsknings- og Innovationsstyrelsen, co-financed Ph.D. scholarship (FIRST Research School) (2009-2011). • Dkr. 450.000 from Danish Research Council for the project ”Applications of Network Design to Molecular Biology”, 2004-2007. (extended to medio 2009). • Dkr. 464.000 from Danish Research Council for the project ”Topological Net- work Design with Applications to Communication Systems and VLSI-Design”, 2001-2003. • Skr. 50.000 from Øresunds University for the development of Computational Biology course 2000 (with A. Lingas, Lund University). • Dkr. 624.000 from Danish Research Council for the project ”Experimental Al- gorithmics 1998-2000” (joint application of the Algorithmics and Optimization group) • Dkr. 1.081.500 from Danish Research Council for the project ”Computational Algorithmics 1995-1997” (joint application of the Algorithmics and Optimiza- tion group) • Dkr. 78.620 from Danish Research Council in connection with the project “Topological Network Design and Computational Geometry” at Rutgers Uni- versity and University of Waterloo (1994-1995). • $34.000 from NATO for sponsorship of the Advanced Research Workshop, entitled ”Topological Network Design: Analysis and Synthesis” Schæfferg˚arden, Gentofte, Denmark, June 19-23, 1989. • Dkr. 40.000 from Danish Research Council for the sponsorship of the Ad- vanced Research Workshop, entitled ”Topological Network Design: Analysis and Synthesis” Schæfferg˚arden,Gentofte, Denmark, June 19-23, 1989. • Dkr. 40.000 from Danish Research Council for the project entitled ”Kontrol- strategier i videnbaserede systemer” (1987).

29 10 SELECTED PUBLICATIONS

1. ”A novel approach to phylogenetic trees: d-dimensional geometric Steiner trees”, Networks 53 (2009) 104-111 (with M. Brazil, D. Thomas, B.K. Nielsen and M. Zachariasen). 2. ”Alpha Shapes and Proteins”, Proc. of the 6-th Int. Symp. on Voronoi Dia- grams in Science and Engineering, ISVD’09 (2009) 217-224 (with H. Sterner and P. Sterner). 3. ”Protein Structure Prediction Using Bee Colony Optimization Metaheuris- tics, accepted for publication in J. of Math. Modelling and Algorithms (2009) (with R. Fonseca and M. Paluszewski). (2008) (with R. Hansen and M. Paluszewski). 4. ”Protein Decoy Generation using Branch and Bound with Eﬃcient Bound- ing”, Proc. of the 8-th Int. Workshop on Algorithms in Bioinformatics, WABI’08, LNBI 5251 (2008) 382-393 (with M. Paluszewski). 5. “Bounding Component Sizes of Two-Connected Steiner Networks”, Informa- tion Processing Letters 104 (2007) 159-163, (K.L. Hvam, L.B. Reinhardt, M. Zachariasen). 6. ”Reconstructing protein structure from solvent exposure using tabu search” (2006), Algorithms for Molecular Biology 1:20 (with M. Paluszewski and T. Hamelryck). 7. ”Flexibility of Steiner trees in uniform orientation metrics”, Networks 46 (2005) 142-153 (with M. Brazil and M. Zachariasen). 8. ”Touring vertices of a 2-dimensional closed convex channel”, Information Processing Letters 95 (2005) 370-375 (with J. Abrahamson and A. Shok- oufandeh). 9. ”Two-connected Steiner networks: structural properties”, OR Letters 33 (2005) 395-402 (with M. Zachariasen). (with M. Brazil, D.A. Thomas, J.F. Weng, M. Zachariasen). 10. ”A New Paradigm for General Architecture Routing”, Proc. of the 14th ACM Great Lakes Symposium on VLSI (2004) 202-207 (with M. Paluszewski and M. Zachariasen).

PERSONAL

• Born in Warsaw, Poland, on November 15, 1952, Living in Denmark since 1969. Danish citizen since 1975. Married.

30 Curriculum Vitae Martin Zachariasen August 12, 2009 General information

Name: Martin Zachariasen Date of birth: July 19, 1967 Home address: Nicolai Eigtveds Gade 34, 2tv, 1402 København K Work address: Universitetsparken 1, 2100 København Ø E-mail: [email protected] Position: Head of Department, DIKU, University of Copenhagen

Education

1984–1986 Grammar school (the science side), Thorshavn, Faroe Islands. 1986–1989 Bachelor in Computer Science, University of the Faroe Islands. 1991–1993 Bachelor in Mathematics, University of Copenhagen. 1991–1995 Master in Computer Science, University of Copenhagen. 1995–1998 Ph.D. in Computer Science, University of Copenhagen.

Employment

1989–1991 Systems administrator at The Fisheries Laboratory, Faroe Islands 1995–1998 Ph.D. Student at DIKU, University of Copenhagen. 1998–1999 Post-Doc at DIKU, University of Copenhagen. 1999–2001 Assistant Professor at DIKU, University of Copenhagen. 2001–2008 Associate Professor at DIKU, University of Copenhagen. 2008– Head of Department, DIKU, University of Copenhagen.

Research Activities September 1996 – April 1997: Long-term visit at the Combinatorial Optimization Group, Eindhoven University of Technology, Holland. November 1999 – May 2000: Long-term visit at Forschungsinstitut fur¨ Diskrete Mathematik, Bonn, Germany. January– February 2002, January 2005 and January–February 2007: Short-term visits (by invitation) at University of Melbourne, Australia. Local organizing committee member, 18th International Symposium on Mathematical Programming, 2003. Program committee member, EURO XXI, 2006. Research projects (partner):

• “Topological Network Design with Applications to Communication Systems and VLSI-Design”, SNF-funded project, 2001–2004, DKK 300.000. • “Applications of Network Design in Computational Biology”, SNF-funded project, 2004–2007, DKK 450.000.

Students Master students 2004–2009: 16. Ph.D. students 2004–2009: 3.

31 Martin Zachariasen - Selected Publications 2004–2009

[1] M. Paluszewski, P. Winter, and M. Zachariasen. A New Paradigm for General Architecture Routing. In Proceedings of the 14th ACM Great Lakes symposium on VLSI (GLSVLSI), pages 202–207, 2004. [2] S. Peyer, M. Zachariasen, and D. G. Jørgensen. Delay-related Secondary Objectives for Rectilinear Steiner Minimum Trees. Discrete Applied Mathematics, 136:271–298, 2004. [3] M. Sigurd and M. Zachariasen. Construction of Minimum-Weight Spanners. In Proceedings of the 12th European Sympo- sium on Algorithms, Lecture Notes in Computer Science 3221, pages 797–808, 2004. [4] M. Brazil, P. Winter, and M. Zachariasen. Flexibility of Steiner Trees in Uniform Orientation Metrics. In Proceedings of the 15th International Symposium on Algorithms and Computation (ISAAC), Lecture Notes in Computer Science 3341, pages 196–208, 2004. [5] M. Brazil, P. Winter, and M. Zachariasen. Flexibility of Steiner Trees in Uniform Orientation Metrics. Networks, 46:142– 153, 2005. [6] M. Brazil, D. A. Thomas, J. F. Weng, and M. Zachariasen. Canonical Forms and Algorithms for Steiner Trees in Uniform Orientation Metrics. Algorithmica, 44:281–300, 2006. [7] G. Rote and M. Zachariasen. Matrix Scaling by Network Flow. In Proceedings of the ACM-SIAM Symposium on Discrete Algorithms, pages 848–854, 2007. [8] L. F. Muller and M. Zachariasen. Fast and Compact Oracles for Approximate Distances in Planar Graphs. In Proceedings of the 15th European Symposium on Algorithms, Lecture Notes in Computer Science 4698, pages 657–668, 2007. [9] M. Brazil and M. Zachariasen. Steiner Trees for Fixed Orientation Metrics. Journal of Global Optimization, 43:141–169, 2009. [10] S. Maier, P. Zachariassen, and M. Zachariasen. Divisor-Based Biproportional Apportionment in Electoral Systems: A Real-Life Benchmark Study. Management Science, to appear.

32 Annex II: Curriculum Vitae of Permanent Faculty Members of Image Group

Mads Nielsen, Professor (Head of Group) Philippe Bonnet, Associate Professor Marleen de Bruijne, Associate Professor Kenny Erleben, Assistant Professor Klaus Hansen, Associate Professor Knud Henriksen, Associate Professor Francois Lauze, Associate Professor Søren Olsen, Associate Professor Kim Steenstrup Pedersen, Associate Professor Jon Sporring, Associate Professor Brian Vinter, Professor

Curriculum Vitae of Mads Nielsen

Personal data Mads Nielsen, Birth: 24 October, 1965, Aarhus, Denmark, Danish citizen.

Most important occupations January 2007 - ? Professor at Department of Computer Science, University of Copenhagen June 2002 - December 2006 Professor at IT University of Copenhagen April 1999 - May 2002 Associate Professor at IT University of Copenhagen February 1997 - March 1999 Assist. Research Professor at 3D Lab, School of Dentistry, University of Copenhagen December 1995 - January 1997 Postdoc at University of Copenhagen July 1995 - November 1995 Postdoc at Utrecht University August 1993 - August 1994 International PhD studies at INRIA, Sophia-Antipolis August 1992 - February 1995 PhD student at DIKU funded by STVF

Education April 1995 PhD from Department of Computer Science, University of Copenhagen August 1992 MSc in Computer Science, University of Copenhagen June 1989 BSc in Physics and Computer Science, University of Copenhagen

Most important offices Member of the Swedish Research Council's Computer Science Committee since 2006 General Chair of MICCAI 2006, Copenhagen, Denmark Co-chair of 7th ECCV, Copenhagen, Denmark, May 2002 General Chair of 2nd International Scale Space Conference, Corfu, Greece, 1999

Some scientific journal editorships January 2004 - ? Editorial board of International Journal of Computer Vision April 1999 - ? Editorial board of Journal of Mathematical Imaging and Vision PhD supervision Head of PhD Board of Studies at the IT University of Copenhagen from 2001 to 2006 and PhD Coordinator at Department of Computer Science, University of Copenhagen since 2007. Has graduated 7 PhDs as main supervisor in 2003 to 2005. Is currently supervising 8 PhD students. Member of PhD evaluation committees in the Netherlands, Germany, Sweden and Denmark. Founding member of the board of the PhD school ”Copenhagen Image and Signal Processing School” (CISP).

Research management PI on several research projects including projects funded by the Danish Research Agency and projects funded by industry Coordinator of EU project under FP5 Head of Image Group, IT University of Copenhagen (1 Professor, 1 Ass. Professor, 6 Assist. Professors, 8 PhD students, 1 Programmer) Head of Image Group, Department of Computer Science, University of Copenhagen (2 Professors, 6 Assoc. Professors, 1 Assist. Prof, 19 PhD students, 2 Post Docs, 2 Research Assistants)

Publications 92 peer-reviewed papers in international journals and conferences. Author of 8 patent applications.

Grants received in the period 2007-2009 IDE – Imaging-Driven Etiology (2007-2010), Principal Investigator. Funding: Nordic Bioscience A/S, DKK 3 245 700 Automated Data Mining for Inference of Imaging Biomarkers (2008-2011), Principal Investigator. Funding: Danish Research Foundation and Nordic Bioscience A/S, DKK 7 963 000 LImB – Learning Imaging Biomarkers (2008-2012), Principal Investigator. Funding: Danish Council for Strategic Research, DKK 7 975 000 Distributed Video Coding and Processing (2009-2012), Co-applicant. Funding: Danish Council for Independent Research, DKK 2 438 240

List of selected publications 2005-2009 Journal Articles • Marleen de Bruijne, Michael Lund, Laszlo Tankó, Paola Pettersen and Mads Nielsen. Quantitative vertebral morphometry using neighbour-conditional shape models. Medical Image Analysis, 2007 • Anne Cuzol, Kim Steenstrup Pedersen and Mads Nielsen. Field of particle filters for image inpainting. Journal of Mathematical Imaging and Vision, 2008 • A. Ghosh ; de Bruijne, Marleen ; P. C. Pettersen, M. A. Karsdal, D. J. Leeming, C. Christiansen, Nielsen, Mads. A Computer-based Measure Using Normalized Heights Predicts Vertebral Fracture Independent of BMD in Post-menopausal Women . Journal of Bone and Mineral Research. Sept. 23. suppl. 2008. • Keller, Sune Høgild ; Lauze, Francois Bernard ; Nielsen, Mads. Deinterlacing Using Variational Methods. IEEE Transactions on Image Processing. vol. 17, nr. 11, pp. 2015-2028 November 2008 • Arjan Kuijper, Ole Fogh Olsen, Mads Nielsen and Peter Giblin. Alternative 2D Shape Representations using the Symmetry Set. Journal of Mathematical Imaging and Vision, 2006 • Lauze, Francois Bernard ; Nielsen, Mads. From Inpainting to Active Contours. International Journal of Computer Vision. vol. 79, nr. 1, August. s. 31-43. 2008 • Mads Nielsen, Peter Johansen, Andrew Jackson, Benny Lautrup and Søren Hauberg. Brownian warps for non-rigid registration. Journal of Mathematical Imaging and Vision, 2008 • Nielsen, Mads ; Raundahl, Jakob ; Pettersen, Paola ; Loog, Marco ; Karemore, Gopal Raghunath ; Karsdal, Morten ; Christiansen, Claus. Low dose transdermal estradiol induces breast density and heterogeneity changes comparable to those of raloxifene. Menopause. 2009 • Ole Fogh Olsen and Mads Nielsen. The Generic Structure of the Optic Flow Field. Journal of Mathematical Imaging and Vision, 2005 • Pettersen, Paola ; Raundahl, Jakob ; Loog, Marco ; Nielsen, Mads ; Tankó, L. B. ; Christiansen, C. Parallel Assessment of the Impact of Different Hormone Replacement Therapies on Breast Density by Radiologist- and Computer-Based Analyses of Mammograms. Climacteric. vol. 11, nr. 2, 01/04/08. s. 135-143. 2008 • Arish Qazi, Erik Dam, Mads Nielsen, Morten Karsdal and Claus Christiansen. Osteoarthritic cartilage is more homogeneous than healthy cartilage - Identification of a superior ROI co-localised with a major risk factor for osteoarthritis. Academic Radiology, 2007 • Raundahl, Jakob ; Loog, Marco ; Pettersen, Paola ; Tankó, Lazlo B. ; Nielsen, Mads. Automated effect-specific mammographic pattern measures. IEEE Transactions on Medical Imaging. vol. 27, nr. 8, pp 1054-1060, 2008

35 Philippe Bonnet

2009- Associate professor at IT University of Copenhagen. 2004- Associate editor for ACM Transactions on Sensor Networks and the International Journal of Distributed Sensor Networks. 2003-2009 Associate Professor at University of Copenhagen (DIKU) – on leave 2001-2003 Assistant Professor at University of Copenhagen (DIKU) 1999-2001 Research Associate at Cornell University, USA 1999 PhD from U.Savoie, France with distinctions (felicitations du jury) 1996-1999 Research Engineer at GIE Dyade (Bull/INRIA), Grenoble, France 1993-1996 Research Engineer at the European Computer-Industry Research Center (ECRC), Munich, Germany 1994 MSc (DEA) from INSA Lyon, France with distinctions (major, mention B) 1993 Engineering Degree from INSA Lyon, France with distinctions (felicitations du jury)

Philippe's background is in the area of data management. Philippe was in charge of DIKU collaboration with MySQL AB and the Gelato Federation in the context of the Badger project funded by the Danish research agency (2003-2005). Philippe is co-author of a reference book on database tuning together with Dennis Shasha from NYU. Philippe has worked in the area of sensor networks since 1999 where he was in charge of Cornell’s contribution to the 1st DARPA program in the area (SensIT). Philippe is managing the MANA project, funded by the strategic research council (Nabiit). The goal of the MANA project is to deploy an autonomous experimentation platform based on sensor networks for lake monitoring at the Zackenberg station in North-West Greenland. Philippe was in charge of DIKU’s contribution to the Hogthrob project funded by the Danish Research Agency (2004-2007) and to the EU CA on sensor networks Wisent (2004-2006) as well as the Network of Excellence CRUISE in the area of sensor networks. Philippe is chair of the steering committee for the ACM International Conference on Embedded Networked Systems. Grants received 2007-2009 MANA – Monitoring remote environments with Autonomous, reliable sensor Network based data Acquisition systems. Partners: Department of Computer Science, University of Copenhagen (PI), Department of Biology, University of Copenhagen, Dan-system ApS, Reykjavik University, ArchRock. Funding from Danish Council for Strategic Research, DKK 3 401 500

Selected Publications Dennis Shasha and Philippe Bonnet. Database Tuning. In Database Encyclopedia. Springer Verlag. 2009. Marcus Chang, Andreas Terzis, Philippe Bonnet. Mote-Based Online Anomaly Detection Using Echo State Networks. DCOSS 2009 Luc Bouganim, Bjorn Jonsson, Philippe Bonnet. uFlip: Understanding Flash IO Patterns. CIDR 2009. (best paper award) Marcus Chang, Cecile Cornou, Klaus Madsen, Philippe Bonnet: Lessons from the Hogthrob Deployments. WiDeploy 2008. Martin Leopold, Marcus Chang, Philippe Bonnet. Characterizing Mote Performance: A Vector- Based Methodology. International Conference on 5th European Conference, EWSN 2008. Christoffer Hall, Philippe Bonnet: Getting Priorities Straight: Improving Linux Support for Database I/O. VLDB 2005

36 Boris Jan Bonfils, Philippe Bonnet: Adaptive and Decentralized Operator Placement for In- Network Query Processing. Telecommunication Systems 26(2-4): 389-409, 2004. Database Tuning: Principles, Experiments and Troubleshooting Techniques. Dennis Shasha and Philippe Bonnet. Morgan Kaufmann 2002.

37 Marleen de Bruijne Date of Birth: 3 September 1972 Nationality: Dutch Academic background March 1998 — June 2003: PhD in medical image analysis Institute of Information and Computing Sciences, Utrecht University, The Netherlands September 1990 — January 1997: MSc in physics, Utrecht University, The Netherlands Propaedeutic exams in Physics (1992) and in Astronomy (1992)

Employment January 2007 — Present: Associate professor (tenured) at the Department of Computer Science, Uni- versity of Copenhagen, Denmark April 2007 — Present: Assistant professor (tenured) at the Departments of Medical Informatics and Radiology of Erasmus MC Rotterdam, The Netherlands January 2007 — June 2008: Research Scientist at Nordic Bioscience A/S, Herlev, Denmark August 2003 — December 2006: IT University of Copenhagen, Denmark. Assistant professor until September 2006, then Associate professor April 2003 — June 2003: Research associate at the Division of Vascular Surgery, University Medical Center Utrecht, Utrecht, The Netherlands

Current and recent teaching and supervision Main supervisor of three PhD students at University of Copenhagen. Expected graduation 2010. Co-supervisor of three PhD students at Erasmus MC Rotterdam and three PhD students at (IT)University of Copenhagen. Expected graduation dates 2010 (1), 2011(3), and 2013(1). One student graduated 2006. (Co-)supervisor of several MSc student projects in image analysis and pattern recognition, 28 students Lecturer on several PhD courses on Medical Image Analysis, Shape Modeling, and Pattern Recognition in Denmark, China, and The Netherlands

Professional activities

Program Committee member of over 20 international conferences and workshops, a.o. SPIE Medi- cal Imaging 2008-2010, ICISP 2010, ICPR 2008, VISAPP 2008-2010, MICCAI 2006-2007, IEEE MMBIA 2006-2007, International conference on CT screening for lung cancer 2010 Associate editor for journals Image and Vision Computing 2008-2009 and Medical Physics 2005-2009 Committee member of Open Competition Natural Sciences, Netherlands Organisation for Scientiﬁc Research (NWO) 2008, 2009; Reviewer for several European Research Councils Reviewer for over 50 international journals, conferences, and workshops, a.o. IEEE Trans Med Imaging, Medical Image Analysis, IEEE Trans Pattern Anal Mach Intell, IEEE Trans Inf Technol Biomed, IEEE Trans Biomed Eng, Acad Radiol, Med Phys, J Math Imaging Vis, MICCAI, IPMI, ISBI, CVPR, ICPR, ICCV Publications I have (co-) authored over 50 peer reviewed publications in international journals and conferences (abstracts excluded) and am inventor on 14 patent applications, of which to date 2 have been granted. A list of ten selected recent publications is attached.

38 Recent grants of M. de Bruijne

April 2007 — September 2011 Robust Multi-Object Segmentation Principal Investigator Project carried out at Erasmus Medical Center Rotterdam, The Netherlands, in collaboration with the University of Copenhagen, Denmark VENI grant of the Innovational Research Incentives Scheme, funded by the Nether- lands Organization for Scientiﬁc Research (NWO) with university co-ﬁnancing (1,560,000 DKK of which 1,055,000 DKK from NWO)

September 2006 — May 2010 Computer-Aided Assessment of COPD from CT Images Principal Investigator Funded by the Danish government through the strategic research council for nano-, bio- and information technologies (NABIIT), with industrial and university co-ﬁnancing Collaboration between University of Copenhagen and Astra Zeneca R&D, Lund (16,808,085 DKK of which 7,230,528 DKK from NABIIT)

39 Selected recent publications of M. de Bruijne

M. de Bruijne, M.T. Lund, L.B. Tanko,´ P.C. Pettersen, and M. Nielsen, “Quantitative vertebral morphometry using neighbor-conditional shape models,”Medical Image Analysis 11(5), pp. 503–512, 2007.

J.E. Iglesias and M. de Bruijne, “Semi-automatic segmentation of vertebrae in lateral X-rays using a conditional shape model,”Academic Radiology 14(10), pp. 1156–1165, 2007.

P.C. Pettersen, M. de Bruijne, J. Chen, Q. He, C. Christiansen, and L.B. Tanko,´ “A computer- based measure of irregularity in vertebral alignment is a BMD-independent predictor of fracture risk in postmenopausal women,”Osteoporosis International 18(11), 2007.

V. Gorbunova, P. Lo, H. Ashraf, A. Dirksen, M. Nielsen, and M. de Bruijne, “Weight preserving image registration for monitoring disease progression in lung CT,” in Medical Image Computing & Computer-Assisted Intervention, D. Metaxas, L. Axel, G. Fichtinger, and G. Szekely,´ eds., Lecture Notes in Computer Science, Springer, 2008.

F. van der Lijn, M. de Bruijne, Y.Y. Hoogendam, S. Klein, R. Hameeteman, M. Breteler, and W. Niessen, “Cerebellum segmentation in MRI using atlas registration and local multi-scale image descriptors,” in IEEE International Symposium on Biomedical Imag- ing: Macro to Nano (ISBI'09), pp. 221–224, 2009.

P. Lo, J. Sporring, J.H. Pedersen, and M. de Bruijne, “Airway tree extraction with locally optimal paths,” in Medical Image Computing & Computer-Assisted Intervention, D. Hawkes, D. Rueckert, and G. Yang, eds., Lecture Notes in Computer Science, Springer, 2009.

M. Loog and M. de Bruijne, “Discriminative shape alignment,” in Information Processing in Medical Imaging, Jerry L. Prince, Dzung L. Pham, and Kyle J. Myers, eds., Lecture Notes in Computer Science, Springer, 2009.

L. Sørensen, Pechin Lo, H. Ashraf, J. Sporring, M. Nielsen, and M. de Bruijne, “Learning COPD sensitive ﬁlters in pulmonary CT,” in Medical Image Computing & Computer- Assisted Intervention, D. Hawkes, D. Rueckert, and G. Yang, eds., Lecture Notes in Computer Science, Springer, 2009.

M. Loeve, M.H. Lequin, M. de Bruijne, I.J.C. Hartmann, K. Gerbrands, M. van Straten, W.C.J. Hop, and H.A.W.M. Tiddens, “Cystic ﬁbrosis: Are volumetric ultra-low-dose expi- ratory CT scans sufﬁcient for monitoring related lung disease?,”Radiology 253, pp. 223– 229, Aug 2009.

L. Sørensen, S. Shaker, and M. de Bruijne, “Quantitative analysis of pulmonary emphysema using local binary patterns,”IEEE Transactions on Medical Imaging , 2009. Accepted pending minor revisions.

40 Short Curriculum Vitae

KENNY ERLEBEN October 2009

Kenny Erleben: After his completion of master in Computer Science, Erleben was employed as full time researcher in 3DFacto A/S for a period of 10 months. In 2001 Erleben started on his PhD studies. During 2004 Erleben stayed 3 months at the Depart- ment of Mathematics, University of Iowa. Hereafter he received his PhD degree in the beginning of 2005 and ﬁnally late 2005 Erleben was employed as an Assistant Professor at the Department of Computer Science, University of Copenhagen. In 2008 Erleben received a NVIDIA professor partnership and was appointed Innovation Ambassador at the Faculty of Science in 2007. In June 2008 Erleben became a member of the international program committee for the Virtual Reality and Interactive Physical Simulation conference. Erleben has been the chairman of the OpenTissue open source project since 2007, and one of the people who started the project in late 2001. OpenTissue is the largest and oldest open source project in the area of Physics-Based Animation. In 2009 Erleben was employed as an Associative Professor.

A total of 44 publications: 7 Journal Papers, 4 Books, Spe- ciale Issues, Theses, 20 Conference Papers, and 13 Technical Reports, etc. Co-supervised two PhD students.

Research Interests: creating mathematical models of nonlin- ear non smooth physical phenomena and discover eﬃcient methods that can compute solutions at interactive rates.

Topics: multibody and robot dynamics, inverse kinematics, and mathematical programming, constrained optimization, non-linear complementarity problems.

41 10 Selected Publications by Kenny Erleben

Journal Articles

• Kenny Erleben. Maximal independent set graph partitions for representations of body- centered cubic lattices. The Visual Computer, 2009. • Kenny Erleben. Velocity-based shock propagation for multibody dynamics animation. ACM Trans. Graph, 26(2), June 2007. • Kenny Erleben, Henrik Dohlmann, and Jon Sporring. The adaptive thin shell tetrahedral mesh. Journal of WSCG, pages 17-24, 2005.

(Edited) Books, Proceedings, Journals, and Ph.D. theses

• Kenny Erleben, Jon Sporring, Knud Henriksen, and Henrik Dohlmann. Physics-based Animation. Charles River Media, August 2005.

Refereed Conference Articles and Book Contributions

• Søren Hauberg, Jerome Lapuyade, Morten Engell-Nørregård, Kenny Erleben, and Kim Steenstrup Pedersen. Three dimensional monocular human motion analysis in end-effector space. In Daniel Cremers et al., editors, Energy Minimization Methods in Computer Vision and Pattern Recognition, Lecture Notes in Computer Science, pages 235-248. Springer, August 2009. • Marek Krzysztof Misztal, Jakob Andreas Bærentzen, Franc cois Anton, and Kenny Erleben. Tetrahedral mesh improvement using multi-face retriangulation. In 18th International Meshing Roundtable, 2009. • Kenny Erleben and Ricardo Ortiz. A non-smooth newton method for multibody dynamics. In proceedings of ICNAAM 2006. International conference on numerical analysis and applied mathematics 2006. • Kenny Erleben. Volumetric shells using path tracing. In Proceedings of Computer Graphics International, June 2008.. • Lars Schjøth, Jeppe R. Frisvad, Kenny Erleben, and Jon Sporring. Photon differentials. In Proceedings of GRAPHITE 2007, dec 2007. • Kenny Erleben and Henrik Dohlmann. Robust signed distance fields using tetrahedra GPU scan conversion. In GPU Gems 3. Addison-Wesley Professional, 2007.

42 Kort CV

Klaus Hansen 29. oktober 2009

Uddannelse 1966 Studentereksamen fra Virum Statsskole 1975 Kandidateksamen fra Københavns Universitet i datalogi og matematik 2006 To kurser for tillidsrepræsentanter i personalepolitik og forhandlingstræning

Ansættelser 1969-1970 Operatør ved Matematisk Instituts GIER- maskiner (amanuensisvikar, halv tid) 1970-1973 Instruktor (øvelseslærer) ved kurset Datalogi 1 (materiel-delen) 1973-1980 Fuldtidsansættelse p˚aRegnecentralen og Regnecentralen af 1979 som systemprogrammør, -udvikler og -arkitekt . 1979-1980 Undervisningsassistent ved Datalogisk Institut i datakommunikation 1980-1984 Adjunkt ved Datalogisk Institut 1984- Lektor ved Datalogisk Institut 2006- Ekstern lektor ved EBUSS-uddannelsen p˚aITU/Copenhagen Business School

Faglig aktiviteter - kort uddrag • 1982-2007: Dansk Standardiseringsr˚ad(for DIKU), i hovedudvalget s142, underudvalg u21 (for ˚abnenetværk), arbejdsgrupperne for arkitektur, for OSI øvre lag (formand), og for ”The directory”. • 1990–1991: Medlem af Dansk COSINE Policy Group • 1994–1996 Bestyrelsesmedlem i Euromath Centeret • 2000–2009 Koordinator for og initiativtager til ca. 10 tekniske kurser p˚aEBUSS • 2003-2008: Open Source OCES-koordinationsgruppen i Videnskabsministeriet, IT- og Te- lestyrelsen • 2006: Medlem af et ad hoc-studienævn, der skal lave studieordning for kandidatuddannelsen i it og kognition • 2006–2007: Videnskabsministeriets it-sikkerhedspanel (udpeget af Rektorkollegiet) • 2007–2009 Formand for LISU-NAT, Naturvidenskabelige Fakultets Informationssikkerheds- udvalg, og dermed leder af informationssikkerhedsorganisationen

43 Publikationer 2004-2009

• Klaus Hansen: X.509 terminologi p˚adansk (Dansk Standard informationsblad marts 2005) • Flemming Rud & Klaus Hansen “IT-Branchens biometriordbog” (IT-branchen juni 2006) • K. Hansen (ed.) ”it-lex”udgivet januar 2007 som Wiki p˚amediehuset Ingeniørens nye websted ”Version 2” (http://www.version2.dk/leksikon/Forside) • Ture R. Nielsen, Peter Drewsen & Klaus Hansen: Solving Jigsaw Puzzles using Image Fea- tures (Pattern Recognition Letters 29 (2008), pp. 1924-1933) • Klaus Hansen, Troels Larsen & Kim Olsen: On the Eﬃciency of Fast RSA Variants in Moderne Mobile Phones (Indsendt august 2009 til Financial Cryptography and Data Security January 2010)

Bevillinger 2007-2009

Intet.

44 Curriculum Vitae

Knud Henriksen

Personal Data Name: Knud Henriksen Born: June 13, 1952 Nykøbing Falster Denmark.

Education Realeksamen from Østre Skole, Fromsgade 27-29, DK-4800 Nykøbing Falster, Denmark, June, 1969. Teknikum Aspirant from Teknisk Skole, Nørrevold 41, DK-4900 Nakskov, Denmark, September, 1971. Elektroingeniør (Electrical Engineer) in Electronics from Odense Teknikum, Niels Bohrs All´e1, DK-5000 Odense, Denmark, September, 1975. Cand. Scient. (M.Sc.) in Mathematics and Computer Science from Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen Ø, Denmark, October, 1986. Lic. Scient. (Ph.D.) in Computer Science from Department of Computer Science, University of Copen- hagen, Universitetsparken 1, DK-2100 Copenhagen Ø, Denmark, September, 1990.

Professional Experience Jun, 1977—Aug, 1984 Systems programmer, SC METRIC A/S, Skotsborgvej 315, DK-2850 Nærum, Denmark. Sep, 1984—Aug, 1986 Research Assistant under supervision of Professor Ruzena Bajcsy, GRASP1 laboratory, Department of Computer and Information Science, The Moore School of Engineer- ing and Applied Science, University of Pennsylvania, Philadelphia, Pa. 19104, U.S.A. Oct, 1986—Dec, 1989 Research Assistant under supervision of Professor Peter Johansen and Assistant Professor Jens Arnspang, Department of Computer Science, University of Copen- hagen, Universitestparken 1, DK-2100 Copenhagen Ø, Denmark. Jan, 1990—Jun, 1990 Substitute Assistant Professor, Department of Computer Science, University of Copen- hagen, Universitestparken 1, DK-2100 Copenhagen Ø, Denmark. Jul, 1990—Oct, 1994 Assistant Professor, Department of Computer Science, University of Copen- hagen, Universitestparken 1, DK-2100 Copenhagen Ø, Denmark. Nov, 1994—present Associate Professor, Department of Computer Science, University of Copen- hagen, Universitestparken 1, DK-2100 Copenhagen Ø, Denmark.

1GRASP is an acronym for General Robotics and Active Sensory Perception.

1 45 Curriculum Vitae

Full name: François Bernard Lauze Born: January 3, 1967, Limoux, France Residence: Lindehøjen 5, 2720 Vanløse E-mail: [email protected]

Academic Record

2004: PhD at the IT University of Copenhagen. Dissertation: Computational Methods for Motion Recovery, Motion Compensated Inpainting and Applications. 1994: PhD in mathematics at the University of Nice-Sophia-Antipolis, France: On the minimal free resolution of ideal of sets of points in projective spaces (in French) 1990: DEA (M.Sc) in Mathematics at the University of Nice-Sophia-Antipolis, France with memoir:“Curves over a discrete valuation ring”.

Employment Record 2008-...: Assistant Professor, University of Copenhagen, Image Group 2007-2008: Senior Research Scientist, Nordic Bioscience Imaging. 2004-2007: Assistant professor at the IT University of Copenhagen. 2003: Visiting research scholar at the INRIA Sophia-Antipolis, France. 2001-2004: Ph.D. student at the IT University of Copenhagen. 1998-1999: Mathematic Teacher, Birkerød Gymnasium og HF 1996-1998: Researcher at the University of Ouagadougou, Burkina Faso 1994-1995: Researcher at the University of Nice-Sophia-Antipolis, France. 1990-1994: PhD student at the University of Nice-Sophia-Antipolis, France

Scientific Activities Reviewer for scientific journals: International Journal of Computer Vision, Journal of Mathematical Imaging and Vision, IEEE Transactions in Image Processing... Co-supervisor of PhD student S. Keller, University of Copenhagen, defended in December 2007, Co-supervisor of PhD student Aditya Tatu, University of Copenhagen, Co-supervisor of PhD student Chen-Chen, University of Copenhagen, Supervisor of PhD student Stefan Sommer, University of Copenhagen. Co-supervisor of Pauline Julian, Industry PhD (Thèse CIFFRE), IRIT/FittingBox, Toulouse, France.

46 Grant January 1, 2009, December 31, 2012: Learning Imaging Biomarkers, Danish NABIIT Grant 8.9MDKK, Co-Applicant. Granted, to be started: “Distributed Video Coding”, Danish Fund For Technology and Production, Co-Applicant Selected Recent Publications S. Keller, F. Lauze, N. Nielsen: Temporal Super Resolution, book chapter to appear in "High-quality visual experience: creation, processing and interactivity of high-resolution and high-dimensional video signals", M. Mrac, M. Mrgic and M. Kunt Editors. Springer, 2010. D. Gustavsson, K. S. Pedersen, M. Nielsen , F. Lauze: On the Rate of Structural Change in Scale Spaces, Proceedings of the 2nd Scale Space and Variational Methods, 2009 LNCS 5567 S. Sommer, A. Tatu, C. Chen, M. Loog, M. de Bruijne, D. Jørgensen, M. Nielsen and F. Lauze: Bicycle Chain Shape Manifolds, Proceedings of MMBIA 2009, to appear. P. Julian, F. Lauze, C. Dehais, V. Charvillat: Evaluation des methodes variationnelles pour la segmentation du visage, Proceedings CORESA 2009, to appear. P. Julian, V. Charvillat, C. Dehais, F. Lauze: De l’intêret de la texture pour la segmentation du visage. Proceedings ORASIS 2009, to appear. F. Lauze, M. Nielsen: From Inpainting to Active Contours, IJCV 79(1) pp 31-43, 2008 S. Keller, F. Lauze, M. Nielsen: Deinterlacing using variational methods, IEEE TIP 17(11) pp 2015—2028, 2008 C. Christiansen, M. Karsdal, F. Lauze, E. Dam, M. Ganz, M. de Bruijne, M. Sørensen, N. Barascuk, M. Nielsen, Automated quantification of the morphological atherosclerosic calcification distribution on X-rays is a strong predictor of mortality in postmenopausal women, Atherosclerosis, Thrombosis and Vascular Biology Annual Conference 2008, Linpicott, Williams and Wilkins, 2008. A. Qazi, E. Dam, M. Loog, M. Nielsen, F. Lauze, C. Christiansen: A Variational Method for Automatic Localization of the most Pathological ROI in the Knee Cartilage, SPIE Medical . Imaging 2008 M. Loog, F. Lauze: Blur Invariant Image Priors, SSVM 2007. L. Conrad-Hansen, M. de Bruijne, F. Lauze, P. Pettersen, Q. He, J. Chen, C. Christiansen, M. Nielsen: Quantifying Calcification in the Lumbar Aorta on X-Ray Images. MICCAI (2) 2007. J. Iglesias, M: de Bruijne, M. Loog, F. Lauze, M. Nielsen:A Familly of Principal Component Analyses for Dealing with Outliers, MICCAI (2) 2007. D. Hansen, F. Lauze, R. Larsen: Improving Face Detection with TOF Cameras, IEEE, Int. Symp. in Signals, Circuits and Systems (ISSCS), 2007. A. Tatu, F. Lauze, M. Nielsen. O. Olsen: Curve Evolution in Subspaces, SSVM 2007 A. Ramirez-Manzanares, M. Rivera, P. Kornprobst, F. Lauze: A Variational Approach for Multi-valued Velocity Field Estimation in Transparent Sequence, SSVM 07 S. Keller, F. Lauze, M. Nielsen: Motion Compensated Video Super-Resolution. SSVM 2007 T. Brox, R. van den Boomgaard, F. Lauze, J. van de Weijer, J. Weickert, P. Mrazek, P. Kornprobst: Adaptive Structure Tensors and their Applications, chapter in book:

47 Visualization and Processing of Tensor Fields, Springer 2006

And my first... F. Lauze: On a maximal rank property of the tangent bundle of Pn: Manuscripta Mathematica, 1997.

48 October 26 2009 Curriculum Vitae for Søren Ingvor Olsen

Søren Ingvor Olsen, Associate Professor Image Analysis Group, E-Science Center, Department of Computer Science (DIKU), University of Copenhagen Universitetsparken 1, 2100 Copenhagen Ø, Denmark Phone: (+45) 35 32 14 58, Fax: (+45) 35 32 14 00 Email: [email protected]

Education and employment • Master of Science (Datalogi), University of Copenhagen, 1984 • PhD. in Computer Science, University of Copenhagen, 1988 • Assistant Professor (Adjunkt) at The Department of Computer Science, University of Copenhagen, 1988-91 • Associate Professor (Lektor) at The Department of Computer Science, University of Copenhagen, 1991- • Head of Department (Institutleder) Department of Computer Science, University of Copenhagen, 1996-99 • Guest Professor at University of Blaise Pascal, Clermont-Ferrand, France, 2005 (April-June)

Søren Ingvor Olsen has been Associate Professor at the Department of Computer Sci- ence at the University of Copenhagen since 1991. His research area covers Digital Image Processing, 3D-Computer Vision, Pattern Recognition, Image based Object Recognition. He is the single author of 3 journal papers and 8 conference papers and the co-author of 2 journal papers and 7 conference papers. Recently he has published work on the recovery of Structure from Motion of Non-rigidly Deforming Objects. His previously research contributions covers areas including Exemplar Based Recognition, Zoom Lens Calibration, Image Compression, Image noise estimation, and Stereo Correspondence analysis. Recently he has been the driving force behind the application to ACE for a new bachelor education Naturvidenskab og it which may lead to 19 diﬀerent master educations from 3 faculties at KU.

Grants In the period 2006-2008 I had the grant Velux Visiting Professorship for Adrien Bartoli, summing to DKr. 151.156 and provided by the Villum Kann Rasmussen foundation.

49 References

[1] Søren Ingvor Olsen: Exemplar based recognition of visual shapes. SCIA’05, The 14th Scandinavian Conference on Image Analysis, Joensuu, Finland, Lecture Notes in Computer Science vol. 3540, pp. 852-861, 2005.

[2] Adrien Bartoli and Søren I. Olsen: A batch algorithm for implicit non-rigid shape and motion recovery. Workshop on Dynamical Vision held at ICCV’05,Beijing, China; Lecture Notes in Computer Science Volume 4358, Springer, ISSN: 0302-9743 (Print) 1611-3349 (Online), pp. 257–269, 2007.

[3] Søren I. Olsen and Adrien Bartoli: Using priors for improving generalization in non- rigid structure-from-motion. In Proceedings of the British Machine Vision Conference 2007, pp. 1050–1059, 2007.

[4] S. I. Olsen and A. Bartoli: Implicit Non-Rigid Structure-from-Motion with Priors, Journal of Mathematical Imaging and Vision, Vol. 31, no.2-3, pp. 233-244, 2008.

[5] N. P. Tiilikainen, A. Bartoli, S. Olsen: Contour-Based Registration and Retexturing of Cartoon-Like Videos, Britisk Machine Vision Conference, BMVC’2008, pp. 915-925, 2008.

[6] A. Bartoli, V. Gay-Bellile, U. Castellani, J. Peyras, S. Olsen, P. Sayd: Coarse-to-Fine Low-Rank Structure-from-Motion, CVPR’08 - Proceedings of the IEEE International Conference on Computer Vision and Pattern Recognition, Anchorage, Alaska, June 2008.

[7] J. Liu, Z. Fan, S. Olsen, K. Christensen and J. Kristensen: Using Active Con- tour Models for Feature Extraction in Camera-Based Seam Tracking of Arc Weld- ing, IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, St.Louis, USA, (page numbers yet unknown).

50 Curriculum Vitae

Personal Data Full name: Kim Steenstrup Pedersen Born: May 15th 1973, Roskilde, Denmark Civil status: Married Nationality: Danish Home address Frankrigsgade 5, 1 TH, 2300 København S Current employment: Lektor (Associate Professor), Dept. of Computer Science, University of Copenhagen Educational Background

2003 Ph.D. from the Department of Computer Science (DIKU), University of Copenhagen, Denmark. 2001 Half year visit with Prof. David Mumford at Div. of Applied Math., Brown University, USA. 1999 M.Sc. in Computer Science, the Department of Computer Science, University of Copenhagen. 1997 B.Sc. in Computer Science, the Department of Computer Science, University of Copenhagen. Employment

Nov. 2009 – present Vice Head of Department for Education, Department of Computer Science, University of Copenhagen 2007 – present Associate Professor, Department of Computer Science, University of Copenhagen 2008 – 2009 3 month paternity leave (November - January). 2004 3 month paternity leave (August - October). 2003 Assistant Professor, Department of Innovation, IT University of Copenhagen. 2003 Assistant Research Professor under the SNF grant “Computing Natural Shape” at the De- partment of Computer Science, University of Copenhagen, Denmark. (3 month). 2000 – 2002 Ph.D. student at Department of Computer Science, University of Copenhagen. 1999 Military service (October – December). 1999 Part time job as medical image analysis research programmer at Pronosco (8 month). 1997 – 1999 Part time job as software developer and project manager at ELK, ApS. Participation in recent research projects

VISIONTRAIN, EU funded Marie Curie Training Network with 11 international partners Natural Image Sequence Analysis (FNU framework grant no. 272-05-0256) French Embassy in Denmark grant for collaboration with P. P´erez,E. M´emin,and Francois Lauze Key research topics

His primary research interests include topics from computer vision, image analysis and machine learning, especially tracking and motion models, scale-space theories, stochastic image models, natural image statistics, and image features. He has made contributions to the theoretical foundations of low-level vision including applications of machine learning to low-level vision. Ph.D. / Post Doc. Supervision and Master thesis production

Currently supervising 2 Ph.D. students and a 9 month Post Doc. researcher. Previously supervised 1 Ph.D. student and an 8 month Post Doc. researcher under the VISIONTRAIN grant. Organized and taught on 6 diﬀerent Ph.D. level courses and seminars. Have supervised and completed 21 Master theses. Honourable Research Services - Organising program committee member and editor of Scandinavian Conference on Image Analysis (SCIA), Aalborg, 2007. - Program committee member of the 4th International Scale-Space Conference, Scotland, 2003. - Reviewer at international conferences and journals such as: International Journal of Computer Vision, IEEE Transaction on Pattern Analysis and Machine Intelligence, IEEE Transaction on Image Processing, Journal of Mathematical Imaging and Vision, Electronic Letters on Computer Vision and Image Analysis, ICCV, ECCV, CVPR, MICCAI, Scale-space, SCIA. Publications

Total number of publications in; international peer reviewed journals (5), peer reviewed conferences and workshops (20), other publications including special issues, proceeding books, and Ph.D. thesis (13). 51

1 Research grants the last 3 years Kim Steenstrup Pedersen

Externally funded research projects

• VISIONTRAIN, EU funded Marie Curie Training Network with 11 international partners. Grant: DK Kr. 2.530.127. Project period: 1/5 2005-30/4 2009 • Natural Image Sequence Analysis (FNU framework grant no. 272-05- 0256). Grant: DK Kr. 200.000. Project period: 2006-2008 • French Embassy in Denmark grant for collaboration with P. P´erez,E. M´emin,and Francois Lauze. Grant: DK Kr. 18.000. Project period: 2008-2009

Internally funded research projects

Two Ph.D. Scholarship funded by Faculty of Science, University of Copenhagen

52 Selected Publications of Kim Steenstrup Pedersen (from last 5 years)

October 28, 2009

Scientiﬁc journal papers: (5)

• Anne Cuzol, Kim S. Pedersen and Mads Nielsen. Field of Particle Filters for Image Inpainting. Journal of Mathematical Imaging and Vision, Vol. 31(2-3): 147-156, 2008. • Bo Markussen, Kim S. Pedersen and Marco Loog. Second Order Structure of Scale-Space Measurements. Journal of Mathematical Imaging and Vision, Vol. 31(2-3): 207–220, 2008.

Peer reviewed conference papers: (20)

• Morten Engell-Nørreg˚ard,Søren Hauberg, Jerome Lapuyade, Kenny Erleben, and Kim Steenstrup Pedersen. Interactive Inverse Kinematics for Monocular Motion Estimation. In Proceedings of VRIPHYS 2009. Accepted for publication. • Søren Hauberg, Jerome Lapuyade, Morten Engell-Nørreg˚ard,Kenny Erleben, and Kim Steenstrup Pedersen. Three dimensional monocular human motion analysis in end-eﬀector space. In Daniel Cremers et al., editors, Energy Minimization Methods in Computer Vision and Pattern Recognition, Lecture Notes in Computer Science, pages 235-248. Springer, August 2009. • David Gustavsson, Kim S. Pedersen, Francois Lauze, and Mads Nielsen. On the rate of structural change in scale spaces. Proceedings of Scale Space and Variational Methods in Computer Vision (SSVM), 2009. • Kim S. Pedersen, Marco Loog, and Pieter van Dorst. Salient Point and Scale Detection by Minimum Likelihood. JMLR: Workshop and Conference Proceedings: Gaussian Processes in Practice, 1: 59–72, 2007. • Kim S. Pedersen, Marco Loog, and Bo Markussen. Generic Maximum Likely Scale Selection. 1st International Conference on Scale Space and Variational Methods in Computer Vision, Springer LNCS 4485, p. 362–373, 2007. • Kim S. Pedersen and Peter Johansen. A Curious Robot: An Explorative-Exploitive Inference Algorithm. In Proceedings of Workshop on Robotics and Mathematics (ROBOMAT 2007), 2007.

Books, proceedings, and journal special issues: (2)

• Mads Nielsen, Marleen de Bruijne, Camilla Jørgensen, Søren I. Olsen, Kim Steenstrup Pedersen, and Jon Sporring. Special Issue on Tribute Workshop for Peter Johansen. Journal of Mathematical Imaging and Vision, volume 31(2-3). Springer, July 2008. • Bjarne Kjær Ersbøll and Kim S. Pedersen (Eds.). Proceedings of the 15th Scandinavian Conference on Image Analysis SCIA 2007. Springer LNCS 4522, 2007.

53 1 Short Curriculum Vitae

Jon Sporring University of Copenhagen, Denmark

October 2009

Jon Sporring received his Master and Ph.D. degree from the Department of Computer Science, University of Copenhagen, Denmark in 1995 and 1998, respectively. Part of his Ph.D. program was carried out at IBM Research Center, Almaden, California, USA. Following his Ph.D, he worked as a visiting researcher at the Computer Vision and Robotics Lab at Founda- tion for Research & Technology - Hellas, Greece, and as assistant research professor at 3D-Lab, School of Dentistry, University of Copenhagen. Since 2003 he has been employed as associate professor at the Department of Computer Science, University of Copenhagen, and since 2008 he has been Vice-Chair for Research at Department of Computer Science, and part- time employed as Senior Researcher at Nordic Bioscience. Jon Sporring has so far achieved 96 publications among which there are 12 Journal Papers, 1 Book, 12 in the group of Anthology, Journal Special Issues, Conference Proceedings, and Theses, and finally 34 Conference Papers and Book Contributions. His primary research field is Computer Science and particularly image processing, computer graphics, information theory, and pattern recognition. These fields are highly interdisciplinary, which is why he is currently situated in the eScience Center. Jon Sporring taking part in 1 externally funded project as co-investigator: Computer-Aided Assessment of COPD from CT Image (COPD). Chronic obstructive pulmonary disease (COPD) is a major cause of morbidity and mortality worldwide. The research project aims to a) develop and evaluate image processing techniques to enable reproducible, localized measurements of lesion morphometry and progression, b) study disease development and progression in a large group of smokers currently enrolled in the Danish lung cancer screening trial, and c) study disease characteristics in patients with rapid decline compared to non-rapid decline of lung function.

54 Curriculum Vitae – Jon Sporring

References

[1] Knud Henriksen, Jon Sporring, and Kasper Hornbæk. Virtual trackballs revisited. IEEE Transactions on Visualization and Computer Graphics, 10(2):206–216, 2004. [2] Xenophon Zabulis, Jon Sporring, and Stelios Orphanoudakis. Perceptually relevant and piecewise linear matching of silhouettes. Pattern Recognition, 38(1):75–93, 2005. [3] Kenny Erleben, Jon Sporring, Knud Henriksen, and Henrik Dohlmann. Physics-based Animation. Charles River Media, August 2005. [4] Camilla Pedersen, Kenny Erleben, and Jon Sporring. Ballet balance strategies. Simulation Modelling Practice and Theory, (SIMPAT), 14:1135–1142, 2006. [5] Bo Markussen, Jon Sporring, and Kenny Erleben. Guessing tangents in normal flows. Journal of Mathematical Imaging and Vision, 31(2–3):195–205, 2008. Special Issue in Honour of Peter Johansen, http://dx.doi.org/10.1007/s10851-008-0082-5. [6] Jon Sporring and Katrine Hommelhoff Jensen. Bayes reconstruction of missing teeth. Journal of Mathematical Imaging and Vision, 31(2–3):245–254, 2008. Special Issue in Honour of Peter Johansen, http://dx.doi.org/10.1007/s10851-008-0081-6. [7] Lars Schjøth, Jon Sporring, and Ole Fogh Olsen. Diffusion based photon mapping. Computer Graphics Forum, 27(8):2114–2127, 2008. http://dx.doi.org/10.1111/j.1467-8659.2008.01196.x. [8] Jon Sporring, Lars Schjøth, and Kenny Erleben. Spatial and temporal ray differentials. Technical Report Technical Report DIKU-09/04, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2200 Copenhagen, Denmark, 2009. http://www.diku.dk/publikationer/ tekniske.rapporter/2009/09-04.pdf. [9] Pechin Lo, Jon Sporring, Jesper Johannes Holst Pedersen, and Marleen de Bruijne. Airway tree extraction with locally optimal paths. In MICCAI 2009, London, UK, 2009. [10] Vladlena Gorbunova, Pechin Lo, Martin Loeve, Harm Tiddens, Jon Sporring, Mads Nielsen, and Marleen de Bruijne. Mass preserving registration for lung ct. In Proceedings of the SPIE: Medical Imaging 2009, Orlando, Florida, USA, 2009.

55 Brian Vinter

Curriculum Vitae

Personal Data

Born: May 21th 1968 Address: Kildebrinken 21, 4100 Ringsted. Phone: (+45) 35 32 14 21 (Office), (+45) 28 75 14 21 (Mobile) E-mail: [email protected] Home-page: www.diku.dk/~vinter/ Civil status: Married

Education

Tromsø University, 1999, Tromsø, Norway, DOCTOR OF SCIENCE. Aalborg University 1994, Aalborg, Denmark, MASTER OF ENGINEERING, COMPUTER TECHNOLOGY

Professional Experience

University of Copenhagen, 5, 2007 to present, HEAD OF CENTER FOR ESCIENCE

University of Copenhagen, 8, 2005 to present, PROFESSOR. Nordic Data Grid Facility, 3, 2003 to 1, 2006, DIRECTOR. University of Southern Denmark, 2, 2002 to 3, 2003, ASSOCIATE PROFESSOR. University of Kent in Canterbury 1, 2002, Canterbury, UK., VISITING SCHOLAR. CERN 9, 2001 to 12, 2001, Geneva, Swiss, VISITING SCHOLAR. Tromsø University 6, 2000 to 2003, Tromsø, Norway, ADJOINT LECTURER. University of Southern Denmark, 9, 1999 to 1, 2002, ASSISTANT PROFESSOR. Århus University, 9, 1998 to 8 1999, Århus, Denmark, VISITING SCHOLAR. Princeton University, 8, 1997 to 7, 1998, Princeton, NJ, USA, VISITING LECTURER. Tromsø University 8, 1995 to 8, 1999, Tromsø, Norway, RESEARCH SCHOLAR. Tromsø University 1, 1995 to 8, 1995, Tromsø, Norway, ASSISTANT PROFESSOR.

Tromsø University 1, 1994 to 12, 1994, Tromsø, Norway, SCIENTIFIC ASSISTANT.

Other Positions

2007- Nordic represent to the Computing Resource Scrutiny Group, LHC, CERN 2007- Member of the board, Danish Socierty for Computer Science 2005-2006 Chairman, Danish Grid Forum. 2004-2005 Nordic representative in the steering committee for the OECD Global Science forum, working group for Grid computing. 2003-2005 Danish representative in the High Performance Computing and Networking of the European Strategy Forum for Research Infrastructure, ESFRI-HPCN 2003-2007 Member of the Technical Advisory Board, Danish Center for Scientific Computing 2003- Member of the board, MESH-Technologies A/S

Publications

All conference and workshop papers listed are refereed by at least three international referees. [1] Brian Vinter, Rune M Friborg, John Marcus Bjørndalen, PyCSP Revisited, n proc of Communicating Process Architectures 2009 (to appear). [2] Rune M Friborg, John Marcus Bjørndalen, Brian Vintrer, Three Unique Implementations of Processes for PyCSP, in proc of Communicating Process Architectures 2009 (to appear) [3] Brian Vinter, Rune M Friborg, John Marcus Bjørndalen, PyCSP – controlled concurrency, in proc of PMEA 2009. (to appear) [4] B. Vinter et al., Towards a Robust and Reliable Grid Middleware, Grid Technology and Applications: Recent Developments. Nova Science Publishers, Inc., 2009. [5] Brian Vinter, Rasmus Andersen, Martin Rehr, Cycle-scavenging in Grid computing, Grid Technology and Applications: Recent Developments. 1. ed. Nova Science Publishers, Inc., 2009. [6] M, N. Larsen, K. Skovhede and B. Vinter, Distributed Shared Memory for the Cell Broadband Engine, in proc of ISPDC 2009 [7] M. Kristensen, H. Happe, B. Vinter., GPAW optimized for Blue Gene/P using hybrid programming. In proceedings of the 14th International Workshop on High-Level Parallel Programming Models and Supportive Environments, 2009. [8] Brian Vinter, Next Generation Processors, in Parallel, Distributed and Grid Computing for Engineering, B.H.V Topping and P. Ivanyi (eds), pp. 21-33, Saxo-Coburg Publications, 2009 [9] M.E. Jørgensen and B. Vinter, Reconstruction of Computerized Tomography Images on a Cell Broadband Engine using Ray based Interpolation, in Parallel, Distributed and Grid Computing for Engineering, Saxo-Coburg Publications, 2009. [10] Rune Møllegård Friborg and Brian Vinter, CSPBuilder - CSP based Scientific Workflow Modeling, Communicating Process Architectures 2008 : WoTUG-31, Proceedings of the 31st WoTUG Technical Meeting, 7-10 September, 2008, University of York, UK. IOS Press, 2008. s. 347-369 (Concurrent Systems Engineering; 66). [11] R. Andersen, B. Vinter, D.A. Power and J.P. Morrison, Supporting MiG and WebCom Interaction, in proc of ECT2008.

[12] Rasmus Andersen and Brian Vinter, The Scientific Byte Code Virtual Machine, Proceedings of the 2008 International Conference on Grid Computing & Applications, GCA 2008 : Las Vegas, Nevada, USA, July 14-17, 2008. CSREA Press, 2008. s. 175-181 [13] Martin Rehr and Brian Vinter, The PS3 Grid-Resource Model, in the proc. Of GCA2008(Proceedings of the 2008 International Conference on Grid Computing & Applications, GCA : Las Vegas, Nevada, USA, July 14-17, 2008. CSREA Press, 2008. s. 90-95 [14] Brian Vinter, Old Tricks for New Architectures: Teaching CSP for Multicore Programming, in proc of PARA 2008. [15] John Markus Bjørndalen, Brian Vinter and Otto Anshus. PyCSP - Communicating Sequential Processes for Python, in proc of PARA 2008 [16] Martin Rehr and Brian Vinter. Application porting and tuning for the CELL-BE processor, in proc of PARA 2008 [17] Brian Vinter, The Grid taken Literally, in the proceedings of HERCMA 2007, electronic publication: http://www.aueb.gr/pympe/hercma/proceedings2007/H07-FULL-PAPERS- 1/VINTER-1.pdf. [18] J.M. Bjørndalen, B. Vinter and O. J. Anshus, PyCSP - Communicating Sequential Processes for Python, Communicating Process Architectures 2007, McEwan, Alistair A. and Ifill, Wilson and Welch, Peter H. (ed), 2007. [19] Martin Rehr and Brian Vinter, The One-Click Grid-resource model, in the proceedings of HPCC07, Ronald H. Perrott and Barbara M. Chapman and Jaspal Subhlok and Rodrigo Fernandes de Mello and Laurence Tianruo Yang (ed.) pp. 296—308, Springer, 2007. [20] Rasmus Andersen and Brian Vinter, Direct application access to Grid storage, Concurrency and Computation: Practice & Experience, Volume 19 , Issue 9 (June 2007), Pages: 1287 – 1298, 2007. [21] Mailund, et al., Experiences with GeneRecon on MiG, Future Generation Computer Systems (2006), doi:10.1016/j.future.2006.09.003 [22] Parameter optimisation in complex hydrodynamic and hydrological modelling systems using distributed computing, Madsen, H., Vinter, B., 2006, Proceedings of the 7th International Conference on Hydroinformatics (Eds. P. Gourbesville, J. Cunge, V. Guinot and S.Y. Liong), 4-8 September 2006, Nice, France, Vol. 4, 2489-2496. [23] VGrids - Virtual Grids in Minimum intrusion Grid, Henrik H Karlsen and Brian Vinter, in proc. of ETNGRID 2006 [24] Harvesting Idle Windows CPU Cycles for Grid Computing, Rasmus Andersen and Brian Vinter, proceedings of GCA-2006. [25] Massive Cycle Harvesting for Computational Chemistry, Brian Vinter et al, in the procedings of DK2 2006. [26] Transparent Direct Application Access to Grid Storage, Rasmus Andersen and Brian Vinter, Concurrency and Computation: Practice and Experience. [27] Interactive Computing with Minimum Intrusion Grid (MiG), John Markus Bjørndalen, Otto J Anshus and Brian Vinter, in proc of CPA 2005. [28] Improving TCP/IP Multicasting with Message Segmentation, Hans Henrik Happe and Brian Vinter, in proc of CPA 2005. [29] The Architecture of the Minimum intrusion Grid: MiG, Brian Vinter, in proc of CPA 2005. [30] Minimum intrusion Grid - The Simple Model, Henrik H Karlsen and Brian Vinter, in proc. of ETNGRID 2005

[31] Transparent Remote File Access in the Minimum Intrusion Grid, Rasmus Andersen and Brian Vinter, in proc. of ETNGRID 2005 (Received Best Paper Award) [32] Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid, Peter H. Welch, Brian Vinter, and Frederick R. M. Barnes, in the proc. Of Parallel and Distributed Programming Techniques and Applications 2005 [33] Initial Experiences with GeneRecon on MiG, Thomas Mailund, Christian N. S. Pedersen, Jonas Bardino, Brian Vinter, and Henrik H. Karlsen, in the proc of Grid Computing and Applications 2005. [34] The Grid Block Device: Performance in LAN and WAN Environments, Bardur Arentson and Brian Vinter, in the proc. of EGC 2005 [35] A Comparison of Three MPI Implementations. Brian Vinter, John Markus Bjørndalen, Otto J. Anshus, and Tore Larsen, in the proc. of CPA 2004. [36] An Evaluation of Inter-Switch Connections. Brian Vinter and Hans Happe, in the proc. of CPA 2004. [37] A Distributed Shared Memory Experiment using a dedicated gigabit Wide Area Network, Hans Happe and Brian Vinter, in the proc. of PDPTA 2004. [38] The Grid Block Device, Bardur Arentson and Brian Vinter, in the proc. of PDPTA 2004. [39] The NorduGrid production Grid infrastructure, status and plans, P. Eerola, B. Konya, O. Smirnova, T. Ekelöf, M. Ellert, J. R. Hansen, J. L. Nielsen, A. Wäänänen, A. Konstantinov, J. Herrala, M. Tuisku and B. Vinter, in the proc. of the 4th International Workshop on Grid Computing, 2003. [40] The Grid Block Device, Bardur Arentson and Brian Vinter, the proc. of CPA 2003. [41] Distributed Shared Memory in Global Area Networks, Hans Happe and Brian Vinter, in the proc. of CPA 2003. [42] RMoX: A Raw-Metal occam Experiment, Fred Barnes, Christian Jacobsen and Brian Vinter, in the proc. of CPA 2003. [43] Cluster Computing as a Teaching Tool, Otto, Anshus, Anne Elster and Brian Vinter, in Parallel computing: Software Technology, Algorithms, Architectures & Applications, G.R. Joubert et al (ed), pp 887-894, 2003. [44] Design and implementation of a 512 CPU cluster as a general purpose SuperComputer, Brian Vinter, in Parallel computing: Software Technology, Algorithms, Architectures & Applications, G.R. Joubert et al (ed), pp 871-877, 2003 [45] Java PastSet, Kei Simon Pedersen and Brian Vinter, in IEE Software, Vol 150, No 2, April 2003, pp 147-153. [46] Configurable collective communication for LAM-MPI in a multicluster environment, John Markus Bjørndalen, Otto J. Anshus, Brian Vinter and Tore Larsen, in the proceedings of NIK2002. [47] The latency of user-to-user, kernel-to-kernel and interrupt-to-interrupt level communication, John Markus Bjørndalen, Otto J. Anshus, Brian Vinter and Tore Larsen, in the proceedings of NIK2002. [48] Cluster Computing and JCSP Networking (Received Best Paper Award), Brian Vinter and Peter Welsh, in the proceedings of Communicating Process Architectures, 2002. [49] Configurable collective communication in LAM-MPI, John Markus Bjørndalen, Otto J. Anshus, Brian Vinter and Tore Larsen, in the proceedings of Communicating Process Architectures, 2002.

[50] Java PastSet – A Stuctured Distributed Shared Memory System, Kei Simon Pedersen and Brian Vinter, in the proceedings of Communicating Process Architectures, 2002. [51] Scalable Processing and Communication Performance in a Multi-Media Related Context, J Bjørndalen, O. Anshus, T.Larsen, L. Bongo and B. Vinter, in the proceedings of the 28th EuroMicro conference. [52] Using run-time configurable networks of computational communication paths for experimental coarse-tuning of high-performance distributed applications, John Markus Bjørndalen, Otto J. Anshus, Brian Vinter, Tore Larsen, in the proceedings of NIK2001. [53] Using Two-, Four- and Eight-Way Multiprocessors as Cluster Components, B. Vinter, O. Anshus, T. Larsen, J. Bjørndalen, in the proc. of Communicating Process Architectures, CPA, 2001 [54] Extending the applicability of software DSM by adding user redefinable memory semantics, B. Vinter, O. Anshus, T. Larsen, J. Bjørndalen, in the proc. of Parallel Computing 2001, ParCo2001. [55] John Markus Bjørndalen, Otto J. Anshus, Brian Vinter, Tore Larsen, The Impact on Bandwidth and Latency Using a Gigabit Network supporting the Virtual Interface Architecture in Hardware , in the proceedings of NIK2000. [56] John Markus Bjørndalen, Otto J. Anshus, Brian Vinter, Tore Larsen, Comparing The Performance of the PastSet Distributed Shared Memory System using TCP/IP and M-VIA , in the proceedings of WSDSM'00. [57] Brian Vinter, Embarrisingly Parallel Applications on a Java Cluster, in the proceedings of, The European Conference on High Performance Computers and Networking (HPCN) 2000. [58] Brian Vinter, Otto J. Anshus and Tore Larsen. Improving Cluster Performance using a Sequentially Ordered Structured Distributed Shared Memory System, Proceedings of Norsk Informatik Konferense, Trondheim, November 1999. [59] Brian Vinter, PastSet – A Structured Distributed Shared Memory System. Dr. Scient. Dissertation, Tromsø University, 1999. [60] Brian Vinter, Tore Larsen, Otto J. Anshus. Data Distribution Models for a Structured Distributed Shared Memory System, in the Proceedings of the 1999 International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, June/July 1999. [61] Brian Vinter, Tore Larsen, Otto J. Anshus, Experiences Building a Multicomputer of HP SMP servers. In the proceedings of the International Conference on High Performance Computing on Hewlett-Packard Systems, 1999. [62] Brian Vinter, Otto J. Anshus and Tore Larsen. PastSet A Distributed Structured Shared Memory System, in the Proceedings of High Performance Computers and Networking Europe, Amsterdam April 1999. [63] Brian Vinter, Otto J. Anshus and Tore Larsen. The Impact of Node Size on the Performance of Processor-bound Applications on Clusters of Four and Eight way Shared Memory Multiprocessors, Proceedings of Norsk Informatik Konferense, Kristiansand, November 1998. [64] Brian Vinter, Otto J. Anshus and Tore Larsen. PastSet - An Efficient High Level Inter Process Communication Mechanism, Proceedings of the International Conference on Parallel Processing, Minneapolis August 1998. [65] Brian Vinter and Kallol K. Bagchi, A Tool for Parallel Algorithm Design Via Simulation, in the Proceedings of the 1993 SCS Western Simulation Multiconference on Simulation in Engineering Education, SanDiego January 1993.

Invited Lectures

As an invited lecturer I have given • More than 15 invited talks at conferences • More than 20 invited talks at universities • More than 70 invited talks at ʻpopular scienceʼ level.

Grants

“Centre for Industrial Application of CT-Scanning”, 13M DKK total 2.2Mkr share

“Centre for Grid Computing”, 6M DKK

“Large-scale quantum simulations and informatics in nanocatalysis”, 4.9M DKK total 2.2Mkr share

“Molecular docking”, NABIIT, 8.8M DKK total 2.1 MKr share

“Molecular design using Grid Technology”, NABIIT, 8.6M DKK

“Young Research Talent” Grant from the Danish Science Research Council, 2.9M DKK

Joint project of five research-groups, headed by Professor Eric Jul, University of Copenhagen, which received DKK 7.5 M to establish Danish Centre for Grid Computing

6.4 M DKK to build a 512 CPU cluster, the machine is currently the fastest supercomputer in Denmark (joint project headed by Frank Jensen, SDU). Later financed with an additional 5MDKK to increase the system to 956 CPUs

Joint project of four research-groups, headed by Professor Eric Jul, University of Copenhagen, which received DKK 900.000 for research in ʻSupport of Network Services for Distributed Applicationsʼ

NOK 160,000.00 from the Norwegian Research Council to help cover expenses for my stay at Princeton University.

Awards

Recipient of the 2002 teaching award at the Faculty of Science and Engineering at the University of Southern Denmark.

61 Annex III: Curriculum Vitae of Permanent Faculty Members of Human- Centered Computing

Erik Frøkjær, Associate Professor (Head of Group) Jørgen Bansler, Professor Kasper Hornbæk, Professor Ken Friis Larsen, Assistant Professor Jakob Grue Simonsen, Assistant Professor

62 DIKU 25. August 2009, revision 28. October 2009, EF

Erik Frøkjær - One page curriculum vitae

Erik Frøkjær, Datalogisk Institut, Søndre Campus, Københavns Universitet, Njalsgade 128, Bygning 24, 5. sal, DK-2300 København S Tlf. DIKU: +45 3532 1456, Mobil: 45 4035 4275, email: [email protected] Born 1949, August 20

Erik Frøkjær is a computer scientist and associate professor at Copenhagen University’s department of computer science (DIKU). He is currently interested in human–computer usability research, computing as a human and social activity, and descriptive psychology. Before that he has published about e.g. management and development of information systems, expert support systems and more broadly on computing and human activities.

He joined the university in 1985 after twelve years in industry as systems developer and IT consultant for private enterprises and governmental agencies.

He has a MSc in Electrical and in Mathematical Engineering from the Technical University of Denmark (1973), and a BSc in Business Administration from Copenhagen Business School (1977).

He has managed a number of large IT and organization development projects, most importantly chairing the Danish cross-department Geographical Information Systems Committee under the Ministry of Finance (Georegistergruppen 1985) which formed the foundation for the comprehensive modernization of the Danish GIS-systems in the late 1980’es. In 1990 he designed a new editing and publishing system for “Karnovs Lovsamling” which today is in use also at a number of large international publishing houses, owned by the Thompson Publishing Group. Currently he is heading the research group at DIKU with focus on human-centered computing.

He has supervised 5 PhD students.

Number of publications in international scientific journals: 15. Number of research contributions in proceedings of international scientific conferences: 15. Total number of scientific publications: 50.

Bibliometrics in ACM Digital Library, Guide: Publication years 1988-2008. Publication count 16. Citation count: 123. Available for download: 12. Downloads 6 week: 278. Downloads 12 months: 3,022. (Date of extract from http://portal.acm.org/portal.cfm October 28, 2009)

63 DIKU 31. august 2009 EF

Overview of grants within the last 3 years: Erik Frøkjær

Erik Frøkjær (EF) has currently no grants running, involved in one application for FTP, Danish Agency for Science.

In the last three years EF was engaged in the following collaborative research contracts/grants:

1. The USE project - “Usability Evaluation and Software Design: Bridging the Gap”. Two senior researchers and two PhD students from DIKU, Copenhagen University; and the same staffing from Computer Science Department, Ålborg University. Involvement from some 10 companies. Funding body: Danish Research Agency, NaBiIT. Project period: 2005- 2009

2. MAUSE project - “Towards Maturation of Information Technology Usability Evaluation”. Network of excellence and collaboration among HCI researchers from European universities and research agencies. Participants from nineteen countries. Researchers from DIKU had an important role. Project period: 2005-2009.

64 DIKU 31. august 2009 EF Publication list for Erik Frøkjær In reverse chronological order

Selected Peer-Reviewed International Journal Articles 2004-2009 Frøkjær, E. and Hornbæk, K. (2008). Metaphors of human thinking for usability inspection and design. ACM Trans. Comput.-Hum. Interact. 14, 4 (Jan. 2008), 1-33 Hornbæk, K. and Frøkjær, E. (2008). Comparison of techniques for matching of usability problem descriptions. Interact. Comput. 20, 6 (Dec. 2008), 505-514. Hornbæk, K. & Frøkjær, E. (2008). A Study of the Evaluator Effect in Usability Testing, Human-Computer Interaction, A Journal of Theoretical, Empirical, and Methodological Issues of User Science and of System Design, Volume 23, No. 3, pp. 1–27. Uldall-Espersen, T., Frøkjær, E., and Hornbæk, K. (2008). Tracing impact in a usability improvement process. Interact. Comput. 20, 1 (Jan. 2008), 48-63. Hornbæk, K. & Frøkjær, E. (2004). "Usability Inspection by Metaphors of Human Thinking Compared to Heuristic Evaluation", International Journal of Human-Computer Interaction, 17, 3, 357-374. Selected Peer-Reviewed International Conference Articles 2004-2009 Hornbæk, K. and Frøkjær, E. (2008). Making use of business goals in usability evaluation: an experiment with novice evaluators. In Proceeding of the Twenty-Sixth Annual SIGCHI Conference on Human Factors in Computing Systems (Florence, Italy, April 05 - 10, 2008). CHI '08. ACM, New York, NY, 903-912. Langer, L. and Frøkjær, E. (2008). Improving web search transparency by using a Venn diagram interface. In Proceedings of the 5th Nordic Conference on Human-Computer interaction: Building Bridges (Lund, Sweden, October 20 - 22, 2008). NordiCHI '08, vol. 358. ACM, New York, NY, 249-256. Uldall-Espersen, T. & Frøkjær, E. (2007).Usability and Software Development: Roles of the Stakeholders. In J. Jacko (Ed.): Human-Computer Interaction, Part I, HCII 2007, LNCS 4550, 2007, Springer-Verlag Berlin Heidelberg 2007, pp. 642–651. Uldall-Espersen, T., Frøkjær, E., Blandford, A., and Jokela, T. (2007). Increasing the impact of usability work in software development. In CHI '07 Extended 1

65 Abstracts on Human Factors in Computing Systems (San Jose, CA, USA, April 28 - May 03, 2007). CHI '07. ACM, New York, NY, 2873-2876. Hornbæk, K., Frøkjær, E. (2006). "What kind of usability-problem description are useful for developers?", Proceedings of the HFES (Human Factors and Ergonomics Society) 50th Annual Meeting 2006, pp. 2523-2527.

Frøkjær, E. & Hornbæk, K. (2005). Cooperative usability testing: complementing usability tests with user-supported interpretation sessions, Proceedings of CHI 2005, extended abstracts, 1383 – 1386. Hornbæk, K. and Frøkjær, E. (2005). Comparing usability problems and redesign proposals as input to practical systems development. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (Portland, Oregon, USA, April 02 - 07, 2005). CHI '05. ACM, New York, NY, 391-400. (Best paper nominee). Frøkjær, E. & Hornbæk, K. (2004). "Input from usability evaluation in the form of problems and redesigns: results from interviews with developers", in Proceedings of Workshop on Improving the Interplay between Usability Evaluation and User Interface Design, NordiCHI 2004, October 24, Tampere, Finland. Hornbæk, K. and Frøkjær, E. (2004). Two psychology-based usability inspection techniques studied in a diary experiment. In Proceedings of the Third Nordic Conference on Human-Computer interaction(Tampere, Finland, October 23 - 27, 2004). NordiCHI '04, vol. 82. ACM, New York, NY, 3-12.

Other Scientific publications 2004-2009 Frøkjær (2006), The Turn - Integration of Information Seeking and Retrieval in Context, book review, Dansk Biblioteksforskning, årgang 1, nr 3, 2005, pp 45-48, published in 2006. Frøkjær, E., Hornbæk, K., Høegh, R.T., Jensen, J.J., Nørgaard, M., Skov, M.B., Stage, J. & Uldall-Espersen, T. (2006). The USE Project: Experience with Usability Evaluation Techniques in Software Development Organizations, In O.W. Bertelsen, M. Brynskov, P. Dalsgaard, O.S. Iversen, M.G. Petersen & M. Wetterstrand (Eds.), Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium, 15. Nov 2006, Aarhus, Denmark (pp. 23- 24). Uldall-Espersen, T. & Frøkjær, E. (2006), Increasing the impact of usability work in software development, In O.W. Bertelsen, M. Brynskov, P. Dalsgaard, O.S. Iversen, M.G. Petersen & M. Wetterstrand (Eds.), Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium, 15. Nov 2006, Aarhus, Denmark (pp. 61-62). 2

66 Als, B., Frøkjær, E., Hornbæk, K., Høegh, R., Jensen, J., Nørgaard, M., Skov, M., Stage, J. & Uldall-Espersen, T. (2005) “The USE Project: Bridging the Gap between Usability Evaluation and Software Development”, Proceedings of Fifth Danish HCI Research Symposium, 110-114. November 8 2005, Copenhagen Business School. Frøkjær, E. & Hornbæk, K. (2004), "Input from usability evaluation in the form of problems and redesigns: results from interviews with developers", in Proceedings of Workshop on Improving the Interplay between Usability Evaluation and User Interface Design, NordiCHI 2004, October 24, Tampere, Finland. Frøkjær, E. & Hornbæk, K. (2004) "Studying usability evaluation to improve its practical utility", Proceedings of Fourth Danish HCI Research Symposium, November 16, Aalborg University. Frøkjær, E & Holst-Christensen, B. (2004), “Email fri for møg og vira”, IT- avisen ComOn, nr. 25, 5. august 2004. Hornbæk, K. and Frøkjær, E. (2004). Reading patterns and usability in visualizations of electronic documents. interactions 11, 1 (Jan. 2004), 11-12. Naur, P. & Frøkjær, E. (2004). Philosophical Locutions in Scientific and Scholarly Activity, 218-238; in Naur, P. (2005). An anatomy of human mental life, naur.com publishing.

67 December 2009

Curriculum Vitae Jørgen P. Bansler

Contact Address: Department of Computer Science University of Copenhagen Njalsgade 128-132, building 24, 5. DK-2300 København S, Denmark Phone: +45 3532 1399 email: [email protected]

Professional Positions Consultant, Dansk Datamatik Center (DDC), 1983-1984. Research Fellow (kandidatstipendiat), Dept. of Computer Science, University of Copenhagen, 1984- 1986. Assistant professor (adjunkt), Dept. of Computer Science, University of Copenhagen, 1986-1990. Associate Professor (lektor), Dept. of Computer Science, University of Copenhagen, 1991-1995. Head of Department (institutleder), Dept. of Computer Science, University of Copenhagen, 1993-1995. Associate Professor (lektor), Center for Tele-Information, Technical University of Denmark, 1995-1996 Director of Research, The Danish National Centre for IT Research, 1996-1999 Associate Professor (lektor), Center for Information and Communications Technologies, Technical University of Denmark, 1999-2007 Visiting Professor, Department of Computer Information Systems, Georgia State University, 2001. Head of Department (institutleder), Dept. of Computer Science, University of Copenhagen, 2007-2008. Associate Professor (lektor), Department of Management Engineering, Technical University of Denmark, 2008-2009 Professor (professor mso), Dept. of Computer Science, University of Copenhagen, 2009-.

Education Cand. scient. (M.Sc.), University of Copenhagen (Computer Science), 1983. Lic. scient. (Ph.D.), University of Copenhagen (Computer Science), 1987.

Recent Research Projects Distributed Multimedia Technologies and Applications (DMM, funded by the Danish Research Councils), 1997-2000. Design and Use of Interactive Web Applications (DIWA, funded by the Danish Research Councils), 2000-2003. Healthcare IT (HIT, funded by the Danish Research Councils), 2004-2007. Co-constructing IT and Healthcare (CITH, funded by the Danish Strategic Research Council), 2008- 2011. DKK 7,882,969

68 December 2009

Jørgen P. Bansler

Recent Publications Bansler, J.P. & E. Havn, ‘Exploring the Role of Network Effects in IT Implementation: The Case of Knowledge Repositories,’ Information Technology and People, Vol. 17, No. 3, 2004, pp. 268-285. Bansler, J.P. & E. Havn, ‘Technology-Use Mediation: Making Sense of Electronic Communication in an Organizational Context,’ Scandinavian Journal of Information Systems, Vol. 16, 2004, pp. 57-84. Bansler, J.P. & E. Havn, ‘Improvisation in information systems development,’ in B. Kaplan, D.P. Truex III, D. Wastell, A.T. Wood-Harper & J.I. Degross (eds.): Information Systems Research – Relevant Theory and Informed Practice, Kluwer Academic Publishers, Dordrecht, Netherlands, 2004. Bansler, J.P. & E. Havn, When Systems Loose Their Identity: Equivocality and Sensemaking in ISD, Proceedings of the 12th European Conference on Information Systems, Turku, Finland, June 14-16, 2004. Kensing, F., D.L. Strand, J.P. Bansler & E. Havn, Empowering Patients: PD in the Healthcare Field, Proceedings of the Participatory Design Conference, Toronto, Canada, July 27-31, 2004. Bansler, J.P., E. Havn & F. Kensing, IT-Support for Shared Care, Proceedings of the 3rd Scandinavian Conference on Health Informatics, Aalborg University, August 25-26, 2005. Bansler, J.P. & E. Havn, ‘Sensemaking in Technology-Use Mediation: Adapting Groupware Technology in Organizations,’ Computer Supported Cooperative Work, Vol. 15, 2006, pp. 55-91. Nicolajsen, H.W. & J.P. Bansler, ‘Evolving Information Ecologies: The Appropriation of New Media in Organizations,’ in S. Heilesen & S.S. Jensen (eds.): Designing for Networked Communications: Strategies and Development, Idea Group, 2007. Winthereik, B.R. & J.P. Bansler, ‘Connecting Practices: ICT Infrastructures to Support Integrated Care’ (editorial), International Journal of Integrated Care, Vol. 7, 2007. Bansler, J.P. & E. Havn, Pilot Implementation of Health Information Systems: Issues and Challenges, Proceedings of the 15th Americas Conference on Information Systems (AMCIS 2009), San Francisco, August 6-9, 2009.

RESUME KASPER HORNBÆK OCTOBER 2009

Department of Computer Science Work: +45 35321425 University of Copenhagen Fax: +45 35321401 Universitetsparken 1 E-mail: [email protected] DK-2100 Copenhagen www.kasperhornbaek.dk

EDUCATION 5/2002, Doctor of Philosophy (PhD) in Computer Science, University of Copenhagen, Denmark. 8/1998, Master of Science (MSc) in Computer Science, University of Copenhagen, Denmark.

ACADEMIC POSITIONS 12/2004-present: Associate professor at the Department of Computer Science, University of Copenhagen. 1/2004-11/2004: Assistant professor at the same place. 11/2001 to 12/2003: Assistant professor at the ICT Competence Centre, University of Copenhagen.

SELECTED PROFESSIONAL ACTIVITIES Editorial board of Journal of Usability Studies (2005-) and International Journal of Human Computer Studies; Programme committee for ACM Conference on Human Factors in Computing Systems, CHI, 2008 to 2010, short papers (2003), Nordic Conference on Human-Computer Interaction, NordiCHI (2004, 2006, 2008). Reviewer for European Commission, visualization projects in Eurostat (2001-2004); applications for the 6th framework programme (2003). Reviewer of about 80 papers for journals and conferences.

SELECTED GRANTS

1/2010- Partner in the EU ICT Action IC0904, Twintide. Grant covers only direct collaboration expenses. Exact amount under negotiation.

1/2006-12/2008 Partner in the Cultural Usability project (Innovating the quality of Information and Communication Technology through an understanding of culturally sensitive aspects of usability evaluation methods). Funded by the Danish Free Research Council, grant about 335k euro. Eight partners.

TEACHING, ADVISING Undergraduate courses on human-computer interaction (2002, 2005, 2006: 50-90 students); graduate courses on for example experimental work in human computer interaction (2000,2002: ~20 students). PhD advisor for Morten Misfeldt (2002-2005), Mie Nørgaard (2005-2008), Mikkel Rønne Jacobsen (2006-2009), Asbjørn Følstad (2007-), and Esben W. Pedersen (2009-).

SELECTED PUBLICATIONS Author of 24 journal papers, 2 book chapters, 26 conference papers, and 17 other publications, including:

Selected publications (2005-2009):

Clemmensen, T., Hertzum, M., Hornbæk, K., Shi, Q., Yammiyavar, P. (2009). “Cultural Cognition in Usability Evaluation”, Interacting with Computers, 21(3), 212-220. Hornbæk, K. & Frøkjær, E. (2008), “A Study of the Evaluator Effect in Usability Testing”, Human- Computer Interaction, 251-277 Frøkjær, E. & Hornbæk, K. (2008), “Metaphors of Human Thinking for Usability Evaluation and Design”, ACM Transactions on Computer-Human Interaction, 14, 4. Lunzer, A. & Hornbæk, K. (2008), “Subjunctive Interfaces: Extending Applications to Support Parallel Setup, Viewing and Control of Alternative Scenarios”, ACM Transactions on Computer-Human Interaction, 14, 4. Hornbæk, K. & Hertzum, M. (2007), “Untangling the usability of fisheye menus”, ACM Transactions on Computer-Human Interaction, 14 (2). Hornbæk, K. (2006), “Current Practice in Measuring Usability: Challenges to Usability Studies and Research”, International Journal of Human-Computer Studies, 64 (2), 79-102. Jakobsen, M.R. & Hornbæk, K. (2009). Fisheyes in the Field: Using Method Triangulation to Study the Adoption and Use of a Source Code Visualization. Proceedings of ACM Conference on Human Factors in Computing Systems (CHI 2009), 1579-1588. Hornbæk, K. & Frøkjær, E. (2008), “Making Use of Business Goals in Usability Evaluation: An Experiment with Novice Evaluators”, Proceedings of CHI 2008, 903-912. Hornbæk, K. & Law, E. (2007), “Meta-analysis of Correlations among Usability Measures”, ACM Conference on Human Factors in Computing Systems, 617-626 Hornbæk, K. & Frøkjær, E. (2005), “Comparing usability problems and redesign proposals as input to practical systems development”, ACM Conference on Human Factors in Computing Systems (CHI 2005), 391-400.

71 Curriculum Vitæ, Ken Friis Larsen

Education

Autumn 2005 Course on group supervision. Recidency education for university teachers. At ITU, held by Lotte Rienecker, Center Manager, Akademisk Skrivecenter, KUA.

1999–2003 Ph.D. student at the IT University of Copenhagen (ITU) and the Technical Uni- versity of Denmark. Project Title: Types for DSP Assembler Programs.

2000–2001 Visiting student at Microsoft Research Cambridge and the Computer Laboratory, University of Cambridge (UK), under supervision of Nick Benton and Professor M. J. C. Gordon (FRS).

1993–1999 Master of Science in Engineering at the Technical University of Denmark (DTU). Master project at the Department of Information Technology.

1997–1998 Visiting student at the Computer Laboratory, University of Cambridge (UK), under supervision of Professor M. J. C. Gordon (FRS), and Research Assistant on the Verilog Formal Equivalence project.

Employment

Sep 2009– Senior Computer Scientist at Semmle Ltd.

Aug 2009– Assistant Professor at DIKU.

2008–2009 Deputy Head of Department for teaching at DIKU. Half-time position.

2007–2009 Assistant Research Professor at DIKU. Externally founded on the 3gERP project.

2005–2007 Assistant Teaching Professor at ITU and Manager of Microsoft Technology Labo- ratory.

2004–2005 Senior Computer Scientist at Laerdal Sophus A/S.

2003–2004 External Lecturer at ITU.

2002–2003 Research Assistant with teaching obligations, at the Department of Innovation, ITU.

Jan. 2001 PROSPER, EC Research Project. Author and consultant.

Aug. 1998 PROSPER, EC Research Project. Consultant.

1996–1997 Department of Information Technology, DTU. Student programmer.

1995–1996 AT&T Copenhagen. Student programmer.

Other Professional Activities

Examiner On the external examiner corps in Computer Science (Censorkorpset i datalogi) since February 2006.

Reviewer Reviewed articles for the journals ACM Transactions on Programming Languages and Systems (TOPLAS) and Higher-Order and Symbolic Computation (HOSC), and for the conferences: TACAS 2008, IFL 2007, Pricipels Of Programming Lan- guages (POPL) 2006, ML Workshop 2006 and 2008, Conference on Compiler Construction (CC) 2003 and 2006, and International Conference on Functional Programming (ICFP) 2003.

Program Committee Served as a member of the program committee for IFL 2007.

72 Publications All Publications

[1] Ken Friis Larsen. A MuDDy experience–ML bindings to a BDD library. In IFIP Working Conference on Domain Specific Languages (DSL WC), June 2009. [2] Morten Ib Nielsen, Frantisek Sudzina, Jakob Grue Simonsen, and Ken Friis Larsen. Clas- sifying VAT legislation for automation. In Proceeding for Das Internationales Rechtsinformatik Symposion (IRIS), February 2009. [3] Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, and Christian Oskar Erik Stefansen. POETS: Process-oriented enterprise transaction systems. Journal of Logic and Algebraic Pro- gramming, December 2008. To appear in print in 2009. Published electronically Dec. 20, 2008. [4] Morten Ib Nielsen, Jakob Grue Simonsen, and Ken Friis Larsen. Requirements for logical models for value-added tax legislation. In International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR’08), October 2008. Short paper session. [5] Michael Nebel Nissen and Ken Friis Larsen. FunSETL—functional reporting for ERP systems. In Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP), Technical Report ICIS-R08007, Nijmegen. The Netherlands, May 2008. [6] Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, and Christian Oskar Erik Stefansen. Compositional contract specification for REA. In Einar Broch Johnsen, Olaf Owe, and Ger- ardo Schneider, editors, Proceedings for 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS’07), number 1 in Research Report. Universitetet i Oslo. Institutt for informatikk, Oslo, September 2007. Universitetet i Oslo. Invited paper. (Not peer-reviewed, subsumed by POETS article). [7] Morten Ib Nielsen, Jakob Grue Simonsen, and Ken Friis Larsen. Tutorial on modeling VAT rules using OWL-DL. In Informal Proceeding for 1st 3gERP Workshop, Copenhagen Business School, October 2007. (Not peer-reviewed). [8] Michael Nebel Nissen and Ken Friis Larsen. Data analysis. In Informal Proceeding for 1st 3gERP Workshop, Copenhagen Business School, October 2007. (Not peer-reviewed). [9] Michael Nebel Nissen and Ken Friis Larsen. FunSETL–functional reporting for ERP systems. In Workshop Proceedings for the 19th International Symposium on Implementation and Application of Functional Languages (IFL07), Technical Report No. 12-07 of the Computing Laboratory, University of Kent, UK, pages 268–290, September 2007. (Not peer-reviewed, subsumed by TFP version). [10] Peter Sestoft and Ken Friis Larsen. Grammars and parsing with Python. Unpublished lecture note, August 2007. [11] Ken Friis Larsen and Henning Niss. Kunsten at vejlede et konstruktionsprojekt. Dansk Universitetspædagogisk Tidsskrift, (3), May 2007. [12] Peter Sestoft and Ken Friis Larsen. Grammars and parsing with C# 2.0. Unpublished lecture note, August 2006. [13] Ken Friis Larsen and Henning Niss. mGTK: an SML binding of Gtk+. In Proceedings of the FREENIX Track: 2004 USENIX Annual Technical Conference, pages 127–134, Berkeley, CA, USA, 2004. USENIX Association. [14] Martin Elsman and Ken Friis Larsen. Typing XHTML Web applications in ML. In Inter- national Symposium on Practical Aspects of Declarative Languages (PADL’04). Springer-Verlag, June 2004. [15] Ganesh Sittampalam, Oege de Moor, and Ken Friis Larsen. Incremental execution of transformation specifications. In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’04), pages 26–38. ACM Press, January 2004. [16] Ken Friis Larsen. Types for DSP Assembler Programs. PhD thesis, ITU and DTU, January 2004. [17] Martin Elsman and Ken Friis Larsen. Typing XHTML web applications in SMLserver. Technical Report ITU-TR-2003-34, IT University of Copenhagen, Denmark, October 2003.

73 CV for Jakob Grue Simonsen

Personal data

Born Aarhus, Denmark, May 16, 1975. Unmarried, no children

Education

• 2008. MBA (Master of Business Administration), Edinburgh Business School, Heriot-Watt Univer- sity • 2005. PhD, computer science, University of Copenhagen • 2001. MSc, computer science, University of Copenhagen • 1998. BSc, computer science and mathematics (double major), University of Copenhagen

Positions (academic and non-academic)

• 2006 onwards. Assistant professor, Dept. of Computer Science, University of Copenhagen • 2005–2006. Post doc., Dept. of Computer Science, University of Copenhagen • 2002–2005. PhD scholar, Dept. of Computer Science, University of Copenhagen • 2001–2002. Systems Software Engineer, NCR Teradata.

Primary research areas

Computability and complexity theory. Mathematical logic. Programming language technology. Applica- tions of natural language processing.

Program committees, positions of trust, other merits

• PC member of “International Conference on Principles and Practice of Declarative Programming 2006” (PPDP ’06). • Organising committee member for “Federated Logic Conference 2002” (FLOC ’02) and “Nordic Workshop in Programming Theory 2005” (NWPT ’05). • Sole nominee in computer science for the teaching prize of the Faculty of Science 2008 and 2009. • “Best paper award”, International Conference on Rewriting Theory and Applications 2004 (RTA ’04). • Eksternal peer-reviewer for approx. 25 international conferences and journals (e.g. ACM TOPLAS, CADE, FOSSACS, HOSC, MFCS, RTA, STACS, VMCAI).

74 Publications

10 relevant publications from the last 5 years (only journal publications included):

• J.G. Simonsen, “Beta-Shifts, their Languages and Computability”. Theory of Computing Systems. Accepted for publication. • J. Ketema, J.G. Simonsen, “Infinitary Combinatory Reduction Systems: Confluence”. Logical Methods in Computer Science. Accepted for publication. • J.G. Simonsen, “On the Computational Complexity of the Languages of General Symbolic Dynam- ical Systems and Beta-Shifts”. Theoretical Computer Science 410, p. 4878–4891, 2009 • F. Henglein, K.F. Larsen, C. Stefansen, J.G. Simonsen, “POETS: Process-Oriented Event-Driven Transaction Systems”. Journal of Logic and Algebraic Programming 78(5), p. 381–401, 2009. • J. Andersen, E. Elsborg, F. Henglein, J.G. Simonsen, C. Stefansen, “Compositional Specification of Commercial Contracts”. International Journal on Software Tools for Technology Transfer 8(6), p.485–516, 2006. • J.G. Simonsen “On Local Non-Compactness in Recursive Mathematics” Mathematical Logic Quar- terly 52(4), p. 323–330, 2006. • J.G. Simonsen, “On Modularity in Infinitary Rewriting”. Information and Computation 204(6), p. 957–988, 2006.

• J.G. Simonsen “On the Computability of the Topological Entropy of Subshifts” Discrete Mathe- matics and Theoretical Computer Science 8, p. 83–96, 2006. • J.G. Simonsen, “Specker Sequences Revisited”. Mathematical Logic Quarterly (formerly Zeitschrift für Mathematische Logik und Grundlagen der Mathematik). 51(5), p. 532–540, Wiley Interscience, 2005. • J.G Simonsen, “On Confluence and Residuals in Cauchy Convergent Transfinite Rewriting”. Infor- mation Processing Letters 91(4), p.141-146, Elsevier, 2004.

75 Annex IV: Strategy for the Department of Computer Science, University of Copenhagen

FINAL VERSION - 9 JUNE 09

DIKU 2013

Strategy for the Department of Computer Science at the University of Copenhagen

1 Department challenges, core values and vision ...... 3 1.1 Challenges ...... 3 1.2 Core values...... 4 1.3 Vision ...... 4 1.4 Objectives...... 5 2 An attractive workplace ...... 6 2.1 Campus plan...... 6 2.2 Community, diversity and management ...... 6 3 Focus on basic research...... 8 4 Development of study programmes ...... 10 5 Partnering with the business community and public companies ...... 11 6 In dialogue with the surrounding world ...... 12

Strategy for the Department of Computer Science at the University of Copenhagen

Preface

The following outlines the strategy of the Department of Computer Science for the period 2009-2013. The strategy has been prepared within the framework of “Strategy of the University of Copenhagen, Destination 2012” and “Strategy of the Faculty of Science, SCIENCE 2013” and the substrategies of the Faculty of Science.

The strategy will be followed by an action plan for the Department of Computer Science, which supplements “Action Plan of the University of Copenhagen – Destination 2012”. The action plan comprises the period 2009-2013, but will be updated as required.

The strategy and action plan follow up the recommendations of the Danish Evaluation Institute’s evaluation of the department’s computer science programme in 2006 made as part of an international benchmarking of computer science programmes in Denmark.

The strategy has been prepared by DIKU management and includes contributions from the department’s cooperation and health and safety committee, teaching committee and research committee. In addition, the strategy has been subject to regular discussions at staff meetings and at a strategy seminar for all staff members on 19 November 2008. The final strategy draft has been submitted to and discussed with the Copenhagen University IT Advisory Board, the department’s user network, the department’s staff-student committee and the deanship.

Martin Zachariasen, Head of Department Jon Sporring, Deputy Head of Department of Research Ken Friis Larsen, Deputy Head of Department of Teaching Steen Georg Brandt, Head of Administrative Staff Henrik Ingerslev, Head of IT

1 Department challenges, core values and vision

Action plan of the University of Copenhagen, Destination 2012 As one of its focus areas, the University of Copenhagen will target the IT area. Currently, low graduate turnover and limited IT competencies constitute a growth barrier to the Danish society at the same time as computer science as a tool has yet to be systematically integrated into the basic sciences of the University of Copenhagen. More specifically, the University of Copenhagen will establish a range of new combination programmes and earmark funds to strengthen research in the field. However, IT must also feature even stronger in all programmes at the University of Copenhagen and ensure that students can develop IT competencies as part of their basic training programme (optional courses) rather than after they have completed their studies (supplementary training).

The Department of Computer Science at the University of Copenhagen (DIKU) is the oldest university department of computer science in Denmark – and among the first in the world. Since its establishment in 1970, the department has strived to achieve the highest academic level in computer science. The department is characterised by offering project-oriented programmes with many optional elements, focusing on the individual student’s and researcher’s interests. MSc’s in computer science are highly sought after among Danish and international companies and public-sector institutions.

Computer science significantly contributes to the information technology that is now an integral part of society and a central component of many university programmes. Society increasingly needs highly educated IT staff – particularly staff capable of combining IT with other skills. At the same time, universities worldwide have experienced a drop in the recruitment of new computer science students, and compared to its size, the University of Copenhagen produces relatively few MSc’s in IT.

As a consequence of the low production of MSc’s in IT at the University of Copenhagen, a proposal was prepared for a coherent system of IT programmes at the university in Spring 2007. The main idea behind this system is to take the subjects in which the university is strong and combine them with a solid IT foundation. In December 2007, university management decided to establish four new IT bachelor degrees in health informatics (“health and IT”, launched in 2008), humanities informatics (“communication and IT”, launched in 2009), science informatics (expected to be launched in 2010) and social science informatics (yet to be determined).

1.1 Challenges Furnishing resources for participating in (new) IT programme and research initiatives DIKU plays a pivotal role in developing new IT programmes at the university, a development that will influence the department’s vision and strategy in the coming years. It is also crucial that the computer science programme volume is increased and that the quality is maintained. For this to materialise, the department must furnish the requisite resources to take part in this development. Department earnings depend on the ability to attract and retain students and researchers, requiring significant coordination at all levels (University of Copenhagen/faculty/department). Moreover, department earnings will increasingly depend on its research production and ability to compete for external funds.

Innovating the research and study programme relationship Participation in new educational initiatives at the university requires substantial academic width, including teaching students with different (IT) backgrounds – which may widen the gap between the researchers’ teaching activities and research activities too much. Conversely, such new educational initiatives should inspire new research and new research cooperation. The researcher must be able to include his/her own research at both basic and continuing courses and project activities – and students must have the necessary framework for research- based academic development.

Developing department identity The relocation of more than half the department staff in Spring 2008 to South Campus and the eScience centre at North Campus, respectively, places the department identity under pressure and increases the distance between staff and students. The department has in fact been split in two. The pressure on the department identity will intensify further in the coming years due to the administrative integrations at faculty level and the university’s IT strategy, which gathers all IT staff at the faculty in one organisation. The department’s presence at both North and South Campus poses an organisational and identity challenge but also an opportunity to cooperate across professional and geographical boundaries, allowing development of a department identity. However, a key challenge is balancing the size of the department and its commitment to interdisciplinary research and education cooperation. Furthermore, the department must have the proper backbone to provide considerable contributions in IT research and education in Denmark and internationally.

1.2 Core values Similar to the Faculty of Science, the Department of Computer Science must be characterised by: • the highest academic standard in research, education and outreach • considerable development opportunities for free, researcher-initiated research • academic width and interdisciplinarity in research and education • responsibility in all academic work and interaction with the outside world • pride among staff and students in their workplace.

The department intends to live up to the values of the Faculty of Science for academic and administrative leadership, which comprise: • Shared responsibility for prioritisations, ownership of problems and solutions and for creating coherence in the faculty’s activities • Trust as the foundation for delegating and allocating tasks, commitment, creativity and job satisfaction as well as mutual respect • Openness in communication, knowledge sharing and best practice as well as openness to new thoughts and ideas • Respect for professionalism and diversity in a challenging and creative environment where the individual staff member’s academic, social, cultural and linguistic background is a valuable contribution to the community.

1.3 Vision The vision for the years leading up to 2013 is: • to make DIKU a department of computer science for the entire University of Copenhagen – anchored in the Faculty of Science – and the preferred partner in connection with cross-faculty and interdisciplinary IT educational and research cooperation at the University of Copenhagen • to make DIKU among the best departments of computer science in Europe • to provide bachelors and MSc’s and PhD’s with long-term knowledge and practical competencies that are highly valued in the Danish and international labour market • to focus on research in core computer science disciplines – and that this research both

has an applied perspective and helps create deep insight and knowledge • to engage in strategic research in the boundary between computer science and other strong academic fields at the University of Copenhagen (e.g. science, health sciences and humanities). The department will strive to realise its vision by focusing on five main strategic areas described in the following chapters.

1.4 Objectives The department will strive to reach the following specific objectives for 2013: • At least 50% of department earnings must be externally financed (2008: 29%). • The department must publish at least 100 research publications annually (2008: 78 publications). • Department STÅ-production must total at least 400, of which at least 75 must be the result of cross-faculty teaching cooperation (2007/08: 244 STÅ). • In addition to bachelor students from DIKU, at least 50 (mainly international) full- time students at the MSc programme in computer science must be recruited (2008/09: 20 exchange students, very few full-time students). • 60% of all bachelor students in computer science must complete their studies within standard programme duration and 80% of all MSc students in computer science must complete their studies within standard programme duration.

2 An attractive workplace

Destination 2012 Increasing the attractiveness of the University of Copenhagen as a workplace for Danish and foreign staff alike.

DIKU’s location at Universitetsparken until 2008 has helped shape our identity and create the framework for a community between staff and students. In addition, the geographic location has created an invisible barrier to other subjects at the University of Copenhagen and the surrounding world. Constructive participation in the University of Copenhagen campus plan and an internal cultural and organisational change that supports openness and cooperation will contribute to opening the department to external parties.

2.1 Campus plan The objective of the campus plan is to gather science subjects at North Campus in the long term with a view to optimising the organisational basis for synergy effects between the various academic fields, including computer science. In addition, at South Campus, DIKU will join as a central player in establishing IT research and education in the field of humanities and assist in strengthening interaction with the neighbouring IT University.

South Campus South Campus will see the establishment of an interdisciplinary (science-humanities) centre, forming the framework for cooperation between the Faculty of Science, the Faculty of Humanities and the IT University. The 2009-2013 strategy planning period offers no further expansion possibilities at South Campus than already realised in 2008.

North Campus DIKU has strong ties to the scientific fields, and the majority of our research at North Campus is based on mathematics and science. This has recently resulted in the establishment of the eScience centre at H.C. Ørsted Institute where a number of DIKU staff is working in an academic community with researchers from mathematics, physics and chemistry. This environment is expected to spawn new academic initiatives, just as an integration of subjects in connection with the campus plan’s realisation of Niels Bohr Science Park seems obvious.

Contemporary physical framework for teaching Quality in teaching requires space and up-to-date physical framework. Teaching rooms must boast the newest teaching technology. Decoration of the individual rooms must be flexible to allow different teaching forms, including lectures, exercises and group work.

Staff and student community DIKU is characterised by close ties between researchers and students. The short distance between researchers and students must be retained, as it is the cornerstone of a good study environment – both in terms of teaching and research.

2.2 Community, diversity and management DIKU has a strong innovation tradition among staff and students. This tradition is the framework of the community, diversity and management of the department.

Freedom and co-responsibility as the fulcrum of management Dialogue and staff involvement are core elements in the management of the department. The research groups are the key units in the daily running of the department, both in respect of

teaching and research. Management authority and financial responsibility have been allocated to research group managers to have the decision competency closer to the individual staff members. The department’s tasks must be organised so that the researchers to the widest possible extent can research and teach rather than perform administrative tasks. Competence development among both scientific and technical-administrative staff must ensure that freedom and co-responsibility are managed expediently. All administrative tasks must be organised to ensure excess capacity in the handling of tasks – both to make work more diverse and less stressful for the individual staff member and to ensure that tasks can be solved in case of absence, etc.

Timely information DIKU has undergone a massive organisational change in the form of a new management structure, partial relocation to South Campus and the eScience centre and a reorganisation of the administration and IT department. The department is expected to undergo further changes in the coming years, placing heavy demands on providing timely information about organisational changes, including new function descriptions, procedures and rules.

Recognition, appreciation and knowledge sharing as core values The successes of the individual staff member, research group or department – seen in relation to the department’s vision and strategy – must be promoted in e.g. the department newsletter and at information meetings. Mutual professional respect must characterise cooperation across the department and the department’s cooperation with the outside world.

Well-qualified decisions To make well-qualified decisions about the department as a whole, in relation to research groups or other staff groups and in relation to each individual staff member, key management decisions must be identified and collected in a simple and efficient manner and be accessible in a secure manner to the relevant managers. Staff members and students must be included in all important decisions in connection with major meetings and through representation in the department’s consultation and health and safety committee, teaching committee and research committee.

3 Focus on basic research

Destination 2012 Performing excellent basic research according to the competitive conditions that apply in Denmark and the international scientific community.

The main thesis behind the department’s research activities is that by means of strategic initiatives, the department must contribute to solving significant problems relevant to society and that research in core computer science disciplines constitutes a foundation for the strategic initiatives. Thus, research in core computer science disciplines must be at the stem of the department’s research, and the strategic efforts must be branches extending from that stem. Therefore, the department’s research groups are organised on the basis of core computer science disciplines, and major strategic efforts are made at centres in cooperation with other academic groups and external partners.

Future challenge: Computers and data as basis for the knowledge society Computers and digital data are a foundation of the knowledge society. Digital data are created in an exponentially growing volume, and software is the tool that can contribute to translating digital information into knowledge. Collection of, organisation of, search in, synthesis and analysis of, as well as people’s interaction with data require massive parallelism (interconnected computers), efficient and ‘intelligent’ algorithms and useful tools and methods for software design and construction. The department’s research activities will be based on the following societal challenges: • Useful software: Development of techniques and processes for compilation and documentation of software system requirements, including design of information systems for, e.g., the health care sector. • Usable software: Design and assessment of efficient forms of interaction between humans and computers – and more broadly, human’s use of digital media (human- centred computing). • Flawless software: Development of formal methods and practical techniques to identify and eliminate software errors and security risks. • Environment-friendly software: Development of energy-efficient software and systems, including algorithms and software that use machine resources optimally. • Knowledge-creating software: Development of software and systems that support data collection and analysis, including intelligent sensors focussing on climate and environment, modelling and simulation of natural phenomena (eScience) as well as predicting disease patterns from medical images.

The common denominator for the department’s research will be software construction, i.e. human programming of software on computers.

Focus on core computer science disciplines Computer science – and more generally information technology – is a key element in many basic disciplines such as mathematics, physics and biology. The compulsory courses of the computer science programmes (based on the Association for Computing Machinery Curricula Recommendations) may be characterised as core computer science disciplines. DIKU must focus on research in core computer science disciplines and strengthen computer science research related to new study programme initiatives at the University of Copenhagen. The department’s research in core computer science disciplines will focus on the following: • Software construction: Programming languages; algorithms and data structures; software design; usability; system development. • Computer systems: hardware-software interaction; large scale computing; sensor networks.

• Machine learning: Modelling and analysis of stochastic phenomena; data mining; signal and image analysis. • Simulation: Digital models of natural phenomena for scientific studies and for use in interaction technology and entertainment.

4 Development of study programmes

Destination 2012 Ensuring that the University of Copenhagen enhances the quality of study programmes to contribute directly to knowledge society development.

Focus must be directed at attracting students, retaining students, ensuring timely completion of studies and at continued quality development. A prerequisite for department growth is increased attraction and retention of students, and that students complete their studies within standard programme duration. Focus must simultaneously be on quality development of the department’s study programmes so as not to compromise the academic level. Particular focus is on recruiting more female students.

Project work, individual absorption in studies and problem-oriented teaching Higher education in IT is offered by several players. What distinguishes the DIKU computer science study programmes is the amount of project work. Project work allows students to dive deep into a subject – both individually and as a result of cooperation with the other students. This disciplinary delving allows for research-based teaching already at the introductory bachelor courses. In addition, group work allows the students to acquire cooperation competences combined with problem solving competences – both central to their future carriers as software developers.

Teaching as a common interest The individual research groups are jointly responsible for conducting the courses of which they have been given responsibility. As far as possible, courses are taught in teams, to ensure professional interaction and development. Planning, performance and assessment of teaching and courses must be characterised by openness and trust. The department’s teaching will be characterised by respectful cooperation between teachers and students. The academic, didactic and language competences of teachers must correspond to the department’s educational activities, including the requirements that teachers at the COME study programmes (Copenhagen Master of Excellence) have to meet.

Improved promotion of the study programmes Many secondary education graduates do not know what computer science is, and they often have wrong expectations to the programme. The computer science bachelor programme must therefore be marketed based on the specialties that secondary education graduates can identify with. Likewise, the computer science master programme must allow for various research- based specialties.

International master’s degree in computer science – and new business-oriented master’s degree From Autumn 2009, the computer science master’s degree will be internationally marketed as an elite programme within the COME framework. The goal is to internationalise and increase recruiting to the master’s programme and also to maintain the high academic level. The need for a new, business-oriented master programme is currently being examined in cooperation with the Centre for IT Innovation. Our cooperation with the IT University of Copenhagen must also be strengthened – especially in relation to exchange of courses offered.

5 Partnering with the business community and public companies

Destination 2012 Strengthening interaction between private as well as public companies in areas where a joint effort can create new knowledge.

Innovation as pivot for the business community and public company cooperation DIKU’s position as initiator of innovation activities is underpinned by the appointment of an innovation ambassador as a central body for coordinating and promoting network activities, etc. A course in entrepreneurship, the student incubator “Katapult” at the science faculties at the University of Copenhagen, as well as cooperation agreements with the corporate sector are all part of our innovative activities.

Knowledge sharing – both ways The department wants to make its knowledge available by using traditional communication channels, but also by contributing to the open source environment. The knowledge and practise unfolding in Danish IT companies must rub off on department research and programmes. Project proposals from Danish IT companies must be systematically communicated to researchers and students at DIKU. The number of external and assistant lecturers and professors must be increased.

Partnership with companies and alumni A formalised network of users and alumni must be established so that the academic community and the common interests obtain the best framework to operate. At least one corporate chair must be established at DIKU.

6 In dialogue with the surrounding world

Destination 2012 Supporting research and education by intensifying Copenhagen University’s dialogue with the general public. This must be achieved by communicating with potential students and the university’s key partners and by giving higher priority to international research communication.

It is vital to strengthen the recruiting effort through targeted and clear communication to future students about the contents of and prerequisites for completing the computer science programme. Moreover, DIKU must consciously raise its profile in respect of future students as well as in the outside world, including the university’s partners and in the general public.

A clear communication strategy DIKU must prepare a communication strategy that represents visions and focus areas relative to target groups and choice of appropriate communication channels. Key elements include a dynamic website reflecting the department’s activities both in terms of research and education, an external newsletter communicating news to the outside world on research and other activities, and a plan for the recruiting effort that takes into account young people’s preferred information channels and search patterns.

Technologically innovative communication We must use the strengths of the department to create new types of IT-based communication.

The international aspect DIKU’s international reach/position must be reflected in the general research communication, i.e. groundbreaking research results must be published internationally through press releases and English online news articles. With the website as a base, dialogue and knowledge sharing with our national and international partners must be ensured.