Computer Science and Communications Activity Report 2018 i Computer Science and Communications Activity Report 2018 Keywords: Activity Report, University of Luxembourg, Computer Science and Communications, UL, CSC Computer Science and Communications Activity Report 2018 Address: Computer Science & Communications (CSC) University of Luxembourg Faculty of Science, Technology and Communication 6, avenue de la Fonte L-4364 Esch-sur-Alzette Luxembourg Administrative Contact: Danièle Flammang, Isabelle Glemot-Schroeder, Fabienne Schmitz and Nicola Wolters Email: [email protected] Editor: Christian Glodt Release date: 2019-04-30 Note: This report was created using LATEX with a template based on previous work by Sebastien Varrette. iv Preface Dear reader, This annual report synthesizes the progress and activities of the Computer Sci- ence & Communications (CSC) Department in 2018, including our research projects, organized events, awarded papers, visiting researchers and publica- tions. We hope that you will find this report stimulating and inspiring. On behalf of the CSC department, we invite you to contact any one of us if you have any questions regarding the research we conduct in the CSC. Best regards, Leon van der Torre Sjouke Mauw Contents 1 Mission 1 2 Executive Summary 3 3 CSC: A Personal View 5 4 Research Areas 9 5 Research Groups 15 5.1 Applied Crypto Group (ACG) . 15 5.2 Applied Security and Information Assurance (APSIA) . 16 5.3 BigData, Data Science & Databases (BigData) . 17 5.4 Collaborative and Socio-Technical Systems (COaST) . 19 5.5 Communication and Information Theory (Cain) . 21 5.6 Critical and Extreme Security and Dependability (CritiX) . 21 5.7 Critical Real-Time Embedded Systems (CRTES) . 23 5.8 CryptoLux team . 25 5.9 Foundations of Model-Driven Engineering (FMDE) . 26 5.10 Individual and Collective Reasoning (ICR) . 28 5.11 Knowledge Discovery and Mining (MINE) . 30 5.12 Methods and Tools for Scientific Requirements Engineering (MES- SIR) ................................. 32 5.13 Parallel Computing and Optimisation Group (PCOG) . 33 5.14 Proactive Computing . 35 5.15 Security and Networking Lab (SECAN-Lab) . 37 5.16 Security and Trust of Software Systems (SaToSS) . 39 vi CONTENTS 5.17 Security, Reasoning and Validation (SerVal) . 41 5.18 Systems and Control Engineering (SCE) . 43 5.19 Team Leprévost . 45 5.20 Team Müller . 47 6 Organizational Structure 49 7 Education 51 7.1 Doctoral Programme in Computer Science and Computer Engi- neering . 51 7.2 Master in Information and Computer Sciences (MiCS) . 52 7.3 Master en Management de la Sécurité des Systèmes d’Information 52 7.4 Bachelor in Computer Science (BiCS) . 53 7.5 Bachelor of Engineering in Computer Science (BINFO) . 54 7.6 Bachelor en informatique en formation continue (Binfo-LLL) . 54 7.7 Certificate Smart ICT for business innovation . 55 Appendix 57 A Publication List 57 A.1 Books . 58 A.2 Book Chapters . 59 A.3 Journal . 59 A.4 Conference Papers . 66 A.5 Theses . 83 A.6 Tech Reports . 84 A.7 Miscellaneous . 85 B Research Projects 89 B.1 EC - Erasmus+ - KA2 Projects . 90 B.2 EC - H2020 Projects . 92 B.3 EU - COST Action Projects . 114 B.4 ESA Projects . 117 B.5 FNR Projects . 119 B.6 FNR and UL Projects . 121 B.7 FNR - AFR Projects . 122 CONTENTS vii B.8 FNR - AFR PhD Projects . 122 B.9 FNR - AFR PhD and ILNAS Projects . 130 B.10 FNR - CORE Projects . 133 B.11 FNR - CORE and NCBR Projects . 153 B.12 FNR - CORE - Core Junior Projects . 154 B.13 FNR - Industrial Fellowships Projects . 156 B.14 FNR - INTER Projects . 157 B.15 FNR - JUMP Projects . 162 B.16 FNR - PRIDE Projects . 163 B.17 UL Projects . 166 B.18 UL and External Organisation Funding Projects . 175 B.19 SnT partnership with pEp security Projects . 176 B.20 ONRG - NICOP Projects . 176 B.21 External Organisation Funding Projects . 177 C Representational Activities 183 C.1 Conference Committee Memberships . 183 C.2 Doctoral Thesis Defense Committee Memberships . 224 C.3 Awards................................ 227 C.4 Media Appearances . 231 C.5 Guest Researchers . 239 C.6 Visits . 249 D Software 259 E Staff Statistics 275 E.1 Number of Staff by Category (Full-Time Equivalent) . 275 E.2 Distribution of Staff by Category . 276 E.3 List of Members by Category . 276 F List of Acronyms 283 viii CONTENTS CHAPTER 1 Mission Our vision and mission phrase our long-term view on the relation between ICT and society and our role in shaping it. CSC vision: A society in which technology and information are seamlessly inte- grated and in which advanced communicative, intelligent, and secure software systems provide functionality for the benefit of people and society. CSC mission: To perform groundbreaking fundamental and applied research in computer science, commonly inspired by industrial and societal challenges. In practice, a clear-cut distinction between fundamental and applied research is unfeasible or artificial. Very often fundamental and applied research interact within the same research project. CSC supports academic freedom and sees the pursuit of long term scientific goals as an important task. Computer science is a fast moving area. Agility is therefore crucial and conse- quently we have set up a structure that can deal with a dynamic environment. The multiple research areas and and interests of CSC professors and researchers offer a broad expertise which is readily available. This allows to cope with the high expectations and challenging demands of the local societal and industrial players, but also to participate in new international research programs. This di- versity and agility continue to provide a very solid base for visible and relevant research in a changing world. 2 Mission CHAPTER 2 Executive Summary The Computer Science and Communications Department, also known as CSC (http://csc.uni.lu), includes a staff of more than 184 full-time equivalent mem- bers involved in both teaching and research activities. The scope of the lectures in the study programs includes topics covering fun- damental aspects of computer science as well as practical ones. The CSC is responsible for two bachelor programs, two master programs, a doctoral pro- gram, and a certificate Smart ICT for business innovation. The CSC (http://csc.uni.lu) is divided into 4 themes: • Communicative Systems (http://comsys.uni.lu), • Intelligent and Adaptive Systems (http://ilias.uni.lu), • Algorithmics, Cryptography and Security (http://lacs.uni.lu). • Advanced Software Systems (http://lassy.uni.lu). Many of CSC faculty staff members, as well as their research groups, are in- volved in the three interdisciplinary research centers of the university, called SnT, C2DH and LCSB, thus forging a tighter connection between the computer science department and these research centers. The CSC is cooperating in a large set of international as well as regional projects. Head • Leon van der Torre, professor, head of CSC Vice head • Sjouke Mauw, professor, head of LACS, vice head of CSC Academic Staff • Alex Biryukov, professor 4 Executive Summary • Pascal Bouvry, professor • Lionel Briand, professor • Jean-Sébastien Coron, associate professor • Thomas Engel, professor, head of COMSYS • Dov Gabbay, guest professor • Nicolas Guelfi, professor • Pierre Kelsen, professor, head of LASSY • Franck Leprévost, professor • Sjouke Mauw, professor, head of LACS, vice head of CSC • Yves Le Traon, professor • Volker Müller, associate professor • Nicolas Navet, associate professor • Björn Ottersten, professor • Peter Y. A. Ryan, professor • Steffen Rothkugel, associate professor • Jürgen Sachau, professor • Christoph Schommer, associate professor, head of ILIAS • Ulrich Sorger, professor • Bernard Steenis, associate professor • Leon van der Torre, professor • Denis Zampunieris, professor Full list of publications: http://orbilu.uni.lu/simple-search?query=CSC More information: http://csc.uni.lu Since CSC counts among its major achievements the continued support of the SnT, please look at the SnT 2018 annual report to get a complementary overview of CSC activities in the area of Security, Reliability and Trust. In particular, we invite you to consult the SnT 2018 annual report for information regarding the activities and contributions of professors Briand and Ottersten and their respective groups. CHAPTER 3 CSC: A Personal View by Leon van der Torre, CSC Head 2015-2018 For three years I had the privilege of leading the computer science department of the University of Luxembourg. We received an excellent evaluation during the first scientific evaluation of departments at our young university, we moved to Belval, and we became involved in setting up the interdisciplinary space master. Here I present a personal outlook for the coming three years. Research The computer science department supports academic freedom and sees the pursuit of long-term scientific goals reflecting the strengths of its research groups as a crucial task. In comparison with other academic disciplines, com- puter science is a young, fast moving area, characterized by interdisciplinarity, which is why diversity and agility are central concerns. In fact, the department is establishing more and more links with other UL research groups, exempli- fied for instance by social robotics (for autism), LegalTech, Fintech, Cognitive systems, or Digital history. Three strategic topics have been identified over the past year, relevant for re- search and teaching, and for each topic a new professor will be hired. The first topic is machine learning and artificial intelligence, also related to the FSTC priority on data science. A new professorship in machine learning has been opened in CSC as well as in SnT, and they are expected to start in 2020. A complementary area of growing importance is human-centered and explainable AI. Here it is crucial to participate to European initiatives such as CLAIRE, where substantial steps have been made. In addition, there need to be even more efforts to strengthen our links with leading AI researchers in China, the US, and the rest of the world. The second topic is space informatics and robotics.