Centre Universitaire D'informatique

Centre Universitaire d’Informatique

c 2019 A tiv ity R e p

r t

TecDay, Collège de Candolle, Geneva, 2019 April 4th cui.u ni ge .c h Centre Universitaire d’Informatique Battelle - Bâtiment A 7, route de Drize CH-1227 Carouge Foreword 5

Organisation 9

CCL - Citizen Cyberlab 13 Prof. François Grey

CLCL - Computational Learning and Computational Linguistics 17 Prof. Paola Merlo Dr. James Henderson

CVML - Computer Vision and Multimedia Laboratory 21 Prof. Thierry Pun Prof. Sviatoslav Voloshynovskiy Prof. Stéphane Marchand-Maillet Prof. Alexandros Kalousis Dr. Guillaume Chanel

ISS - Institute of Information Service Science 27 Prof. Giovanna Di Marzo Serugendo Prof. Gilles Falquet Prof. Dimitri Konstantas Prof. Michel Léonard Prof. Nadia Magnenat-Thalmann Prof. Jean-Henry Morin

LATL - Laboratory for the Analysis and Technology of Language 51 Prof. Eric Wehrli

MMEF - Multimodal Modelling of Emotion and Feeling 57 Prof. David Rudrauf

PIG - Proteome Informatics Group 61 Dr. Frederique Lisacek

SMV - Software Modeling and Verification 65 Prof. Didier Buchs

SPC - Scientific and Parallel Computing 69 Prof. Bastien Chopard Prof. Jonas Lätt

TCS - Theoretical Computer Science 75 Prof. José Rolim

Thesis completed 79

Administrative Staff 91

Financial Report 95

Foreword 6 Centre Universitaire d’Informatique The Centre Universitaire d’Informatique, funded in 1975, federates research and teaching activities at the University of Geneva. With more than 200 members of staff, we develop key research com- petences in several areas, particularly on: Artificial Intelligence, Virtual and Augmented Reality, Services for Smart Cities, Modelling and Simulation, Information Security, E-Health and Quality of Life, Natural Language Processing. This research is supported by more than 4.45 MCHF of exter- nally funded money (38% of our total budget).

In addition to research, we developed reach out activities. Started in 2018, the Infoscope offers now 6 workshops for Geneva’s school primary and secondary classes. It also regularly goes outside our walls, meeting its public on various places or events, such as La Nuit de la Science, Tecdays, Ramène ta science, Futur en tous genres, Enhance your horizon, …

In 2019, CUI established the Digital Innovation Hub of the University of Geneva. Part of the Uni- versity’s digital strategy the Digital innovation hub has 3 main missions: (1) developing innovative services for the University community, (2) reaching out to the public, private, international sector with innovation activities or proof-of-concepts, (3) supporting students and researchers with digital projects that lead to commercial exploitation or social impact.

Besides 62 PhD students enrolled in our various doctoral programs, we have seen an increase of 25% of the number of BSc and MSc students, totalling over 300 students. This is also the result of two new programs started in 2019: the MSc in digital systems and services, a research-oriented program with various specialisations (e.g. Digital transformation, Knowledge engineering, Smart cities, User experience, Information security), and a new version of the MSc in Mathematics and computer science led jointly with our colleagues of Mathematics. Continuous education is also very present at CUI with programs covering various domains from data protection, information security, blockchain or information systems management.

Two awards recognised the research led in the field of Natural Language Processing. Ms Kristina Gulordava is the recipient of the Latsis prize 2019, for her PhD thesis entitled: Word order variation and dependency length minimisation : a cross-linguistic computational approach. Ms Gulordava Phd was supervised by Paola Merlo. Prof Merlo herself has been nominated Fellow of the Associa- tion for Computational Linguistics.

I seize this opportunity to thank all CUI members of staff, students and researchers for their hard work, commitment, innovation, reach out and research activities, all participating to our national and international visibility and excellence.

The coming years will see the development of interdisciplinary partnerships with other disciplines of the University of Geneva, the establishment of links with the local industry and administration, and a series of digital innovations for the University community.

Prof. Giovanna Di Marzo Serugendo Director of the CUI University of Geneva

Foreword 7 8 Centre Universitaire d’Informatique Organisation ENTITIES AND DIRECTORS Centre Universitaire d’Informatique

Director: Director: Department of • Bastien Chopard • Giovanna Di Marzo Serugendo Academic Advisor: Academic Advisor: Computer Science • Stéphane Marchand-Maillet • Marc Pochon Secretary: Direction assistant: • Anne-Isabelle Guintini • Elie Zagury System Engineer: Secretaries: • Daniel Agulleiro • Marie-France Culebras • Elisabeth Giudicelli • Maëlle Saintilan Student secretary: • Séverine Walter Director: System Engineer: Humanities • Paola Merlo • Nicolas Mayencourt Academic Advisor: Computing Unit • Sandra Rubal Secretary: • Eva Capitao

Director: • Giovanna Di Marzo Serugendo Secretaries: Information • Marie-France Culebras Service Science • Elisabeth Giudicelli

Information Science Director: Institute • Dimitri Konstantas

Director: Medical Informatics • Antoine Geissbuhler

Director: Multimodal Modelling • David Rudrauf of Emotion & Feeling

10 Centre Universitaire d’Informatique ORGANISATION CHART Faculty of Science Department of Sections & Departments Computer Science

Faculty of Humanities Humanities Sections & Departments Computing Unit

Geneva School of Social Sciences

RECTORATE Departments Information Service Science

Geneva School of Econo- mics and Management

Institutes

Faculty of Medicine Medical Informatics Sections & Departments

Faculty of Psychology and Educational Sciences Multimodal Modelling Sections & Departments of Emotion & Feeling

Centre Universitaire d’Informatique Organisation 11 12 Centre Universitaire d’Informatique www .c i t i

e r o . l a

b CCL Citizen Cyberlab

Infoscope, Geneva, 2018 May 14th Citizen Cyberlab

Domain Activities Team At Citizen Cyberlab, we are developing methods and studying Co-Directors motivations for new forms of public participation in research. François Grey We are researchers from a diversity of backgrounds – history, Associate professor informatics, learning, linguistics, medicine, physics, psycholo- H-index: 38 gy and more. Jointly, we initiate projects and organise events that encourage citizens and scientists to collaborate in new ways to solve big challenges. From online crowdsourcing to in- person hackathons, we are exploring and expanding the limits Rosy Mondardini of citizen science and human computation.

Citizen Cyberlab is based on a partnership between the Euro- pean Particle Physics Laboratory, CERN, the UN Institute for Training and Research, UNITAR, and the University of Gene- va, where several teams in different faculties contribute to Prof. Bruno Strasser the lab’s activity. In the following, we report activities, events and publications by or involving CUI members of the Cyberlab team.

Prof. Basile Zim- mermann

Senior Lecturer Dr. Thomas Maillart Dr. Jose Luis Fernandez-Marquez

PhD. Students Amudha Ravi Shankar Mallory Zhan Ahmed Riad Fayez Hussein Fayez Alrafeea Dana Mahr, postdoc, ERC/SNSF Consolidator Grant Elise Tancoigne, postdoc, ERC/SNSF Consolidator Grant Jérôme Baudry, postdoc, ERC/SNSF Consolidator Grant Lucas Mueller, ERC/SNSF Consolidator Grant Steven Piguet, scientific collaborator, ERC/SNSF Consolidator Grant René Sigrist, scientific collaborator, ERC/SNSF Consolidator Grant Martina von Arx, PhD Student, SNSF Sinergia

14 Centre Universitaire d’Informatique List of publications Refereed papers in international journals [1] Rafael Ruiz de Castañeda, Andrew M Durso, Nicolas Ray, José Luis Fernández, David J Williams, Gabriel Alcoba, François Chappuis, Marcel Salathé, Isabelle Bolon.Sna- kebite and snake identification: empowering neglected communities and health-care providers with AI. The Lancet Digital Health 1 (5), e202-e203 [2] Nicole E Kogan, Isabelle Bolon, Nicolas Ray, Gabriel Alco- ba, Jose Luis Fernandez-Marquez, Martin M Müller, Sha- rada P Mohanty, Rafael Ruiz de Castañeda. Wet markets [12] Thomas Maillart, Didier Sornette. Aristotle vs. Rin- and food safety: TripAdvisor for JMIR public health and gelmann: On superlinear production in open source surveillance 5 (2), e11477 software. Physica A: Statistical Mechanics and its Appli- [3] R Ruiz de Castañeda, Francois Grey, David J Williams. cations 523, 964-972 Citizen surveys could map snakebite risks. Nature 571 [13] Halabi, A., Zimmermann, B. Waves and forms: construc- (7766), 478-478 ting the cultural in design. AI & Soc 34, 403–417 (2019). [4] Steffen Fritz, Linda See, Tyler Carlson, Mordechai Muki https://doi.org/10.1007/s00146-017-0713-8 Haklay, Jessie L Oliver, Dilek Fraisl, Rosy Mondardini, Martin Brocklehurst, Lea A Shanley, Sven Schade, Uta Books and book chapters Wehn, Tommaso Abrate, Janet Anstee, Stephan Arnold, [14] Bruno J Strasser (2019) Collecting Experiments: Making Matthew Billot, Jillian Campbell, Jessica Espey, Marga- Big Data Biology . University of Chicago Press ret Gold, Gerid Hager, Shan He, Libby Hepburn, Angel [15] Jose Luis Fernandez-Marquez, Chiara Francalanci, Hsu, Deborah Long, Joan Masó, Ian McCallum, Maina Sharada Mohanty, Rosy Mondardini, Barbara Pernici, Muniafu, Inian Moorthy, Michael Obersteiner, Alison J Gabriele Scalia. E2mC: Improving Rapid Mapping with Parker, Maike Weisspflug, Sarah West. Citizen science Social Network Information. Organizing for the Digital and the United Nations sustainable development goals. World, Springer, Cham, 63-74. Nature Sustainability 2 (10), 922-930 [5] Bruno J. Strasser, Jérôme Baudry, Dana Mahr, Gabriela Research and technical reports Sanchez, Elise Tancoigne. (2019) « Citizen Science»? [16] Amudha Ravi Shankar, Jose Luis Fernandez-Marquez, Rethinking Science and Public Participation. Science & Barbara Pernici, Gabriele Scalia, Maria Rosa Mondar- Technology Studies 32, 52-76 dini, Giovanna Di Marzo Serugendo. Crowd4Ems: A [6] Bruno J. Strasser and Thomas Schlich. (2020) “A history crowdsourcing platform for gathering and geolocating of the medical mask and the rise of throwaway culture,” social media content in disaster response. International The Lancet , 396(10243), P19-20 Archives of the Photogrammetry, Remote Sensing and [7] Elise Tancoigne (2019), “Invisible brokers: ‘Citizen Spatial Information Sciences. Copernicus (42). 331-340 Science’ on Twitter”, JCOM , 18, 6 : A05. [17] Sara Barozzi, Jose Luis Fernandez Marquez, Amudha [8] Elise Tancoigne and Jérôme Baudry (2019), “La tête dans Ravi Shankar, Barbara Pernici. Filtering images extracted les étoiles ? Faire sens de l’engagement dans le projet de from social media in the response phase of emergency science participative SETI@home”, Réseaux , n° 214-215, events. 16th Conference on Information Systems for Cri- 2 : 109‑140 (English version: “Stars in their eyes? Making sis Response and Management, 1-12 sense of public involvement in the citizen science pro- [18] Strasser, BJ & M. Haklay (2018), Citizen Science: Exper- ject SETI@home”). tise, Democracy, and Public Participation , Berne: CSSI [9] Hadrien Macq, Elise Tancoigne, and Bruno J. Strasser (2020) “From Deliberation to Production: Public Partici- pation in Science and Technology Policies of the Euro- Others pean Commission (1998–2019).” Minerva , April 22 Press and media [10] Gregory Falco, Martin Eling, Danielle Jablanski, Mat- • Snakebite resolution set for Health Assembly approval, thias Weber, Virginia Miller, Lawrence A Gordon, Shaun SciDevNet, 11.05.2018 Shuxun Wang, Joan Schmit, Russell Thomas, Mauro • AI has ‘enormous’ potential to transform health sector, Elvedi, Thomas Maillart, Emy Donavan, Simon Dejung, SwissInfo, 16.05.2018 Eric Durand, Franklin Nutter, Uzi Scheffer, Gil Arazi, Gil- • Les morsures de serpents cartographiées, RTS, 13.07.2018 bert Ohana, Herbert Lin. Cyber risk research impeded by • UNIGE: une carte planétaire des morsures de serpent, disciplinary barriers. Science 366 (6469), 1066-1069 SwissInfo.ch, 13.07.2018 [11] Katherine E Miller, Linda Bäbler, Thomas Maillart, Afik • La lutte contre les serpents dangereux s’intensifie, Tri- Faerman, Steven H Woodward. Sleep/wake detection by bune de Genève, 13.07.2018 behavioral response to haptic stimuli. Journal of Clinical • Serpents, poison des zones rurales, Le Temps, 10.04.2018 Sleep Medicine 15 (11), 1675-1681

Citizen Cyberlab 15 Funded research projects Teaching Participation to European projects • Citizen Science on the Web (Master), spring semester, (principal teacher: Francois Grey, participating teachers: Geneva Tsinghua Initiative , Jose Luis Fernandez Marquez, Rosy Mondardini, Tho- The Geneva Tsinghua Initiative is the world’s first com- mas Maillart) 6 students in 2019. prehensive education programme for the SDGs • Open Science (Bachelor), autumn semester, (principal Director: François Grey teacher: Francois Grey, participating teachers: , Jose Luis Period: 2016 - 2023 Fernandez Marquez, Rosy Mondardini, Thomas Mail- Website: https://gt-initiative.org/ lart) 39 students in 2019. ___ • Sustainable Development and Political Agendas (Mas- ter) autumn semester, (principal teacher: Jörg Balsiger, E2mC: Evolution of Emergency Copernicus services project participating: Francois Grey, Jose Luis Fernandez Mar- The E2mC Project is co-funded by the European commission quez, Rosy Mondardini, Thomas Maillart), 30 students / H2020 Programme in 2019. Grant Agreement No. 730082 • Science Expertise and Sustainable Development (Mas- Principal investigator: François Grey ter) spring semester (principal teacher: Bruno Strasser, Period: 2016 - 2019 participating: Thomas Maillart and Francois Grey), 25 ___ students in 2019.

DITOs: Doing It Together science The DITOS Project is co-funded by the European commission / H2020 Programme Grant Agreement No. 709443 Principal investigator: Bruno Strasser Period: 2016 - 2019

Participation to National projects

The Rise of Citizen Science? Rethinking Science and Public Participation The Project is an ERC/SNF Consolidator Grant funded by the SNF. BSCGIO_158887 Principal investigator: Bruno Strasser Period: 2015 - 2020 ___

Development of Personalized Health in Switzerland: Social Sciences Perspectives SNSF Sinergia grant Co-Principal investigator: Bruno Strasser Period: 2019 - 2022 ___

SDG Solution Kit: enhancing bottom-up citizen science initia- tives The SDG Solution kit is co-funded by the Boninchi Founda- tion Principal investigator: François Grey Period: 2017 - 2019 ___

Interactional expertise, forms and the Imitation Game : the integration of migrants in Beijing municipality Funded by China Study Plan Principal investigator: Basile Zimmermann Period: 2015 - 2019

16 Centre Universitaire d’Informatique clcl .un ig e

. c h CLCL Computational Learning and Computational Linguistics

TecDay, Collège de Candolle, Geneva, 2019 April 4th Computational Learning and Computational Linguistics

Domain activities Team Directors All speakers can understand a sentence never heard before, or derive the mea- Paola Merlo ning of a word or a sentence from its parts. And yet, these basic linguistic skills have proven very hard to reach by computational models. The current Associate professor reported success of machine learning architectures is based on computatio- H-index: 22 nally expensive algorithms and prohibitively large amounts of data that are available for only a few, non-representative languages.

The Computational Linguistics and Computational Learning (CLCL) Research Group (http://clcl.unige.ch/) is concerned with interdisciplinary research combining linguistic modelling with machine learning techniques. We study the notion of similarity and association in the human mono-linguland bilingual Assistants (PhD students) lexicon and compare it to current vectorial representations; we study the pro- Francesco Ackermann perties of argument structures and clauses as an expression of their local and non-local compositionality; we address the problem of language universals Maria Andueza Rodriguez — rules and principles that are the same for all languages in the world despite Haozhou Wang their great apparent diversity. Administration Eva Capitao

18 Centre Universitaire d’Informatique List of publications Refereed papers in international journals [1] Paola Merlo and Maria A. Rodriguez (2019), Cross-lingual word embeddings and the structure of the human bilingual lexicon, Proceedings of the Conference on Na- tural Language Learning (CONLL’19), Brussels. [2] Haozhou Wang, James Henderson and Paola Merlo (2019), Weakly-Supervised Concept-based Adversarial Learning for Cross-lingual Word Embeddings, Procee- dings of the conference on Empirical Methods in Natural Language Processing and 9th International Joint Confe- rence on Natural Language Processing, November,Hong Kong. [3] Paola Merlo (2019), Probing word and sentence embeddings for long-distance dependencies effects in French and English, Proceedings of the 2019 ACL Works- hop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP. [4] Giuseppe Samo and Paola Merlo (2019), Intervention effects in object relatives in English and Italian: a study in quantitative computational syntax», Proceedings of SyntaxFest, August, Paris, France.

International and national advisory committees • Paola Merlo, Member of the Executive Board for the As- sociation for Computational Linguistics.

International and national Research Pro- grams Committees • Expert for ERC Consolidator and Starting Grants.

PhD Thesis Committees • Myriam De L’Honeux, Linguistics, Uppsala, November 2019, external examiner.

Member of conference/workshop program Funded research projects committees Participation to National projects • Conference on Empirical Methods in NLP, EMNLP 2019, Hong Kong. LAOS (Learning Representations of Abstraction in Text) • Annual Meeting of the Association for Computational SNF Linguistics, ACL 2019, Florence. Principal Investigator: James Henderson • American Association for Artificial Intelligence, (AAAI) Idiap Research Institute 2019. Period: Oct. 2018 - Sept. 2022 ___

INTREPID (Automated interpretation of political and economic policy documents: Machine learning using semantic and syntactic information) SNF Sinergia Idiap Research Institute, Graduate Institute of International and Development Studies Principal Investigator: James Henderson Idiap Research Institute Period: Jan. 2019 - Dec. 2022

Computational Learning and Computational Linguistics 19 Others Teaching Refeereeing • Développement Web, Bachelor, 6 ECTS, 39 hours, 25 • Language students • Algorithmique et programmation, Bachelor, 6 ECTS, 65 Press Release hours, 15 students • SNF page on NCCR: http://www.snf.ch/en/researchin- • Bases de données, Bachelor, 6 ECTS, 22 hours (TP), 12 Focus/newsroom/Pages/news-191216-new-national- students centres-of-competence-in-research.aspx). • Structure de données et programmation orientée ob- jets, Bachelor, 6 ECTS, 56 hours, 7 students Invited talks • Artificial Intelligence: Principles and methods, Bache- • Syntaxfest, Computational Quantitative Syntax: long- lor, 4 ECTS, 56 hours, 18 students distance dependencies, Paris, August 2019. • Traitement automatique du langage: approches linguistiques et approches statistiques, Master, 6 ECTS, 56 hours, 21 students Others • Traitement automatique du langage: projet, Master, 6 • Member of the External Advisory Board of the Centre of ECTS, 2 students Doctoral Training on NLP, University of Edinburgh, star- • Empirical Methods in Natural Language Processing, ting Fall 2019. Master, 6 ECTS, 56 hours, 12 students • Kristina Gulordava, Latsis Prize for her doctoral disserta- • Nouvelles Technologies de l’Information et de la Com- tion, University of Geneva. https://www.unige.ch/cite/ munication, Bachelor, 6 ECTS, 56 hours, 20 students evenements/prix-latsis-universitaires/precedentes-edition/prix-latsis-2019/ • Paola Merlo Fellow of the Association for Computatio- nal Linguistics • For pioneering research on the fundamental problem of verb predicate-argument structure and the automatic acquisition of the lexical, syntactic and lexical semantic properties of verbs, as well as for valuable service to ACL as editor of the CL journal: https://www.aclweb.org/ portal/content/acl-fellows-2019

Figure 1: Kristina Gulordava, Latsis Prize

20 Centre Universitaire d’Informatique cvm l.u n i

. c h CVML Computer Vision and Multimedia Laboratory

(R)amène ta science, C.O. Vuillonnex, Geneva, 2019 April 12th Computer Vision and Multimedia Laboratory

Domain activities Team The Computer Vision and Multimedia Laboratory (CVML, http://cvml.unige.ch), Direction divided into three groups, carries out research in multimedia data processing, mul- Thierry Pun timedia data management and security, as well as in multimodal human-machine Full professor interaction. Research applies to media such as text, audio tracks, sounds, images H-index: 56 and videos, and to physiological signals. (Honorary professor since Information Retrieval and Machine Learning group (Viper, Prof. S. Marchand-Mail- August 2018) let, Prof. A. Kalousis, http://viper.unige.ch): develops strategies for the efficient -mo deling, indexing, retrieval and exploration of large-scale datasets. The group studies Sviatoslav Voloshynovskiy fundamental machine learning strategies to provide efficient and accurate unders- Associate professor tanding and access to large-scale collections of complex data. Research themes H-index: 34 include information retrieval, recommendation systems, data analytics and exploration, learning over sequential and temporal data, structured and kernel learning, regularization techniques for neural networks. Applications are considered in the fields of data visualization, forecasting, IoT, chemoinformatics, biomedicine. Stéphane Stochastic Information Processing group (SIP, Prof. S. Voloshynovskiy, http://sip. Marchand-Maillet unige.ch): studies various aspects of information theory and statistical (stochastic) information analysis and processing. The applications mostly cover object identifi- Associate professor cation and authentication based on unclonable object features in large nonstruc- H-index: 25 tured databases originating from various imaging techniques, mass-spectrometry and bioinformatics. Current research also concerns privacy preserving search, indexing and multiclass classification. Alexandros Kalousis Multimodal Interaction group (MMI, Prof. T. Pun, Dr. G. Chanel, http://cvml.unige. Full professor ch/MMI): affective computing and multimodal interaction. Studies various forms of University of Applied interaction between humans, computers, and environment. Used modalities: haptic, auditory, visual (e.g. facial expressions measured by a camera), eye-movements, Studies, Geneva School of and based on physiological signals such as EEGs (electroencephalograms),EMG Business Administration (electromyograms), blood pressure, galvanic skin resistance (GSR) and skin tempe- H-index: 30 rature, breathing rate. Current developments concern: affective state determina- Guillaume Chanel tion and emotion recognition and their use for affective computing, multimodal interaction, brain-computer interfaces, the domain of entertainment, mobility aids Senior Lecturer and for sight handicapped people and for the elderly. Member of the Swiss Center for Researcher (also affiliated Affective Sciences. Strong cooperation with faculties of psychology, literature and with the Swiss Center for medicine. Affective Science) H-index: 25 The CVML has various specialized equipment and associated software: • portable microscope with wireless communications for item identification Senior researchers and authentication; Dr. Guido Bologna (also affiliated with Univer- • Computer cluster of 20 Dual Core 3GHz PCs each with 8 Gb RAM and 500Gb sity of Applied Studies, Geneva) disk, inter-connected with GigaBit Ethernet. Dr. Mohammad Soleymani • servers with high storage (overall 5Tb, Raid 5) and processing capabilities (1 Dr. Taras Holotyak Transtec Calleo (2 Xeon Dual Core, 12Gb RAM) and 2 SunFire X4150 (2 QuadCore, Dr. Anna Aljanaki 32Gb RAM each), all 64bits architecture). • Biosemi Active II EEG acquisition system (http://www.biosemi.com/) with Assistants (PhD 64+16 electrodes, with other sensors to record heart rate, GSR, skin tempera- students) ture, breathing rate, blood pressure, and EMGs; Lionel Blondé Chen Wang • Guger Technology gTec gMobilab+ mobile physiological signals recording system François Bogacz Olga Taran (http://www.gtec.at/); Etienne Brangbour Shideh Rezaeifar • Eckel C14 audiometric research chamber (http://www.eckel.ca/) with electroma- Sohrab Ferdowsi Behrooz Razeghi gnetic insulation (Faraday cage), 2.16m x 1.80m x 2.37m; Magda Gregorova Denis Ullmann • Eye-trackers: Tobii Pro TX300, Tobii nano, QuickGlance 2 (EyeTech Digital Systems); Dimche Kostadinov Slavi Boney • head-mounted display Emagin z800; Amina Mollaysa Brandon Panos • stereo cameras: Videre Design STH-MDCS2, Bumblebee CCD BB2-03S2C-60; Michal Muszinsky • 3D time-of-flight camera SR4000 3D; Xavier Ouvrard Developers / Desi- • combined 3D time-of-flight + luminance camera PMD CamCube 3.0 200x200 Dimitris Dardanis gners pixels; Jason Ramapuram Maurits Diephuis • combined 3D + color camera Microsoft Kinect, Lytro, etc.; Soheil Rayat-Doost • light field camera: Raytrix. Pablo Strasser Administration • Wearables: E4 wristband, Microsoftband, bitalino, seeeduino, … Maëlle Saintilan 22 Centre Universitaire d’Informatique List of publications Refereed papers in international journals [1] S. Voloshynovskiy, M. Kondah, S. Rezaeifar, O. Taran, T. Hotolyak, and D. J. Rezende, «Information bottleneck through variational glasses,» in Proc. NeurIPS Workshop on Bayesian Deep Learning, Vancouver, Canada, 2019. [2] B. Razeghi, T. Stanko, B. Škoric´, and S. Voloshynovskiy, «Single-Component Privacy Guarantees in Helper Data Systems and Sparse Coding with Ambiguation,» in Proc. IEEE International Workshop on Information Forensics and Security (WIFS), Delft, Netherlands, 2019. Participation to National projects [3] O. Taran, S. Rezaeifar, T. Holotyak, and S. Voloshynovskiy, «Robustification of deep net classifiers by key based FNRS-SNSF, Swiss National Science Foundation: diversified aggregation with pre-filtering,» in Proc. IEEE International Conference on Image Processing (ICIP), Impressions (Seconds that matter: Managing first impres- Taipei, Taiwan, 2019. sions for a more engaging virtual agent) [4] S. Rezaeifar, B. Razeghi, O. Taran, T. Holotyak, and S. Vo- SNF Nr. 200021E-164326 / 1, Lead Agency Framework, joint loshynovskiy, «Reconstruction of privacy-sensitive data French-Swiss project. from protected templates,» in Proc. IEEE International French principal investigator: Prof. C. Pélachaud, Télécom- Conference on Image Processing (ICIP), Taipei, Taiwan, ParisTec. Swiss co-PI: Prof. T. Pun, Dr. G. Chanel. 2019. [pdf|bib] Period: June 2016 - June 2020 [5] O. Taran, S. Rezaeifar, T. Holotyak, and S. Voloshynovskiy, «Defending against adversarial attacks by randomized ___ diversification,» in Proc. IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Long Beach, USA, Machine Learning based Analytics for Big Data in Astronomy 2019. SNF NRP75 project (407540_167158) [6] M. Gheisari, T. Furon, L. Amsaleg, B. Razeghi, and S. Vo- Joint project between the University of Geneva and Fa- loshynovskiy, «Aggregation and Embedding for Group chhochschule Nordwestschweiz. Membership Verification,» in Proc. IEEE International Principal investigator for the entire project: Prof. S. Voloshy- Conference on Acoustics, Speech and Signal Processing novskiy, Computer Science Dpt., Univ. of Geneva (ICASSP), Brighton, United Kingdom, 2019. Period: May 2017 - April 2020 [7] O. Taran, S. Bonev, and S. Voloshynovskiy, «Clonability ___ of anti-counterfeiting printable graphical codes: a machine learning approach,» in Proc. IEEE International Identification for the Internet of Things Conference on Acoustics, Speech and Signal Processing SNF project (20CH21_167543) (ICASSP), Brighton, United Kingdom, 2019. CHIST-ERA project with the Technical University of Eindho- [8] D. Kostadinov, B. Razeghi, S. Rezaeifar, and S. Voloshynov- ven (PI of this project), the Netherlands, INRIA/IRISA-Rennes, skiy, «Supervised Joint Nonlinear Transform Learning France and the University of Geneva. with Discriminative-Ambiguous Prior for Generic Priva- Principal investigator at the University of Geneva: Prof. S. cy-Preserved Features,» in Proc. 53rd Annual Conference Voloshynovskiy, Computer Science Dpt., Univ. of Geneva on Information Systems & Sciencese (CISS), Maryland, Period: February 2017 - January 2020 USA, 2019. Others Funded research projects Participation to European projects PubliMAPE: (PUBLic Information MAPped to Environmental events) IMPRESSIONS Joint project between University of Geneva and Luxem- Seconds that matter: Managing first impressions for a more bourg Institute of Science and Technology (LIST). engaging virtual agent Principal investigator: Dr. Pierrick Bruneau (LIST). Nr. 200021E-164326 / 1, Lead Agency Framework Prof. Stéphane Marchand-Maillet Joint French - Swiss project Period: September 2017 - August 2020 French principal investigator: Prof. C. Pélachaud, Télécom- ___ ParisTec. Swiss principal investigator: Prof. T. Pun, Dr. G. Chanel CollSpotting: Visualisation of Large-Scale Collaboration Period: July 2016 - June 2019 Networks Joint project between University of Geneva and CERN Principal investigator: Dr. J-M Le Goff (CERN). Prof. Stéphane Marchand-Maillet Period: September 2016 - August 2019

Computer Vision and Multimedia Laboratory 23 Technology transfer • Spin-off: Anteleon Imaging S.A.R.L. (founded August Image interestingness database 2003, http://www.anteleon.com/), specialized in multi- Title of the service/product/process: Image interestingness media documents protection and management, water- database marking, authentication and tamper proofing as well as Type: dataset of 1005 images brands protection. External partners involved in the development (if any): none • U-nica Sytems, AG (Malans) (http://www.u-nica.com) Client or End user(s) : Computer vision and multimedia according to Collaborative and Research Agreement community between the University of Geneva and U-nica Systems Brief description: It is a collection of photos with labels on in the domain of physical object protections against emotion, aesthetics and interest. counterfeiting based on the University of Geneva pa- ___ tented technology. • GEDECE, S.A.R.L. Geneva (http://www.gedece.org) tech- Emotion in Music database nology licencing and collaboration in the domain of Title of the service/product/process: Emotion in Music data- physical objects security and image processing. base • Guillaume Chanel was mandated by Airbus, Toulouse, Type: dataset of more than 2700 songs France from June 2017 to December 2018 to work on External partners involved in the development (if any): Aca- ambulatory health monitoring. demia Sinica, Taiwan, Utrecht University, the Netherlands • Patent application: S. Voloshynovskiy, M. Ferrari, O. Ta- Client or End user(s) : Music information retrieval commu- ran, T. Holotyak, K. Eigazarian, Signal sampling with joint nity, psychologists training of learnable priors for sampling operator and Brief description: It is a collection of songs with creative decoder, August 28, 2018 (submitted). commons license with dynamic and static emotional annotations. Open software and databases ___

CSEM 25 MAHNOB-HCI database Title of the service/product/process: CSEM-25 Title of the service/product/process: MAHNOB-HCI data- Type: dataset of object classes base External partners involved in the development (if any): Type: database of emotional responses CSEM External partners involved in the development (if any): Im- Client or End user(s) : Computer vision community perial College London, UK Brief description: Captured with a Raytrix R5 camera, CSEM- Client or End user(s) : Researchers from affective computing, 25 is a multipurpose dataset of 5 object classes to address computer vision and psychology several aspects of computer vision applications using light Brief description: A database of emotional reactions to vi- field with a lens-grid-based representation. deos including, facial expressions, physiological signals and Website: http://csem.ch/csem-25-db eye gaze. ______DEAP GIF interestingness database Title of the service/product/process: DEAP - Title of the service/product/process: GIF interestingness Type: database of emotional responses database External partners involved in the development (if any): - Type (software, educational program, database, etc.): data- Queen Mary University of London, UK, University of Twente, set of GIFs Netherlands, EPFL - External partners involved in the development (if any): ETH Client or End user(s) : Researchers fro maffective computing, Zurich computer vision and psychology - Client or End user(s) : Multimedia community Brief description: A database of emotional reactions to - brief description (1 line): It is a collection of GIFs with labels music videos including, facial expressions and physiological on emotions, aesthetics and interest. signals ______

TEAP Title of the service/product/process: TEAP Type: Toolbox (open source) External partners involved in the development (if any): none Client or End user(s) : Researchers from affective computing and physiological signal analysis Brief description: A toolbox for extracting emotionally relevant features from physiological signals ___

24 Centre Universitaire d’Informatique EATMINT Title of the service/product/process: EATMINT database Type: Database External partners involved in the development (if any): none Client or End user(s) : Researchers from affective computing and social signal processing Brief description: A database for the analysis of collaboration from behaviors and physiological reactions ___

PharmaPack - Title of the service/product/process: PharmaPack database of pharmaceutical packages acquired by mobile phones - Type (software, educational program, database, etc.): Data- base of 1000 packages enrolled from 54 positions in automatic mode and 16 hand-held recognition images. - External partners involved in the development (if any): none

Teaching • Human-computer interaction (Affective computing • Information Analysis and Processing, Computer and multimodal interaction part), Master, with Profs. Science, Master, postgrades, 28h. course and 28h. prac- G. Falquet et L. Moccozet. 56h practical work, approx. 10 tical work, approx. 25 students. 4 ECTS students. 8 ECTS. • Data Structures, Computer Science, 1st year Bachelor, • Digital image processing and synthesis, Computer 56h. course and 56h. lab work, approx. 30 students. 7 Science, 3rd year Bachelor, T. Pun, optional for Master ECTS and postgraduate students, 56h. course and 56h. practi- • Hands-on Programming (practical complement to Data cal work, approx. 15-20 students. 8 ECTS. Structures), 1st year Bachelor. 56h Practical work, 20 • Introduction to algorithms, Computer Science, 1st year students. Bachelor, 56h. course, 28h exercises and 56h. lab work, • Operating systems (Systèmes informatiques), 2nd year approx. 40-50 students, T. Pun Bachelor, 28h course, 28h exercices, 56h lab work, 15 • Avanced image processing, Computer Science, Master, students, Dr. J.-L. Falcone postgrades, 28h. course and 28h. practical work, approx. • Computer Science Project, Computer science, 3rd year 8 students. Bachelor, 28 hours course and 56 hours lab. Approxima- • Elements of information theory, Computer Science, 2nd tely 10 students. year Bachelor, Master, postgrades, 28h. course and 28h. • Computer Science Applications, 2nd year Bachelor, 40 practical work, approx. 25 students. hours of applied computer science with a real client, • Data mining, Computer Science, 3rd year, Master in approx. 15 students statistics, 1st year, 28h. course and 28h. practical work, • Industrial Internships, Summer Semester (3 months aprox. 20 students. supervision), 5 students. • Artificial Intelligence, Computer Science, 3rd year, 28h. • Weekly Computer Vision and Multimedia seminars, course and 28h. practical work, aprox. 30 students. 4 graduate students and senior researchers, 1h. per week, ECTS. about 15 PhD students, post-docs, seniors, visitors. • Multimedia security and privacy, Computer Science, Master, postgrades, 28h. course and 28h. practical work, approx. 8 students. • Information Retrieval, Computer Science, Master, postgrades, 28h. course and 28h. practical work, approx. 15 students. 4 ECTS

Computer Vision and Multimedia Laboratory 25 26 Centre Universitaire d’Informatique iss.un ig e

c h ISS Institute of Information Service Science

Infoscope, Geneva, 2018 Institute of Information Service Science Team Senior Researchers Giovanna Di Marzo Serugendo Claudine Métral Dr. Grigorios Anagnostopoulos Full professor MER Maher Ben Moussa H-index: 29 Dr. Giuseppe Cosenza Dr. Vincenzo Daponte Dr. Michel Deriaz Dr. Marios Fanourakis Dr. Akram Abdulghani Hezam Gilles Falquet Laurent Moccozet Mohammed Associate professor MER Dr. Abdelaziz Khadraoui H-index: 18 H-index: 17 Dr. Thomas Maillart Dr. Dejan Munjin Dr. Niels A. Nijdam Dr. Mehdi Snene Dimitri Konstantas Jean-Henry Morin Dr. Vedran Vlajki Full professor Associate professor H-index: 29 Scientific Collaborators Florentina Olivia Balu Anastasija Collen Christophe Jeannette Michael Mesfin Michel Léonard Jolita Ralyté Honorary professor MER Assistants / PhD Students H-index: 21 H-index: 22 Hammoud Abbass Oumaima Ajmi Sahar Aljalbout Fayez Alrafeea Evangelia Baka Nadia Magnenat-Thalmann Jean-Marc Seigneur Georges Bediang (external) Honorary professor MER Houssem Ben Mahfoudh H-index: 90 H-index: 20 Allan Berrocal Rojas Ashley Caselli Alexandre De Masi Sami Ghadfi Laëtitia Gosetto Katarzyna Wac Athanasios Kyritsis Associate professor Vlad Manea H-index: 24 Aman Sabrina Nwatchouck A Koul Mohammad Parhizkar Amudha Ravi Shankar Arbër Salihi Simon Sénécal Panagiotis Kostopoulos Thang Le Dinh Benedetto Marco Serinelli Michaël Reolon Tang Min Christiana Tsiourti Mathieu Tappolet Yanlong Tang Ruofeng Tong Developpers / Designers (PAT) Fellowships Tommaso Venturini Marlène Arevalo-Poizat Sophie Pusterla Sharon Wulfovich David Beni Dr. Jonathan Bertaloccini Visiting Academic Guests Administration Nedjma Cadi-Yazli Dr. Antoine Burret Marie-France Culebras Mariem Jaouadi Anne-Françoise Cutting-Decelle Elisabeth Giudicelli Marios Karagiannis Zang Fanglue Jean-Pierre Hurni Dr. Gerlinde Kristahn

28 Centre Universitaire d’Informatique Domain activities

Services represent the most growing sector of the economy in industrialized nations. Services science is arising from the rapid development of services across the industrial world and the need to analyze and study the organization, deployment, maintenance and operation of those related IT based and IT supported services. Services Science represents an interdisciplinary approach to the systematic innovation in service systems, integrating management, social, legal and engineering aspects.

ISS is an inter-faculty research laboratory of the Centre Universitaire d’Informatique of the University of Geneva (iss.unige. ch). As a team of 65 staff members, we are active in research, technology watch, creativity and teaching. We are currently participating in 29 research projects (EU/Cost/CTI/SNF/Private funding) representing a funding of 3.3M/year. By its very mission, ISS targets research-led innovative services exploiting information and digital technology, such as services for mobile users, for seniors, or for specific industry needs. We developed a series of solutions specifically targeting the seven application domains: • Smart and Sustainable Cities • Digital Humanities • Environment • Health and Quality of Life • Information Security • Indoor positioning • Processing data coming from smartphone or wearable sensors

Our major areas of research cover: • Autonomous Adaptive Services, Pervasive Services • Services for mobile users • Multimedia services • Digital Rights Management and Policies for Services • Knowledge Engineering, Semantic Web, Ontology • M-health, E-Health, Ambient Assisted Living • Multimedia Services, Virtual Reality, Augmented Reality • Modeling, Business Process Methods • Trust and Online Reputation Management • Augmented Human • Smart City Digital Management • Service Law Compliance • Geographical Information Systems • E-Learning • Social Networks Analysis, Predictive analytics • Indoor positioning • Processing data coming from smartphone or wearable sensors • Data visualization in 3D city models • Quality of data and semantic queries in volunteer geographic information

We are also part of the Hub in Environmental Informatics of the University of Geneva aiming at developing research and teaching in this area.

Our additional strong involvement in interdisciplinary think groups places us at the forefront of the technology watch in Ser- vices Science in Switzerland. We regularly contribute to creativity and innovation hands-on experiments targeted at industry. We also participate to a full range of academic programs in Information Systems and Services Science (BSc, Msc, Executive Programs and PhD).

Our international network includes many academic institutions, public administrations, creativity and innovation consul- tants, think tanks and services providers across Europe, Asia, North America.

Institute of Information Service Science 29 Gilles Falquet, Laurent Moccozet and Claudine Métral - help human beings merge with software and keep pace with Knowledge Engineering @ ISS advancements in artificial intelligence. It seems that there is Knowledge Engineering @ ISS is a research laboratory of an increasing trend towards augmenting humans not only the Institute for Information Service Science (ISS) within to retrieve their abilities after being disabled but also beyond the Center for Computing (CUI) at the University of Geneva. their normal abilities. We have contributed to this trend with KE@ISS is conducting research on knowledge engineering: the organization since 2010 of the augmented human inter- knowledge representation, knowledge-based information national conferences focusing on scientific contributions to- systems, and interfaces to access knowledge, with an em- wards augmenting human capabilities through technology. phasis on ontologies, semantic web, information extraction, We are researching how these augmented human technolo- and space-related applications. gies can improve computational trust assessment not only The main results obtained in 2019 relate to of machines but also of humans. • Information extraction and classification to improve the security of the Internet of things through semantic firewalls; Giovanna Di Marzo Serugendo - Collective Adaptive Sys- • The contextualization of knowledge graphs: creation tems - http://unige.ch/cui/cas/ of a language to express contextualized ontologies and Collective Adaptive Systems refer to a form of complex sys- knowledge graphs, development of a complete contex- tems where a large number of heterogeneous entities inte- tual reasoning system for this language; ract without specific external or internal central control, • The visualization of scientific knowledge: creation of an adapt their behaviour to environmental settings in pursuit ontology of scientific knowledge objects and a visualiza- of an individual or collective goal. Actual behaviour arises as tion system to map knowledge entities to visual entities; an emergent property through swarm or collective intelli- • The publication of geospatial data on the Semantic gence. Web: definition of a technique to formally specify how Examples include understanding emergence and social be- geospatial data from several sources are integrated and haviour of natural life (e.g. bacteria self-organising to over- mapped to linked-data entities. come shortage of food), engineering swarm robotics, developing socio-technical systems and more generally developing Nadia Magnenat-Thalmann - MIRALab services for smart and sustainable cities. We lead and deve- MIRALab was founded in 1989 by Professor Nadia Magne- lop research in three main areas: nat-Thalmann and has brought together PhD students • Studying natural systems (e.g. biological, social, human and researchers from different fields, from 3D graphics, 3D ones) and identifying essential models, mechanisms simulation, social robotics, 3D fashion design, and cognitive and interactions at work at the heart of those systems, science. This truly interdisciplinary group continues to work mostly through agent-based models, simulations and in the field of medical informatics, virtual worlds, and virtual design patterns. humans. • Designing and developing artificial collective adaptive Since 1992, MIRALab has participated in more than 50 Eu- systems and different forms of emergent behaviour (e.g. ropean Projects and contributes to the organization of two swarm robotics, ecosystems of spatial services for smart International Conferences, CASA and CGI. cities, higher-order emergence) In 2019, MIRALab is working on the European project ViMM • Verifying the reliability and trustworthiness of those (Virtual Multimodal Museum). This project is a major, high- systems prior to their deployment in real-life settings. impact Coordination and Support Action (CSA - 2016 - COOP- 8) for Virtual Museums, within the overall context of Euro- pean policy and practice on Digital Cultural Heritage. This Jean-Henry Morin - Digital Rights & Policy project is supported by a set of 50 excellence examples and As our society and economy continues to move towards inte- three regional case studies in culturally rich regions of South rwoven digital services and systems, blending the real and Europe recovering from economic recession. The results of the artificial world, our research activities continue to inves- this work are visible on the ViMM website www.vi-mm.eu tigate some of the complex challenges and issues towards and through its social media. a more sustainable and responsible digital society. Informa- tion Protection and Control (IPC) in general and the growing Jean-Marc Seigneur - Computational Trust & Augmented need for Data Protection have become recognized area where Human increased research is needed. We continue our work in those For ages, humans have used the human notion of trust as areas with a particular look at distributed ledger technolo- a means to cope with uncertainty, to engage in an action in gies (blockchain) as a mechanism to support new services spite of the risk of a harmful outcome. More recently, com- and designs to support increasingly complex requirements. putational models of this human notion of trust have been Major examples of these research issues we are currently researched in order to be able to use trust in the digital world working on include data marketplace ecosystems, dispute as well, between computers and/or digital accounts control- resolution and arbitration, data protection and digital rights led by remote humans, from direct observations to recom- and policy management. mendations and online reputation. Decentralized trust solu- From July 2016 to July 2017, Jean-Henry Morin is on sabbatical tions such as blockchains are revolutionizing many business leave in South Korea where he is Invited Professor at Korea domains from banking to supply chain certification. In the University Business School and Yonsei School of Business. near future, it is even envisioned that humans and compu- During this time, he is also invited researcher at Fasoo.com ters merge together: Elon Musk has recently created a new where he investigates blockchain technologies in Informa- venture for implants in the human brain with the aim to tion Security. 30 Centre Universitaire d’Informatique Dimitri Konstantas - Mobile services tability, compliance to the regulatory framework, and risks. Mobile services and applications are today an indispensable The robustness and sustainability of services will depend part of our daily life. We are using our smartphones to access not only on the quality but also on the situational-fitness of our mail, chat with friends and colleagues, take and store the approach. Indeed, the context and requirements of each photographs and videos, obtain guidance and route infor- organisation facing the digital transformation challenge mation, play games, access the internet and even measure is different, and therefore requires a situation-specific ap- our daily activities and our physical performance and obtain proach. We apply situational Method Engineering principles highly personalized services and information. In other words, and techniques for developing our approach and defining smartphones are today indispensable to all our daily acti- contextual criteria for its configuration and application. vities. For the past few years we have been working in the development of mobile services and applications in different Michel Deriaz - TaM group domains, including services for the elderly, services for civil Welcome to TaM, the Travelling and Mobility R&D team engineers and security applications. from the University of Geneva. We are specialized on indoor Since 2009 we have been applying the results of our research positioning as well as on processing data coming from in the study and development of services for the aging so- smartphone or wearable’s sensors. Most of our innovative ciety and for mobile services of elderly. In this context, in solutions are developed on Android phones. To understand 2016 we have succeeded acquiring 4 European projects in the users’ needs and deploy our solutions in the market, we the Ambient Assisted Living (AAL) program, 2 technology benefit from strong links with industrial partners. transfer projects (CTI), one FNRS project (memory condition The TaM group is a member of the Institute of Services of Eldrrly) and one H2020 (Security in IoT). Our work in the Science (ISS) and belongs to the Computer Science Centre domain of ageing society concentrates in the study of lifes- (CUI, for Centre Universitaire d’Informatique) from the Uni- tyle of senior persons (age 65 and more) and the creation versity of Geneva. Our team is today composed of PhD can- of mobile services for monitoring the activities of the users didates, scientists and developers. Some of us are used to and providing them proactive information regarding acti- work in private companies. We have the know-how to cover vities to do (realising the basic directive for senior persons the complete lifecycle of a R&D project, from its initial idea : do not stay inactive), putting them in contact with other to a fully operational prototype. By using agile development users with similar interests (socialisation), providing them methods, we combine the advantages of fast prototyping, the means for getting help from formal and informal care early involvement of users, and high-quality products. givers, and even advising them on diet and exercise. In this projects we collaborate with local (Geneva based) industrial Katarzyna Wac - Quality of Life Technologies Lab - www.qol. partners that are offering services for seniors. The research unige.ch results from the AAL and H2020 projects are then transfered, Quality of Life (QoL) technologies lab vision is to be a leading via the CTI technology transfer projects, towards commercial academic laboratory recognized for inter-disciplinary, ins- applications and services. Our research is carried out in four pirational and high-impact research and education aimed specialised Laboratories, the Conscious Analytics System at improving Quality of Life of individuals throughout their Laboratory (CASlab), the Quality of Life Laboratory (QoL), the lives. The lab leverages behavioral markers to quantify and Travelling and Mobility Laboratory (TaM) and the Security improve individuals’ QoL in new ways – drawing on new Laboratory (SecLab). emerging models from computer science incorporating exa- mination, diagnosis and treatment of daily life as an “organ” Jolita Ralyté - Digital Transformation – much like a cardiologist examines heart - and the resulting Digital transformation is not just the adoption of new infor- Quality of Life as a «vital sign» - routinely reported for pa- mation technologies and the computerization of human ac- tients and non-patients alike. tivities. It embraces much broader strategic ambitions and involves fundamental changes in the activities, structure Niels Alexander Nijdam - Information Security Group (I- and even culture of the organization, with the primary goal SEC) - isec.unige.ch of innovating and creating value. Service Science plays a dri- I-Sec aims to translate the complex nature of Cyber Security ving role in digital transformation by providing key concepts, into an easily comprehensible way to understand, monitor such as information service and service system, that facili- and control the risks of employing current and future tech- tate business innovation through the integration of digital nologies. With a strong commitment to co-designed solu- technologies. The approach for information service and sys- tions with the end-users, we research new ways on how to tem engineering must be necessarily exploratory, agile, and expose and present the raised implications on privacy, risk, contributory, as the implementation of new services trans- security and safety. forms the daily life of many people, and affects the organi- Domain activities sation’s activity and even its position in the ecosystem. Such Applied research in the domains of: transformation has to be understood, assessed and accep- • Internet of things ted by all parties. To be successful, it must be value-driven • Connected (autonomous) vehicles and ensure the involvement of all stakeholders by making • Smart Cities and infrastructure them responsible co-creators. The transdisciplinary is ano- With a strong focus on Cyber Security: ther dimension to be considered in service co-creation as it • Risk assessment allows to cross the borders of the conventional information • Threat identification system engineering and create new capabilities and new • Anomaly detection values. To make the approach holistic, we need to consider • Privacy preservation many other service-related aspects, such as ethics, accoun- • Usability in security and privacy • Mitigation advisory Institute of Information Service Science 31 PhD Thesis [4] Y. Tahir, Z. Yang, D. Chakraborty, N. Thalmann, D. Thal- • Vincezo Daponte. Analysis and specification of scientific mann, Y. Maniam, Nur Amirah binte Abdul Rashid, B.- knowledge visualization techniques L. Tan, J. L. C. Keong and J. Dauwels, Non-verbal speech • Georges Bediang. Un modèle sémantique basé sur les cues as objective measures for negative symptoms in ontologies pour le partage et la réutilisabilité des itiné- patients with schizophrenia, PLOS ONE, DOI: 10.1371/ raires cliniques à travers le contexte (ShaRE-CP) journal.pone.0214314, April 09, 2019 (IF:2.776) • Athanasios Kyritsis, Enhancing Wellbeing Using Artifi- Niels Nijdam and team: cial Intelligence Techniques, 2019-12-19 [5] Abdulghani, H. A., Nijdam, N. A., Collen, A., Konstantas, • Akram Abdulghani Hezam Mohammed, A Reference D. (2019). A Study on Security and Privacy Guidelines, Model For Securing IoT, 18th Sept. 2019 Countermeasures, Threats: IoT Data at Rest Perspective. Symmetry, 11(6), 774. List of publications Jolita Ralyté and team: Refereed papers in international journals [6] Wulfovich, S., Fiordelli, F., Rivas, H., Concepcion, W., Wac, K. (2019). «“I Must Try Harder”: Design Implications for Giovanna Di Marzo Serugendo and team: Mobile Apps and Wearables Contributing to Self-Effi- [1] Eleonore Fournier-Tombs, Giovanna Di Marzo Se- cacy of Patients with Chronic Conditions», Frontiers in rugendo. DelibAnalysis: Understanding the quality Psychology, Section: Psychology for Clinical Settings, of online political discourse with machine learning. Special Issue on “Improving Wellbeing in Patients with Journal of Information Science, 2019. https://doi. Chronic Conditions: Theory, Evidence, and Opportuni- org/10.1177/0165551519871828 ties”, Impact Factor: 2.129 Nadia Magnenat-Thalmann and team: [7] Symul, L., Wac, K., Hillard, P., Salathe, M. (2019). «As- [2] M. Ramanathan, W.-Y. Yau, N. Magnenat Thalmann and sessment of Menstrual Health Status and Evolution E. K. Teoh, mutually reinforcing motion-pose framework through Mobile Apps for Fertility Awareness», NATURE for pose invariant action recognition, International Jour- Digital Medicine, 2 (1), 64, July 2019. nal of Biometrics, DOI: 10.1504/IJBM.2019.099014, Vol. [8] Ciman, M., Wac, K., (2019). «Smartphones as Sleep Dura- 11, No. 2, March 21, 2019 tion Sensors: Validation of the iSenseSleep Algorithm», [3] M. Ramanathan, J. Kochanowicz and Nadia Magnenat Journal of Medical Internet Research: mHealth and uH- Thalmann, Combining Pose-Invariant Kinematic Fea- ealth (JMU), 7(5):e11930. Impact Factor: 4.301 tures and Object Context Features for RGB-D Action [9] Grantcharov, P., Ahmed, S., Wac, K., Rivas, H. (2019). «Re- Recognition, International Journal of Machine Learning processing and Reuse of Single-Use Medical Devices: & Computing, Singapore (online journal) Perceptions and Concerns of Relevant Stakeholders Toward Current Practices», International Journal of Evi- dence-Based Healthcare, 17 (1), 53-57, Wolters Kluwer Health, 2019. Impact Factor: 1.00

32 Centre Universitaire d’Informatique [10] Tsiourti, C., Weiss, A., Wac, K., Vincze. M., (2019) Multi- Giovanna Di Marzo Serugendo and team: modal Integration of Emotional Signals in HRI from [17] Giovanna Di Marzo Serugendo. First and Second-Order Voice, Body, and Context: Effects of (In)Congruency on Emergence - From Bio-Inspired Design Patterns to Re- Emotion Recognition and Attitudes Towards Robots, In- liable Self-Composing Spatial Services. Keynote Speaker. ternational Journal of Social Robotics (SORO), Springer, FSEN’19 Conference. Tehran, 2019. Impact Factor: 2.009 [18] Amudha Ravi Shankar, Jose Luis Fernandez-Marquez, Laurent Moccozet and team: Barbara Pernici, Gabriele Scalia, Maria Rosa Mondar- [11] Estimation of exposure durations for vitamin D produc- dini, Giovanna Di Marzo Serugendo. Crowd4Ems: A tion and sunburn risk in Switzerland, A. Religi, C. Backes, crowdsourcing platform for gathering and geolocating A. Chatelan, J-L. Bulliard, L. Vuilleumier, L. Moccozet, M. social media content in disaster response. International Bochud, D. Vernez, Journal of Exposure Science & Envi- Archives of the Photogrammetry, Remote Sensing and ronmental Epidemiology, Springer Nature, 2019. Spatial Information Sciences, Vol. 42 Pages 331-340 [12] A workflow-based solution to support the assessment [19] Mohammad Parhizkar, Jahn Nitschke, Louis Hellequin, of collaborative activities in e-learning: A design foun- Thierry Soldati and Giovanna Di Marzo Serugendo. ded on IMS-LD meta-model, A. Aouine, L. Mahdaoui, Self-organising Agent-Based Model to Study Stream- L. Moccozet, Int Jnl of Info and Learning Tech, Emerald breaking Phenomenon During Aggregation Phase of Publishing, 36, 124–156, 2019. Dictyostelium discoideum. The 3rd International Sym- [13] A versatile and flexible e-assessment framework to- posium on Swarm Behavior and Bio-Inspired Robotics. wards more authentic summative examinations in SWARM’19. Kyoto, Japan, Nov 2019. Best poster award. Higher-Education, L. Moccozet, O. Benkacem, E. Beri- Gilles Falquet and Claudine Métral and team: sha, R. Trigo Trindade, P-Y. Bürgi, International Journal of [20] Arouna, S., Murphy, J., Rabah, M., Rouis, K., Sidere, N., Continuing Engineering Education and Life-Long Lear- Tamani, N., Champagnat, R., Coustaty, M., Falquet, ning, Inderscience Publishers, 2019. G., Ghadfi, S., Ghamri-Doudane, Y., Gomez-Krämer, P., [14] 3D Modelling for Solar Erythemal UV Protection Pro- Howells, G., McDonald-Maier, K. D. (2019) Security and vided by Human Hair, A. Religi, L. Moccozet, Applied PrIvacy foR the Internet of Things: an overview of the Sciences 9(22):4724, 2019. project. In Proc. 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC), DOI: 10.1109/ Full refereed papers in Conference Proceedings SMC.2019.8914221 Michel Deriaz and team: [21] Métral C., Falquet G. (2019) Une technique de spéci- [15] A Machine Learning Approach to Waiting Time Predic- fication abstraite pour la publication de géodonnées tion in Queueing Scenarios, Athanasios I. Kyritsis, Michel liées (poster). In Proc. Spatial Analysis and Geomatics Deriaz, in the Second IEEE International Conference on (SAGEO) Conference, November 13-15 2019, Clermont- Artificial Intelligence for Industries (ai4i 2019), Laguna Ferrand, 319-324, https://sageo2019.irstea.fr/actes/ Hills, California, 2019. [16] Gait Pattern Recognition Using a Smartwatch Assis- ting Postoperative Physiotherapy, Athanasios I. Kyritsis, Figure 1: European project ViMM platform repre- Geoffrey Willems, Michel Deriaz, Dimitri Konstantas, In- sentation: Webpage with gallery for case studies ternational Journal of Semantic Computing, Vol. 13, No. collection and Motion Capture category-based 2, p. 245–257, 2019. filter (selected option) © MIRALab

Institute of Information Service Science 33 [22] Aljalbout S., Buchs D., Falquet G. (2019) Introducing man-Humanoid Interaction and Its Effects in Cognitive Contextual Reasoning to the Semantic Web with OWLC. and Emotional States, Proceedings of the 36th Compu- In Proc. Intl Conf. on Conceptual Structures - Graph- ter Graphics International (CGI 2019), Springer, Calgary, Based Representation and Reasoning. ICCS 2019. Lec- Canada, June 17 – 20, 2019 ture Notes in Computer Science, vol 11530. Springer. DOI [33] L. Tian, N. Magnenat Thalmann, D. Thalmann, Z. Fang https://doi.org/10.1007/978-3-030-23182-8_2 and J. Zheng, Object Grasping of Humanoid Robot Based [23] Aljalbout S., Buchs D., Falquet G. (2019). OWL^C: A on YOLO, Proceedings of the 36th Computer Graphics Contextual Two-Dimensional Web Ontology Lan- International (CGI 2019), Springer, Calgary, Canada, June guage. In Proc. 2nd Conference on Language, Data and 17 – 20, 2019 Knowledge (LDK 2019), OpenAccess Series in Informa- Jean-Henry Morin: tics (OASIcs), Vol. 70, Schloss Dagstuhl - Leibniz-Zen- • No 2019 data received trum fuer Informatik, Dagstuhl, Germany, doi: 10.4230/ Niels Nijdam and team: OASIcs.LDK.2019.2 [34] Pandey, P., Collen, A., Nijdam, N., Anagnostopoulos, Dimitri Konstantas: M., Katsikas, S., Konstantas, D. (2019). Towards automated • No 2019 data received threat-based risk assessment for cyber security in smar- Nadia Magnenat-Thalmann and team: thomes. In European Conference on Information Warfare [24] L. Tian, N. Thalmann, D. Thalmann and J. Zheng, Design and Security, ECCWS (Vol. 2019-July, pp. 839–844). of a Highly Biomimetic and Fully-Actuated Robotic Fin- Jolita Ralyté and team: ger, The 2019 IEEE Symposium Series on Computational [35] Ralyté, J. and Léonard, M. (2019): Exploring the Concept Intelligence (IEEE SSCI 2019), Xiamen, China, December of “Tiers-Lieu” for Information Services: The Value of 06 – 09, 2019 Conceptual Modeling. In: Joint Proceedings of the ER [25] Y. Cai, L. Ge, J. Liu, J. Cai, T.-J. Cham, J. Yuan and N. Magne- Forum and Poster & Demos Session, ER 2019, Salvador, nat Thalmann, Exploiting Spatial-temporal Relation- Brazil 2019. CEUR-WS vol. 2469, http://ceur-ws.org/Vol- ships for 3D Pose Estimation via Graph Convolutional 2469/ Networks, International Conference on Computer Vi- [36] Ralyté, J. (2019): Une approche situationnelle pour la sion, (ICCV’19), Seoul, South Korea, October 27 – Novem- définition et l’adaptation d’une méthode d’évolution ber 02, 2019 logicielle pilotée par les données. In : Proceedings of [26] H. Ding, X. Jiang, A. Liu, N. Thalmann and G. Wang, Boun- INFORSID 2019, pp. 169-170. dary-Aware Feature Propagation for Scene Segmen- Jean-Marc Seigneur and team: tation, International Conference on Computer Vision, [37] E. Huseynov and J.-M. Seigneur, Hardware TOTP tokens (ICCV’19), Seoul, South Korea, October 27 – November with time synchronization, Proceedings of the 13th In- 02, 2019 ternational Conference Application of Information and [27] L. Tian, J. Liu, N. Magnenat Thalmann, D. Thalmann and Communication Technologies, IEEE, April, 2019 J. Zheng, Design of a Flexible Articulated Robotic Hand [38] E. Huseynov and J.-M. Seigneur, Physical presence veri- for a Humanoid Robot, 2019 IEEE-RAS International fication using TOTP and QR codes, Proceedings of the Conference on Humanoid Robots (Humanoids), Toron- 34th International Conference on ICT Systems Security to, Canada, October 15 – 17, 2019 and Privacy Protection, IFIP, May, 2019 [28] A. Vishwanath, A. Singh, J. Dauwels, Y. H. V. Chua and N. Magnenat Thalmann, Humanoid co-workers: How is it Full refereed papers in Workshop Proceedings like to work with a robot? 28th IEEE International Confe- Niels Nijdam and team: rence on Robot and Human Interactive Communication [39] Augusto-Gonzalez J., Collen A., Evangelatos S., Ana- (Ro-Man 2019), New Delhi, India, October 14 – 18, 2019 gnostopoulos M., Spathoulas G., Giannoutakis K.M., [29] N. Mishra, M. Ramanathan, R. Satapathy, E. Cambria and Votis K., Tzovaras D., Genge B., Gelenbe E., Nijdam N.A. N. Magnenat Thalmann, can a Humanoid Robot be part (2019). From Internet of Threats to Internet of Things: of Organizational Work Force? A User Study leveraging A Cyber Security Architecture for Smart Homes. In 2019 on Sentiment Analysis, 28th IEEE International Confe- IEEE 24th International Workshop on Computer Aided rence on Robot and Human Interactive Communication Modeling and Design of Communication Links and (Ro-Man 2019), New Delhi, India, October 14 – 18, 2019 Networks (CAMAD) (pp. 1–6). IEEE. [30] S. Xu, Z. Yang, D. Chakraborty, Y. H. V. Chua, J. Dauwels, D. Thalmann, N. Magnenat Thalmann, B.-L. Tan, J. Lee, Au- tomated Verbal and Non-Verbal Speech Analysis of In- terviews of Individuals with Schizophrenia and Depres- sion, 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC’19), Berlin, Germany, July 23 – 27, 2019 [31] M. Ramanathan, N. Mishra and N. Magnenat Thalmann, Nadine Humanoid Social Robotics Platform, Proceedings of the 36th Computer Graphics International (CGI 2019), Springer, Calgary, Canada, June 17 – 20, 2019 Prof. Nadia Magnenat Thalmann List Publications 26/05/2020 15 [32] E. Baka, A. Vishnawath, N. Mishra, G. Vleioras and N. Magnenat Thalmann, Am I Talking to a Human or a Ro- Figure 2: _ISS_GDM_20190311_094514 bot? A Preliminary Study of Human’s Perception in Hu- 34 Centre Universitaire d’Informatique Katarzyna Wac and team: Research and technical reports [40] Berrocal, A., De Dominicis, Wac, K., (2019). Feasibility Stu- Nadia Magnenat-Thalmann and team: dy Of Smartphone-Enabled, Peer Reported Outcomes [46] Several technical reports for the following projects: Assessment In Healthy Individuals, (poster) Quality of ViMM. Life Research (ISOQOL), San Diego, CA, October 2019. [41] Daza, E., Wac, K., Oppezzo, M., (2019). Effects of Sleep De- International and national advisory com- privation on Blood Glucose, Food Cravings, and Mood in mittees Non-Diabetics: An N-of-1 Randomized Trial Pilot Study, Giovanna Di Marzo Serugendo: (poster) Annual Frontiers in Diabetes Symposium 2019, • 2019- : SWITCH foundation board, substitute member Stanford University, USA, April 2019. • 2018-2020 : Advisory Board ICT Programme, Association [42] Manea, V., Schnoor Hansen, M., Elbeyi, E., Wac, K., (2019). Realise, Membre Towards Personalizing Participation in Health Studies, • Committee Member (2014-2019) – Conseil académique HealthMedia Workshop in conjunction with ACM Mul- HEPIA timedia, Nice, October 2019. • Swiss Alliance for Data-Intensive Services, InnoSuisse – Books and book chapters Board Management member (2016-2019) Nadia Magnenat-Thalmann: Nadia Magnenat-Thalmann and team: • Member of the Scientific Advisory Board of the Com- [43] Virtual Reality and Augmented Reality: 16th EuroVR puter Science Department of Shanghai Tech University, International Conference, EuroVR 2019, Tallinn, Esto- China nia, October 23–25, 2019, Proceedings (Lecture Notes in • Member of the Advisory Board for the ANA Avatar Computer Science) 1st ed. 2019 Edition. Edited by Pa- XPRIZE, USA trick Bourdot, Victoria Interrante, Luciana Nedel, Nadia • Member of the IAB Committee of the Computer Science Magnenat-Thalmann , Gabriel Zachmann Department of the Technical University of Vienna, Aus- [44] Advances in Computer Graphics: 36th Computer Gra- tria phics International Conference, CGI 2019, Calgary, AB, • Expert on the Advanced Grant Panel in Computer Canada, June 17–20, 2019, Proceedings (Lecture Notes in Science, European Research Council (ERC) Brussels, Bel- Computer Science) 1st ed. 2019. Edited by Marina Gavri- gium lova, Jian Chang, Nadia Magnenat Thalmann, Eckhard • Expert and reviewer of Horizon 2020 Programme, Euro- Hitzer, Hiroshi Ishikawa pean Commission, Belgium Jean-Marc Seigneur and team: • President of the Computer Graphics Association (CGS) [45] K. Wolf, H. Zhang, R. Taiar and J.-M. Seigneur, Procee- Jean-Marc Seigneur: dings of the 10th Augmented Human International • Since 2014: Academic Member, ITU Working Groups on Conference, ACM, March, 2019 Trust, Digital Currency including Digital Fiat Currency and Distributed Ledger Technology

Figure 3: Overview of the three experiments conducted for the goal of the PhD thesis, Evangelia Baka © MIRALab

Institute of Information Service Science 35 Figure 4: Participants during the three cases of interaction. LEFT: case N where the participant interacted with Nadine social robot. MIDDLE: case VH where the participant had the experience of the virtual human and RIGHT: case H where the participant interacted with another real person © MIRALab

International and national research pro- Nadia Magnenat-Thalmann: grams committees • Evangelia Baka, Director, University of Geneva, Switzer- Dimitri Konstantas: land • No 2019 data received • Simon Sénécal, Director, University of Geneva, Switzer- Jolita Ralyté: land • Expert for the Natural Sciences and Engineering Re- Jolita Ralyté: search Council of Canada (NSERC). Review of the re- • External Examiner and Member of PhD Defence Com- search project “Knowledge-based framework for big mittee: Lobna Azaza, PhD Thesis in Computer Science data-driven marketing” submitted for the Discovery “Une approche pour estimer l’influence dans les ré- Grants Program, January 2019. seaux complexes. Application au réseau social Twitter” Jean-Marc Seigneur: (An approach to estimate the influence in complex • Since 2017: Member of the College of Expert Reviewers, networks. Application to the social network Twitter), European Science Foundation University of Dijon, France, defended May 2019. Katarzyna Wac: • Opponent and Member of PhD Defence Committee: • K. Wac, Evaluator of research projects submitted to the Ana Leon Palacio, PhD Thesis in Computer Science “SILE: Foundation for Science and Technology (FCT), Portugal A Method for the Efficient Management of Smart Ge- • K. Wac, Evaluator of research projects submitted to the nomic Information”, Universitat Politècnica de València, Research Promotion Foundation, Cyprus Valencia, Spain, defended October 2019. • Opponent and Member of PhD Defence Committee: Ra- phaëlle Bour, PhD Thesis in Computer Science, “DEMOS PhD Thesis committees : une méthode de conception participative pour des Giovanna Di Marzo Serugendo: systèmes d’information soutenant la démocratie des • Akram Mohammed, A reference model for securing IoT, organisations», University of Toulouse Capitole, France, Jury Member 2019 defended November 2019. • Sabrina Nwatchock A Koul, A Framework for Fair and Katarzyna Wac: Responsible Data Market EcosystemsJury President, • 12.2019, Athanasios Kyritsis, University of Geneva, Swit- 2019 zerland, External examiner • Angela Bacchetta von Beckh. Impact des medias sociaux • 11.2019, Darius Adam Rohani, Technical University of sur les processus d’innovation - Université de Genève, Denmark, Denmark, External examiner Jury President, 2019 Gilles Falquet: • David Noël, Université Grenoble Alpes, France, rapporteur • Athanasios Kyritsis, UNIGE, jury member

36 Centre Universitaire d’Informatique Conference organization as chair or co-chair • RCIS 2019 – 13th IEEE International Conference on Re- Nadia Magnenat-Thalmann: search Challenges in Information Science, Brussels, Bel- • Conference Co-Chair, 36th Annual International Com- gium, May 27-30, 2019, Program Board Member (meta- puter Graphics International (CGI 2019), Calgary, Alber- reviewer) ta, Canada, June 2019 • ER 2019 – 38th International Conference on Conceptual Jolita Ralyté: Modeling, Salvador, BA, Brazil, November 4-7, 2019, Pro- • Tutorials Chair at ER 2019 – 38th International Confe- gram Committee Member rence on Conceptual Modeling, Salvador, Bahia, Brazil, • REFSQ 2019 – 25th Working Conference on Require- November 4-7, 2019. ments Engineering: Foundation for Software Quality, • Track Co-chair at EMMSAD 2019 - International Confe- Essen, Germany, March 18-21, 2019, Program Committee rence on Exploring Modeling Methods in Systems Ana- Member lysis and Design, Roma, Italy, June 3-4, 2019. Track: Foun- • EMMSAD 2019 – International Conference on Exploring dations of Modeling & Method Engineering. Modeling Methods in Systems Analysis and Design, • Track Co-chair at AMCIS 2019 – 25th Americas Confe- Roma, Italy, June 3-4, 2019, Program Committee Mem- rence on Information Systems, Cancun, México, Au- ber gust 15-17, 2019. Minitrack: Digital Transformation with • PoEM 2019 – 12th IFIP WG8.1 Working Conference on Smart Services. Practice of Enterprise Modelling, Luxembourg, Novem- Jean-Marc Seigneur: ber 27-29, 2019, Program Committee Member • Program Co-Chair, 10th Augmented Human Internatio- • CBI 2019 – 21st IEEE Conference on Business Informatics, nal Conference, Reims, France, 2019 Moscow, Russia, July 15 – 17, 2019, Program Committee • Program Chair, Decentralized Applications Track, ACM Member SAC, Cyprus, 2019 • APCCM 2018 – 15th Asia-Pacific Conference on Concep- Katarzyna Wac: tual Modelling, 15th, Sydney, Australia, January 29-31, • Co-chair/organizer, International Workshop on “Longi- 2019, Program Committee Member tudinal Mobile, Wearable, and Ubiquitous Data Collec- • SoEA4EE 2018 – 11th International Workshop on Service- tion from Human Subject Studies” (LDC19) at the ACM oriented Enterprise Architecture for Enterprise Enginee- Conference on Pervasive and Ubiquitous Computing ring, in conjunction with EDOC, Paris, France, October (ACM UBICOMP 2019), London, UK, October 2019 28, 2019, Program Committee Member • Workshop “Wearables in Sleep Research” at the Annual • MReBA 2018 – 6th International Workshop on Concep- Meeting of the Swiss Society for Sleep Research, Sleep tual Modeling in Requirements and Business Analysis, Medicine and Chronobiology (SSSSC) 2019, University of co-located with ER 2019, Salvador BA, Brazil, November Fribourg, Switzerland. Prof. Wac is a workshop organizer, 4-7, 2019, Program Committee Member June 2019 Katarzyna Wac: • ACM CHI (reviewer) Member of conference/workshop program • IEEE EMBC (Associate Editor) • EAI PervasiveHealth committees • ISOQOL Michel Deriaz: • ACM DigitalHealth • Member program committee for http://where- • QoMEX, AugmentedHuman camp2019.geoit.org/ 9th GeoIT Wherecamp Confe- • FRUCT Conference rence 2019, November 14th, 2019, Berlin • ACII Gilles Falquet: • ICT Innovations • Ingénierie des connaissances (IC 2019) • IEEE ICHI • Extraction et gestion des connaissances (EGC 2019) • ITU Kaleidoscope Claudine Métral: • GoodTechs • 3D GeoInfo Conference (3D GeoInfo 2019), Singapore, • SBM September 26-27, 2019 Jolita Ralyté: • CAiSE 2019 – 31th International Conference on Advanced Information Systems Engineering, Roma, Italy, June 3-7, 2019, Program Board Member (meta-reviewer) Figure 5: From D. discoideum life cycle to agent-based models, biological validation and implementation of behaviour into kilobots

Institute of Information Service Science 37 Refereeing Giovanna Di Marzo Serugendo: • IET Software, IET (August 2019) Gilles Falquet: • International Journal of Geographic Information (IJGI) • International Journal of Digital Earth • Journal of Data Semantics (JODS) Nadia Magnenat-Thalmann: • Jury of Ph.D. thesis for New Zealand, France, Sweden, Processing, Image Processing and Pattern Recognition; Switzerland and Germany GRAPP (“International Conference on Computer Gra- • European Union, Horizon 2020, Brussels phics Theory and Applications), Conference on Affec- • Research Grants Council of Singapore tive Computing and Intelligent Interaction (ACII 2010), • Natural Sciences and Engineering Research Council of EG Workshop on 3D Object Retrieval, IEEE Virtual Rea- Canada lity Conference 2010, Computer Graphics International, • National Science Foundation USA CASA conference, SIGGRAPH/EUROGRAPHICS Sympo- • Swiss National Research Foundation sium on Computer Animation, etc. • Austrian Research Foundation Jolita Ralyté: • ACM SIGGRAPH, IEEE Transactions on Visualization and • JSS – Journal of Systems and Software Computer Graphics, IEEE Computer Graphics and Appli- • BISE – Business & Information Systems Engineering cations, IEEE Computer, Communications of ACM, The • IJISMD – International Journal of Information Systems Visual Computer, Computer Graphics Forum, Computer Modeling and Design Vision, Graphics and Image Processing, Presence, Inter- • IJISSS – International Journal of Information Systems in national Journal of Human-Computer Studies, Com- the Service Sector puters and Graphics, Cyberworlds conference, ICAART • REEN – Requirements Engineering Journal (International Conference on Agents and Artificial Intel- • JAIS – Journal of the Association of Information Systems ligence), Enactive conference, Multimedia Modelling • SOSYM – Software and Systems Modeling conference, International Conference on Entertainment Katarzyna Wac: Computing (ICEC), International Conference on Signal • NATURE Digital Medicine • IEEE Transactions on Mobile Computing, • Personal and Ubiquitous Computing (Springer), • IEEE Journal of Biomedical and Health Informatics • Journal of Medical Internet Research (JMIR Publications Inc)

Figure 6: Visualisation of dynamical and toponymical challenges for the Swiss City of Carouge

38 Centre Universitaire d’Informatique Figure 7: Virtual reality interactive salsa dance learning system: Improvement of dance skills and performance evaluation © MIRALab

Editorial responsabilities Events Nadia Magnenat-Thalmann: Nadia Magnenat-Thalmann: • 2014-Present: Associate Editor, Frontiers in Robotics, • Nuit de la Science MIRALab – UNIGE, In the framework Nature Publisher of the EU project NOTRE, Parc de la Perle du Lac, Geneva, • 2010-Present: Editorial Adviser of the journal of Gra- Switzerland, July 7-8, 2018 phical Models published by Elsevier. • 2000-Present: Editor-in-Chief of the Journal the Visual Computer published by Springer Verlag, Germany Invited talks • 2000-Present: Editor of the Journal of Computational Michel Deriaz: Geometry published by Elsevier, Holland. • Innosuisse Tour de Suisse: Presentation of the Queue- • 1995-Present: Editor, Computational Geometry Journal, ForMe project, 26 Nov 2019 North Holland • Semaine de l’Entreprenariat: Presentation of the Queue- • 1990-Present: Co-founder and Co-editor-in-chief, Com- ForMe project, 18 Nov 2019 puter Animation and Virtual Worlds, John Wiley, and • GeoIT Berlin: Chair of the Indoor positioning session, 14 Sons Nov 2019 Jolita Ralyté: • CREG (Centre de Rencontre des Entrepreneurs de Ge- • Editorial Board Member for IJISMD – International Jour- nève): «Cyberharcèlement», 15 May 2019 nal of Information Systems Modeling and Design Giovanna Di Marzo Serugendo: • Editorial Board Member for IJISSS – International Jour- • WSIS 2019 – Open Geneva – Panelist, 2019 nal of Information Systems in the Service Sector • First- and Second-Order Emergence: From Bio-Inspired Jean-Marc Seigneur: Design Patterns to Reliable Self-Composing Spatial Ser- • Co-Editor in Chief, Springer Journal “Augmented Human vices, FSEN’2019 – Keynote Speaker, Tehran, May 2019 Research”, since 2015 • Bancs publics Smart City – Invited Panelist – Geneva, Katarzyna Wac: January 2019 • IEEE Communications Mag. (COMMAG), Associate Tech- • Geofab: Un projet transfrontalier pour soutenir l’inno- nical Editor, Impact Factor: 10.435, since 2017 vation de services numériques grâce aux géo-données– Veille Technologique Géomatique, HEIG-VD, Yverdon, Jan 2019

Institute of Information Service Science 39 Gilles Falquet & Luka Nerima: • Invited Panelist at the Future of Ageing, Nobel Prize Dia- • Philosophy of Language and Digital Humanities, Se- logue meeting, bringing together a unique constella- mantic web technologies and models to represent and tion of Nobel Laureates, world-leading scientists, policy reason on the historical and terminological context of makers and thought leaders to discuss global issues Saussure’s manuscripts, University of Calabria, Cosen- that affect us all. Madrid, 22 May 2019, https://www.no- za, 7-9 May 2019 belprize.org/events/nobel-prize-dialogue/madrid-2019 Claudine Métral & Gilles Falquet: • Invited speaker at the Disrupt @ The Bay, Education • Extension and Contextualization for Linked Semantic Disrupt 2019 presented by DBS Business Class, AI and 3D Geodata, Invited talk at the University of Coimbra, social robotics – from dream to reality and its impact on seminar of the dpt of Mathematics and Engineering, 11 society, DBS Auditorium, L3 Marina Bay Financial Centre Sept. 2019 Tower 3, Singapore, May 16, 2019 (https://www.dropbox. Nadia Magnenat-Thalmann: com/s/605u6up8rqsucrj/Invited%20Speaker_DBS%20 • Keynote speaker at the Symposium on Humans and Ma- Disrupt%20%40%20The%20 Bay.pdf?dl=0) chines, Prospects for our Digital Future, Year 1919- 2019 • Invited talk at Clariden Global’s 2nd Applying Artifi- Women Study, from Antiquity to Humanoid Social Ro- cial Intelligence and Deep Learning for Enterprises bots: a Dream of Humanity, Technical University, Vien- Conference, The Intersect of Artificial Intelligence na, Austria, October 29, 2019 (https://www.dropbox. with Robotics: Latest Advances, Pan Pacific Singapore, com/s/4udy231omlrz7rv/Keynote_Symposium%20 Singapore, May 15, 2019 (https://www.dropbox.com/ on%20Humans%20and%20Machines%2C%20Pros- s/2q2xvcn8yyiq4zw/Invited%20Speaker_Clariden%20 pects%20for%20our%20Digital%20Future.pdf?dl=0) Global%202nd%20Applying%20Artificial%20Intelli- • Invited speaker at the Digital 365 @ Singtel, Smart hu- gence%20and%20Deep%20Learning%20for%20Enter- manoids: Past, Present, Future, Singtel Comcentre, Sin- prises%20Conference.pdf ?dl=0) gapore, October 21, 2019 • Keynote speech at the 7th China (Shanghai) Inter- • Keynote speech at the Trescon Global’s World AI national Technology Fair (CSITF), AI and social Robo- Show, Smart humanoids: Past, Present, Future, Mari- tics: a global view, Shanghai World Expo Exhibition & na Bay Sands, Singapore, July 24, 2019 (https://www. Convention Center, Shanghai, China, April 18 – 20, 2019 dropbox.com/s/rbsugkrlw0lptvo/Keynote_Trescon%20 (https://www.dropbox.com/s/9gusr52gof39v3t/Key- Global%E2%80%99s%20World%20AI %20Show%20 note_CSITF%202019.pdf?dl=0) 2019.pdf?dl=0) • Invited speaker at the Rendez-vous de Casablanca • Invited speaker at the Future Smart Workforce Lear- de l’Assurance 2019, la robotique, l’intelligence arti- ning Festival, Humanoid Robots: What For, What Next? ficielle, où allons-nous ? Hyatt Regency Hôtel, Casa- OCBC Campus, Singapore, July 08, 2019 (https://www. blanca, Maroc, April 03 – 04, 2019 (https://www. youtube.com/watch?v=_wGaZw69zUQ) dropbox.com/s/5vnmn9zgjd24fgz/Invited%20Spea- • Keynote speech at the 7th International Symposium ker_Rendezvous%20de%20Casablanca%20de%20 of Chinese CHI (Chinese CHI 2019), Humanoid social l%27Assurance%202019.pdf?dl=0) robots: What can they do? What are their limitations? • Invited talk at the 9th ACADEMIA SUPERIOR PLENUM, What is their future? Xiamen University, Xiamen, Surprise Factors Symposium 2019, Predictive Futures: China, June 27 – 30, 2019 (https://www.dropbox.com/ Measuring the Future, Gmunden, Austria, March 30, s/14qksx30ovs4gn3/Keynote_Chinese%20CHI%202019. 2019 (https://www.dropbox.com/s/7r7uwgxj2t4arz7/ pdf?dl=0) Invited%20Speaker_9th%20ACADEMIA%20SUPE- • Keynote speech at the 36th Annual Conference in RIOR%2 0PLENUM.pdf?dl=0) (https://www.instagram. Computer Graphics International (CGI 2019), Social com/p/BunuFlfBEA0/) Humanoid Robots: What for, What next?, University of Calgary, Calgary, Alberta, Canada, June 17 – 20, 2019 (https://www.dropbox.com/s/8xe33qvurls7a04/Key- note_CGI%202019.pdf?dl=0) Figure 8: Avenue the leading European project on the integration of autonomous vehicles for public transport led by UNIGE

40 Centre Universitaire d’Informatique Katarzyna Wac: • 9.2019 “Quality of Life & Technologies”, DIKU Bits, De- Press release partment of Computer Science, Department of Com- Nadia Magnenat-Thalmann: puter Science (DIKU), Faculty of Science, University of • World AI Leaders from Dell Technologies, Rolls-Royce Copenhagen, Denmark and Kryon, among others, discuss AI Strategies in Sin- • 6.2019 “Researching Quality of Life of Smartphone-Cen- gapore, Retail News Asia, Aug 05, 2019 (https://www. tric Humans via Human-Centric Methods”, Le Sensolier dropbox.com/s/kz808omsaq4lcki/Retail%20News%20 Seminar, Institut Paul Bocuse, Lyon, France Asia_050819_World%20AI%20Leaders%20from%20 • 6.2019 “Quality of Life Technologies”, Faculty of Informa- Dell%20Technologies%2C%20RollsRoyce%20and%20 tics, Vienna University of Technology, Austria Kryon%2C%20among%20others%2C%20discuss%20 • 3.2019 “Digital Behaviome: Ubiquitous Computing for AI%20Strategies%20in%20Sing apore.pdf?dl=0) Behaviour, Health and Quality of Life Assessment”, Di- • OCBC Bank co-designs program to groom 200 data gital and Mobile Health Seminar, University of Zurich, scientists and analysts, Human Resources, Jul 09, Switzerland. 2019 (https://www.dropbox.com/s/yy80uhfglwp3egg/ • 3.2019 Panel: “Interdisciplinary, Collaborative Models Of HumanResources_090719_OCBC%20Bank%20code- Designing, Implementing, And Evaluating Digital Beha- signs%20programme%20to%20groom%20200%20 vior Change Interventions”, Scientific Papers Session at: data%20scientists%20and%20analysts.pdf?dl=0) 40th Annual Meeting and Scientific Sessions of the So- • Nadine, el robot que muy pronto estará pres- ciety of Behavioral Medicine (SBM 2019), Washington, ente en residencias del mundo entero, 65ymas. US. com, Jun 09, 2019, Spanish (https://www.dropbox. • 2.2019 “Quality of Life Technologies”, Firmenich, Geneva, com/s/1zm9b3h13zmozth/65ymas.com_090619_ Switzerland. Nadine%2C%20el%20robot%20que%20muy%20pron- to%20estar%C3%A1%20presente%20en%20residen- Participation in TV and radio programs cias%20del%20mundo%20ente ro.pdf?dl=0) Michel Deriaz: • Wir Menschen brauchen Hilfe von Robotern, Salz- • Le monde Economique, Interview of Michel Deriaz burger Nachrichten, Apr 10, 2019, German (https:// about IFA Berlin, Berlin, 29 Sept 2019, https://tam.unige. www.dropbox.com/s/lbj4yvykc1zyclv/Salzbur- ch/files/3215/7062/6087/20190929_LeMondeEcono- ger%20Nachrichten_100419_Wir%20Menschen%20 mique.mp4 brauchen%20Hilfe%20von%20Robotern.pdf?dl=0) Nadia Magnenat-Thalmann: • Commentary: Countries are not responding well to • Nadia Magnenat Thalmann and Anna Aaron se ren- automation, Channel NewsAsia, Jan 28, 2019 (https:// contrent pour la premiere fois, Premier Rendez-vous, www.dropbox.com/s/wbi2hm98qst6lqn/Channel%20 RTS, 4 mars 2019 (https://www.rts.ch/play/radio/pre- NewsAsia_280119_Commentary%20Countries%20 mier-rendez-vous/audio/nadia-magnenat-thalmann- are%20not%20responding%20well%20to%20automa- et anna-aaron-se-rencontrent-pour-la-premiere-fois?) tion.pdf?dl=0)

Figure 9: H2020 nIoVe project on cybersecurity for connected automated vehicles.

Institute of Information Service Science 41 • Meet the trailblazing humanoid robots in AIA Singa- posium on Swarm Behavior and Bio-Inspired Robotics. pore’s customer service centers, Singapore Business SWARM’19. Kyoto, Japan, Nov 2019 Review, Jan 22, 2019 (https://www.dropbox.com/s/ • Program committee chair: PhD in Information Systems, lnvnmk29v3qpw2y/Singapore%20Business%20Re- University of Geneva view_220119_Meet%20the%20trailblazing%20huma- • Director: Institute of Information Service Science, Uni- noid%20robots%20in%20AIA%20Singapore%27s%20 versity of Geneva customer%20servic e%20centres.pdf?dl=0) • Director: Centre Universitaire d’Informatique, Univer- Katarzyna Wac: sity of Geneva • “Are Fertility Apps Useful?”, eHealthNews.eu covering • Program committee chair: Master in digital systems the Nature Digital Medicine 2019 article. One of the and services, University of Geneva total of 11 online articles covering this journal publica- Nadia Magnenat-Thalmann: tion. More details at https://www.nature.com/articles/ • Nadia Magnenat Thalmann at the International Inno- s41746-019-0139-4/metrics, July 2019 vation Summit, panel on Smart Dialogue #2: Human Intelligence vs Artificial Intelligence, Resorts World Sen- Others tosa, Singapore, December 04 – 05, 2019 (https://www. Giovanna Di Marzo Serugendo: dropbox.com/s/flanm9mr323wxcs/Panelist_Interna- • Projet Geofab – Remise prix quatrième appel à projet tional%20Innovation%20Summit.pdf?dl=0) – March 2019 – Centre Universitaire d’Informatique, in • Nadia Magnenat Thalmann at Property Guru Asia Real the presence of Mr Antonio Hodgers, President of Can- Estate Summit, panel on Tech Disruptors: solutions that ton Geneva Council are transforming the way we build, to the way we live, • Best poster award, Swarm’19 conference for paper: The Athene Hotel, Bangkok, Thailand, November 21 – 22, Mohammad Parhizkar, Jahn Nitschke, Louis Hellequin, 2019 (https://www.dropbox.com/s/cbi4jnedfpe63h1/ Thierry Soldati and Giovanna Di Marzo Serugendo. Panelist_PropertyGuru%20Asia%20Real%20Estate%20 Self-organising Agent-Based Model to Study Stream- Su mmit.pdf?dl=0) breaking Phenomenon During Aggregation Phase of Dictyostelium discoideum. The 3rd International Sym-

Figure 10: ViMM project – Dissemination and Communication platform © MIRALab

42 Centre Universitaire d’Informatique • Nadia Magnenat Thalmann at HR Innovation Week Figure 11, 12, 13: Queue for ME 2019, panel on The Future of Human-AI Collaboration © ISS TaM in HR, Amara Sanctuary Resort Sentosa, Singapore, September 17 – 20, 2019 (https://www.dropbox.com/s/ ilzuhg33znb5928/Panelist_HR%20Innovation%20 Week%202019.pdf?dl=0) • Nadia Magnenat Thalmann chairing the panel at the 36th Computer Graphics International (CGI 2019), panel on The Future of Computer Graphics in the Age of AI and Social Media, University of Calgary, Calgary, Alberta, Ca- nada, June 17 – 20, 2019 (https://www.dropbox.com/s/ jeug98q2xiazt16/Panelist_CGI%202019.pdf?dl=0) • Nadia Magnenat Thalmann at 4GAMECHANGERS FES- TIVAL 2019, panel on Generation AI: Taking the Next Step In Human Evolution. Can Imperfect Humans Create Perfect Intelligence?, MARX HALLE, Austria, April 11, 2019 (https://www.puls4.com/4GAMECHANGERS/ Videos/4GAMECHANGERS/Session-Generation-AI- Takingthe-next-step-in-human-evolution.-Can-imperfect-humans-create-perfectintelligence?utm_ campaign=4gamechangers&utm_ content=20190411_4GC_SESSION_GENE- RATION_AI&utm_medium=social&utm_ source=facebook&utm_term=social_post) Jolita Ralyté: • “Digital Transformation: Better Guided than Chaotic.” Lecture at NEMO Summer School – Next Generation Enterprise Modelling in the Digital Transformation Age, Katarzyna Wac: University of Vienna, Austria, 15-26 July 2019. • Since Nov. 2018, Visiting Professor, Stanford University • Research seminar on “Contextual Aspects in Situational and Stanford University Medical Center, Department of Method Engineering”. University of Paris 1 Pantheon- Surgery, group lead by Prof. W. Conception (MD) Sorbonne. Paris, France, February 8, 2019. • Awards: 2018 – 2020 IEEE Distinguished Visitor and In- • Chair of the IFIP WG 8.1: Design and Evaluation of Infor- vited Speaker for the IEEE Region 8 mation Systems, 2016 - 2021 • Standardization Activities: Since 2018 IEEE P1752 “Open • Steering Committee Member of CAiSE – International Mobile Health” Working Group: “Sleep Schema” sub- Conference on Advances Information Systems Enginee- group and the IEEE 1847 Working Group - “Recom- ring, since 2012. mended Practice for Common Framework of Location • Steering Committee Member of PoEM – IFIP WG8.1 Services for Healthcare” Working Conference on Practice of Enterprise Model- • Consultancy/Advisory to Industry: Consultancy to ling, since 2015. Lundbeck A/S, Denmark on “Digital Health in Pharma • Steering Committee Member of INFORSID – Congrès Industry” Francophone d’INFormatique des ORganisation et Sys- tèmes d’Information et de Décision, since 2014. • Steering Committee Member of RCIS – IEEE Internatio- nal Conference on Research Challenges in Information Science, since 2017. Institute of Information Service Science 43 Funded research projects ___ Participation to European projects CoachMyLife Appui dans l’expérimentation des ontologies pour la résolu- Living autonomously despite dementia tion de problèmes d’interopérabilité AAL project, with Michel Deriaz RTE-France Funding (Réseau de transport d’électricité) Partners: Pharmacie Principale (Switzerland), terz Stiftung Principal Investigator: Giovanna Di Marzo Serugendo (Switzerland), TaM (University of Geneva, Switzerland), Jo- Period: 2019 - 2020 zef Stefan Institute (Slovenia), Eurotronik (Slovenia), «Carol ___ Davila» University of Medicine and Pharmacy (UMFCD) (Ro- mania), Canary Technology Innovations (Romania) AVENUE - Autonomous Vehicles to Evolve to a New Urban Period: July 2019 - June 2022 Experience Web site: https://www.coachmylife.eu/ Grant agreement ID: 769033 ___ Coordinator: University of Geneva Period: May 2018 - April 2022 ECoWeB Web site: https://cordis.europa.eu/project/id/769033 Assessing and Enhancing Emotional Competence for Well- ___ Being in the Young H2020 project 754657 CardioRNA Danish PI: Katarzyna Wac Catalysing Transcriptomics Research in Cardiovascular Di- Period: 2018 - 2021 sease Web site: http://www.ecowebproject.eu/ EU COST Action CA17129 ___ co-PI: Katarzyna Wac Period: 2018 - 2022 Web site: https://www.cost.eu/actions/CA17129/ Figure 14: _ISS_GDM_StreamBreakup02

44 Centre Universitaire d’Informatique frAAgiLe Partners: Televes (Spain), CERTH (Greece), NTNU (Norway), Detecting fraility of elderly people and protecting them ICL (UK), EXUS (Greece), KIT (Germany), Kalos (Norway/Ro- AAL project, with Michel Deriaz mania), Red Cross Spain (Spain), Tescos (Spain) Partners: Ideable solutions (Spain), Ana Aslan Internatio- Period: May 2017 - April 2020 nal Foundation (Romania), terz Stiftung (Switzerland), TaM Web site: https://www.ghost-iot.eu/ (University of Geneva, Switzerland), Agecare (Cyprus), Inno- ___ labor (Hungary), Bay Zoltaan Nonprofit Lft. For Applied Re- search (Hungary), SingularLogic Romania Computer Appli- Horse Track cation (Romania), University of Deusto (Spain) Anticipating injuries on horses Period: July 2019 - June 2022 Innosuisse project, with Michel Deriaz Web site: https://fraagile.eu/ Partners: Alogo Analysis SA, TaM (University of Geneva), Dr ___ Stéphane Montavon Period: November 2019 - April 2021 GeoFab du Grand Genève Web site: https://alogo.io/products/move/horsetrack InterReg project ___ Principal Investigator: Giovanna Di Marzo Serugendo Period: July 2016 - December 2019 Many-Me Web site: https://www.geofab-grandgeneve.org/ Social Interactive Care System to support the wellbeing of ___ people living with dementia AAL Project (AAL/Call2016/1/2017), with Michel Deriaz GHOST - Safe-Guarding Home IoT Environments with Perso- Partners: Drimpy, CPX, TaM (University of Geneva), EKKOTEK, nalised Real-time Risk Control ASM, terzStiftung, EURAG, MOB, Materia Group Grant agreement ID: 740923 Period: March 2017 - February 2020 PI from UNIGE: Niels Nijdam Web site: http://many-me.eu/ ___ Figure 15: Aggregation territories (biological validation)

Institute of Information Service Science 45 nIoVe - A Novel Adaptive Cybersecurity Framework for the Internet-of-Vehicles Uncertain Archives: Unknowns, Errors, and Vulnerabilities in Grant agreement ID: 833742 Big Data PI from UNIGE: Niels Nijdam Carlsberg Foundation Grant (CF16-0332), University of Co- Partners: CERTH (Greece), Argus (Israel), HOP Ubiquous penhagen (Spain), TUM (Germany), Athena (Greece), ICT Legal (Italy), Denmark PI: Prof. K. Veel Navya (France), Kenotom (Greece), RISE (Sweden), Seems Danish co-PI: Katarzyna Wac (Greece), TPG (Switzerland) Period: 2017 - 2020 Period: May 2019 - April 2022 ___ Web site: https://www.niove.eu/ ___ ViMM QueueForMe Virtual Multimodal Museum Life is too short to wait! EU H2020 project Partners: iabsis SARL, TaM (University of Geneva) Partners: Cyprus University of Technology (CUT) – Cyprus, Period: February 2019 - January 2020 Foundation For Research and Technology Hellas (FORTH- Web site: https://qfor.me/ ICS) – Greece, 7Reasons Medien Gmbh - Germany, MIRALab, ___ University of Geneva (UNIGE) – Switzerland, Stifung Preus- sischer Kulturesizt – Germany, Universidad Pompeu Fabra – SPIRIT Spain, 7scenes – Netherlands Security and PrIvacy foR the Internet of Things Period: October 2016 - March 2019 CHIST-ERA European project, R Web site: http://vi-mm.eu/ EPSRC Reference EP/P015956/1 ___ Partners: University of Kent - School of Engineering and Digital Arts, University of La Rochelle - L3i Laboratory, Uni- WellCO versity of Essex - School of Computer Science and Electronic Wellbeing and Health Virtual Coach Engineering, University of Geneva - Centre for Computer H2020 project 769765 Science (CUI) Danish PI: Katarzyna Wac Period: January 2017 - December 2019 Period: 2018 - 2021 Web site: http://cui.unige.ch/spirit Web site: http://wellco-project.eu/ ___

ISS TaM team in 2020

46 Centre Universitaire d’Informatique Participation to National projects Technology transfer Gilles Falquet: 3D-Subsurface • Anne-Françoise Cutting-Decelle, Oumaima Ajmi, Crea- Efficient data exploitation in urban subsurface planning tion of an ontology for electricity network manage- InnoSuisse ment, RTE (Réseau de transport d’électricité), Paris la Partner: Giovanna Di Marzo Serugendo, Gilles Falquet Défense, France Period: 2019 - 2020 ___ Open software and databases Giovanna Di Marzo Serugendo: Dicty • SAPERE : Coordination Middleware Social Amoeba Dictyostelium discoideum as an Inspiration • SAPERE-Android : Coordination Middleware for Android for Higher-Order Emergence in Collective Adaptive Systems • TheOneSAPERE Model : Prototyping Platform from SNF TheOne simulator and Sapere middleware Principal Investigator: Giovanna Di Marzo Serugendo • LogicFragment Model : Logic-Based Coordination Mid- Period: 2018 - 2020 dleware ___ • Learning-based coordination model : Learning-based Coordination Middleware MIQmodel • https://www.unige.ch/cui/cas/publications/projects- Context-aware Mobile Internet Quality Model output/ SNSF-157003 Gilles Falquet: PI: Katarzyna Wac • SKOO Period: 2015 - 2019 An ontology of Scientific Knowledge Objects Web site: http://p3.snf.ch/Project-157003 Brief description: A high level formal ontology (in OWL) ___ that describes the entities used in scientific research: hypothesis, results, theorems, proofs, observations, Swiss Alliance for Data-Intensive Services methods, formal expressions, equations, etc. KTI NTN Project Management Board Member: Giovanna Di Marzo Serugen- do Period: 2017 - 2019 Web site: http://www.data-service-alliance.ch/

Figure 16 & 17:HorseTrack © ISS TaM

Institute of Information Service Science 47 • Problèmes des sociétés contemporaines: économie et société numériques , ISS, Bachelor course, 6 ECTS, 84 hours, 200 students • Projets transverses I, II • Self-adaptive systems, ISS, Master course, 4 ECTS, 42 Hours, 6 students • Outils collaboratifs d’environnements logiciels, ISS, Bachelor Dimitri Konstantas: • Réseaux de communication, ISS, Bachelor, 48 hours, 12 students • Mobile Systems and Services, ISS, Master, 48 hours, 10 students Figure 18: Visualizing the [Menstrual Health Status] data • Design of Multimedia Services, ISS, Master, 48 hours, from the modelling part of the study. Each line is a user, 12 students each dot is a day. The dot colors are inferred biological • Technologies for Services, ISS, Master, 48 hours, 11 states; Red dots are the menses; black dots are the most students likely day of ovulation; blue dots are the follicular phase • InfoSec (program director), ISS, Continuing educa- days; yellow dots are the luteal phase days © ISS QoL tion, 24 hours, 30 students • Systèmes d’information et sciences des services, ISS, Teaching Master 2 Gestion d’entreprise / Continuing educa- Giovanna Di Marzo Serugendo: tion, 24 hours, 20 students • Self-organising Mechanisms and Design Patterns for • MAS SCN (program director), Continuing education, Engineering Self-Organising Applications – A Smart 6 students Environment Application, ISS, Master University Lyon Laurent Moccozet: (France) • Service Innovation Lab, ISS, Master, 3 ECTS, 28 hours, • Advanced Databases, ISS, Bachelor course 8 students • Databases, ISS, Bachelor course, 6 ECTS, 14 hours, 30 • Introduction à la programmation, ISS, Bachelor, 6 students ECTS, 56 hours, 20 students • Contextualisation, qualité des services et mashup, ISS, • Services et technologies multimédia, ISS, Bachelor, 6 Bachelor course, 3 ECTS, 28 hours, 15 students ECTS, 56 hours, 60 students • Design Science Research, ISS, Master course, 3 ECTS, 84 • Introduction à la sience des services, ISS, Bachelor, 6 hours, 20 students ECTS, 56 hours, 300 students • Interaction multimodale et affective, CUI, Master, 6 ECTS, 56 hours

Figure 19: Co-chair/organizer, International Workshop on “Longitudinal Mobile, Wearable, and Ubiquitous Data Collection from Human Subject Studies” (LDC19) at the ACM Confe- rence on Pervasive and Ubiquitous Computing (ACM UBICOMP 2019), London, UK © ISS QoL

48 Centre Universitaire d’Informatique Jean-Henry Morin: Jean-Marc Seigneur: • Introduction à la Sécurité, Ethique et Règlementation • CAS Blockchain, Lifelong learning, 12 ECTS des Services, ISS, Bachelor course, 3 ECTS, 28 hours, 50 • e-Reputation, e-Marketing and Data Analytics - Courses students and Tutorials, Master, 6 ECTS, 52 hours, 25 students • Design Science, ISS, Bachelor course, 6 ECTS, 56 hours, 14 Gilles Falquet and Claudine Métral: students (2016: Giovanna Di Marzo Serugendo) • Semantic Web technologies, ISS, Master, 4 ECTS, 56 • Systèmes d’Information d’Entreprise, ISS, Bachelor hours, 15 students course, 6 ECTS, 56 hours, 10 students • With Giovanna Di Marzo: Environnements collabora- • Informatique et Systèmes d’Information I, Public tifs de développement logiciel, ISS, Bachelor, 3 ECTS, 28 Management, ISS, Master course, 3 ECTS, 28 hours, 20 hours students Gilles Falquet: • Selected Topics, Advanced Seminar on Industrial & • Algorithmique appliquée, ISS, Bachelor, 6 ECTS, 28 Emerging issues, ISS, Master course, 3 ECTS, 28 hours, hours, 30 students 16 students • With Patrick Roth: Interfaces personnes-machines, ISS, • Service Innovation Lab, ISS (shared with Laurent Mocco- Bachelor, 6 ECTS, 28 hours, 20 students zet), 3 ECTS, 28 hours, 9 students • With Didier Buchs: Fondements formels des systèmes • Design Science & Design Thinking, CUSO Doctoral Pro- d’information, Computer Science, Bachelor, 6 ECTS, 28 gram in Computer Science, in cooperation with Prof. hours, 40 students Yves Pigneur, University of Lausanne, 5 days program, 35 • Algorithmics and Data Management, ISS, Master in Bu- hours, 12 students siness Analytics, 6 ECTS, 56 hours, 30 students • Introduction to Management Information Systems • With Giovanna Di Marzo, Jolita Ralyté, Dimitri Konstan- (English), Undergraduate Level, Credit Hours 3(3), 80 tas: Projet transverse I, ISS, Bachelor, 3 ECTS, 14 hours, students, Korea University Business School 20 students • Internet Business and Electronic Commerce (English), • With Giovanna Di Marzo, Jolita Ralyté, Dimitri Konstan- Undergraduate Level, Credit Hours 3(3), 53 students, tas: Projet transverse II, ISS, Bachelor, 3 ECTS, 14 hours, Korea University Business School 20 students • Design Thinking for Innovation, Undergraduate Level, • With Thierry Pun, Patrick Roth, Laurent Moccozet: Inter- co-teaching with Prof. Kil-Soo Suh, Credit Hours 3(3), 40 faces multimodales et affectives, Computer Science, students, Yonsei School of Business Master, 4 ECTS, 28 hours • Emerging Trends & Development in Global IT Industry Claudine Métral: (English), Graduate Level, TRENDS & DEVELOPMENT • GEOTOOLS-DB: Modélisation des bases de données IN GLOBAL IT INDUSTRY (English), GMBA, Module 2, 41 spatiales, Master en développement territorial et Certi- students, Korea University Business School ficat complémentaire en géomatique, 3 ECTS, 28 hours, Jolita Ralyté: 50 students • Analyse des objectifs, ISS, Bachelor, 3 ETCS, 28h, 30 • Space-City: Modèles urbains 3D, MSc en développe- students ment territorial, Certificat complémentaire en géoma- • Gestion de projet, ISS, Bachelor, 3 ETCS, 28h, 30 students tique et MSc en systèmes et services numériques, 3 • CAS MATIS-MESSI, Modélisation des services et des sys- ECTS, 28 hours, 30 students tèmes d’information, Continuing education, 10 ECTS, 96h, 10 students • CAS MATIS-DSI, Direction des systèmes d’information et des services, Continuing education, 15 ECTS, 96h, 8 students • CAS/DAS/MAS MATIS – Management and Technology of Information Systems, Program Director

Figure 20: I-SEC lead on the scientific coordination of H2020 GHOST project

Intercept & Contextual Risk Block chain Control and inspect profiling assessment agreement monitoring

00001000000111000001101100011000010111000010 00000111000001101100011000010111

Institute of Information Service Science 49

Katarzyna Wac: • Lecturer for the “Design Project”, ‘Communication and • A guest lecturer at «Sports Psychology and Identity» IT’ Program, Department of Computer Science, Faculty course at the Department of Nutrition, Exercise and of Science & Department of Media, Cognition and Com- Sports, University of Copenhagen, Denmark. Lecture tit- munication, University of Copenhagen, Denmark (15 led: «Theory-Driven and Data-Driven Sport Psychology», ECTS in 2015 and 7.5 ECTS since 2016); 70 students, BSc March 2019 level. Course co-designed by Prof. Wac, since January • Lecturer for the “Analysis, Design and Regulation of 2015 IT Infrastructure”, ‘Communication and IT’ Program, Department of Computer Science & Department of Media, Cognition and Communication, University of Copenhagen, Denmark (15 ECTS); 70 students, BSc level. Course co-designed by Prof. Wac, since September 2015 Figure 21: Technical pager created by UNIGE for the H2020 GHOST project

ZigBee BT/BLE RF Internet NFC access Wi-Fi GHOST LAN Gateway

Cyber security, risk assessment and privacy protection framework for Safe-Guarding Home IoT Environments with Smart Home residents Personalised Real-time Risk Control

Behaviour

011001010 Metrics 0110010101101010 011001

011001010 011001010

Privacy

Data Interception Contextual Profiling Risk Assessment Control and Monitoring

A thin layer resides between the Further processing of the data Serving as a central point for all Effortless user comprehension default gateway software and and the metrics is unravelling incoming intelligence, the risk and decision support is ensured the GHOST platform, which the more delicate nature of the modelling is applied for by prioritising user experience captures the network traffic and IoT presence on the network. predictive assessment of and feedback. rebuilds it into data flows. associated cyber threats. A current state of device typical Intuitive configuration, detailed Coming from all IoT devices in events and related behaviour is The assessment is performed analytics and risk awareness the Smart Home, the identified through continuous on any communication, notifications are allowing users aggregated data is analysed for creation and application of correlating device activity on to directly review potential extraction of crucial metrics on classification templates and the network with the prior cyber threats and take key its intrinsic and extrinsic profiles. established metrics and decisions that affect their properties. behaviour profiles. privacy and security.

Automatic decision-making presents transparency of the cyber security solution informing the end-user only about urgent decisions.

Prediction Resilience Usability

Real-time analysis Software integrity Raise awareness Decision automation Blacklist decentrialisation Privacy control Trials validation Forms of consent Trust fortification

Contact

Javier Augusto Gonzalez R&D Project Management TELEVÉS S.A.

Tel: +34 981 522200 Email: [email protected] INNOVATION http://televes.com This project has received funding from the European Union’s Horizon 2020 Framework https://www.facebook.com/GHOSTProjectEU Programme for Research and Innovation https://twitter.com/GHOST_ProjectEU https://ghost-iot.eu under grant agreement No. 740923

50 Centre Universitaire d’Informatique latl. un ig e

. c h LATL Laboratory for the Analysis and Technology of Language

Infoscope, Geneva, 2018 May 14th Laboratory for the Analysis and Technology of Language

Domain activities Team Directors LATL (http://www.latl.unige.ch) has been active in the field of natural language Eric Wehrli processing since the early 1990’s. Its main research focus is the development of Honorary professor a multilingual syntactic parsing model (the Fips parser), as well as the develop- H-index: 25 ment of large lexicons and dictionaries.

The Fips parser is currently available for several of the main European languages (English, French, German, Italian and Spanish), with several other languages at various stages of development (Romanian, Greek, Japanese). In 2019 the LATL continued the development of the parsers for the above languages with a special stress on Italian and translation between Italian and French. It is based on a grammatical model inspired by Chomsky’s generative grammar and on an Luka Nerima object-oriented design for its implementation. The parser and its rich lexical Senior researcher database (Figure 1) are used in a number of applications, including machine translation (Figure 2), terminology extraction, speech-to-speech translation, and computer-assisted language learning.

The LATL works on a project of digital edition of Ferdinand de Saussure’s manuscripts in collaboration with the Knowledge Engineering group. This year we have focused on the automatic transcription of manuscripts. In this task the LATL benefited from the internship fellow labour force. Financially the project was supported by a joint University of Geneva - University of Zurich funding project. Senior researchers Dr. Vasiliki Foufi In October 2019 the LATL has set up a crowdsourcing platform in order to collect Jean-Philippe Goldman the language habits of Albanian speakers living in the Balkans as well as those living in Switzerland or Germany (Figure 3). This project is supported by a joint Assistants (PhD students) University of Geneva - University of Zurich funding project as well. Asheesh Gulati Maria Ivanova Lorenza Russo Internship Fellow Sophie Mauran (June to August)

External Associate Researcher Giuseppe Cosenza Administration Eva Capitao Elisabeth Giudicelli

Figure 1: Translation of Word in Context (TWiC) is a reading aid system for readers of materiel in foreign languages. Here in use on the Tages Anzeiger newspaper Website

52 Centre Universitaire d’Informatique Figure 2: General concept of speech- PhD Thesis to-speech machine translation, with SIWIS adaptations in red. • Lorenza Russo, Machine translation between close languages: the case of French and Italian (Original title: La traduction automatique entre langues proches : le cas du français et de l’italien), June 2019

List of publications Funded research projects Books and book chapters Participation to European projects [1] G. Cosenza, G. D’Ottavi & L. Nerima Eds. Saussure’s manuscripts, among others - Booklet of abstracts, Colloque MIAPARLE : Méthode interactive d’aide à la prononciation Le Cours de linguistique générale, 1916-2016, Genève pour l’apprentissage d’une langue étrangère 2017. Geneva, 2019. INNOGAP – UNITEC [2] Vasiliki Foufi, Luka Nerima and Eric Wehrli. Multilingual Parsing and MWE Detection. In Representation and par- Participation to National projects sing of multiword expressions: Current trends, Yannick Practical lexicography for speakers and linguists: developing Parmentier & Jakub Waszczuk Eds. Language Science a usage-embedded dictionary of Albanian in multilingual Press, Berlin, June 2019 Switzerland Co-applicants: Prof. Barbara Sonnenhauser, UniZH. Applied PhD Thesis Committees Research, University of Geneva • Afef Selmi, L’ambiguïté anaphorique et la résolution Period: September 2019 - October 2020 automatique de l’anaphore pronominale, Eric Wehrli ___ rapporteur, Université de Bourgogne, Dijon (France), December 2019 CAsAnOMa: A computer-based tool for the assisted annotation of manuscripts Conference organization as chair or co-chair Co-applicants: Dr. Gerold Schneider, UniZH, Prof Eric Hae- berli, UniGE. Applied Research • Giuseppe Cosenza, co-organizer and co-chair of the Col- Period: September 2019 - October 2020 loquium Philosophy of Language and Digital Humani- ties, Università della Calabria, Consenza (Italy), 7-9 May 2019 Technology transfer LATL.ch is a technology start-up specialized in the develop- Member of conference/workshop program ment of linguistic software components. Closely associated committees with LATL laboratory, LATL.ch develops and commercializes • Luka Nerima, TALN review committee, TALN-RECITAL products based on fundamental research conducted in 2019, Toulouse (France), July 2019 the university lab. Two companies use its POS-Tagger: Aca- • Eric Wehrli, TALN review committee, TALN-RECITAL pela Group, a European Speech synthesis company, and 2020, Toulouse (France), July 2019 ShareWizMe, a French innovative company specialized in real time analysis of contributions (ideas, feedback, com- Invited Talks ments). • Philosophy of Language and Digital Humanities Ar- chives, Text and Editions : which kind of digital model for Saussurean manuscript, Università della Calabria, Cosenza (Italy), 7 – 9 May, 2019

Laboratory for the Analysis and Technology of Language 53 Figure 3: Word alignment in a bilingual parallel corpora

Teaching Luka Nerima: • Databases, Computer Science for the Humanities, Ba- • Informatics II - Java seminar, Computer Science for the chelor, 6 ECTS, 56 hours, 50 students Humanities, Bachelor, 3 ECTS, 28 hours, 7 students • Information Systems and Service Modeling, Computer • Informatics II - Object Oriented Project, Computer Science for the Humanities, Bachelor, 6 ECTS, 56 hours, Science for the Humanities, Bachelor, 6 ECTS, 56 hours, 60 students 8 students • Informatics I - Web Development, Computer Science for • Empirical Methods in Natural language Processing Pro- the Humanities, Bachelor, 6 ECTS, 56 hours, 40 students ject, Master, 6 ECTS, 56 hours, 2 student • Project in Information and Communication Technology • Information and Communication Technology (NTIC), (Projet NTIC), Computer Science for the Humanities, Computer Science for the Humanities, Bachelor, 6 ECTS, Bachelor & Master, 6 ECTS, 56 hours, 20 students 56 hours, 15 students

From left to right: Luka Nerima, Jean-Philippe Goldman, Vasiliki Foufi, Eric Wehrli - March 2019

54 Centre Universitaire d’Informatique Figure 4: The denominations of the «plastic bag» in regional French, according to the results of [6]

Figure 5

Laboratory for the Analysis and Technology of Language 55 56 Centre Universitaire d’Informatique unige .c h

m f m

e MMEF Laboratory of Multimodal Modelling of Emotion and Feeling

TecDay, Collège de Candolle, Geneva, 2019 April 4th Laboratory of Multimodal Modelling of

Emotion and Feeling Website: https://www.unige.ch/fapse/mmef/en/

Domain activities Director The team focuses on human consciousness as an embodied cybernetic David Rudrauf process integrating mechanisms of perspective taking and emotional Associate professor dynamics for appraisal and motivation. We study its relationships to the body and the brain, its role in learning and resilience, at the individual and intersubjective levels. We use a multidisciplinary and multimodal approach, combining virtual reality, psychophysiology, computational modeling and robotics.

Senior researchers Dr. Ben Meuleman Dr. Yvain Tisserand Dr. Manik Bhattacharjee

PhD students Séolane Bouchoucha Teerawat Monnor Soheil Rayatdoost

Developers / Designers Olivier Belli (Evolutio)

Internship Fellow Rémi Renoud-Grappi, Polytech Lyon

MMEF team in 2019

58 Centre Universitaire d’Informatique List of publications • Meuleman, B., and Rudrauf, D. (2019, juillet). Emotional Refereed papers in international journals coherence of fear. Talk presented at the International [1] Ognibene, D., Giglia, G., Marchegiani, L., & Rudrauf, D. Society for Research in Emotion (ISRE) conference, Ams- (2019). Implicit perception simplicity and explicit per- terdam, Hollande. (Présentation orale par Ben Meule- ception complexity in sensorimotor communication. man). Comment on» The body talks: Sensorimotor com- • Rudrauf, D. (2019, mai): “The Projective consciousness munication and its brain and kinematic signatures» model: Integrating perception, imagination, emotion by G. Pezzulo et al. Physics of life reviews, 28, 36-38. and action in a global cybernetic framework”. Perspec- doi:10.1016/j.plrev.2019.01.017 tives on Consciousness Workshop, Tur Sinai Organic Farm, Jerusalem, Israel. International and national advisory com- Participation in TV and Radio Programs mittees • TV. Les enjeux liés aux filtres de réalité augmentée, • CADMOS committee member RTS,19h30, 20.05.2019 - https://www.rts.ch/play/ PhD thesis committees tv/19h30/video/prof--david-rudrauf-explique-les-en- • Alain Cartalade, Membre du Jury, CEA/Sarclay, Gif-sur- jeux-lies-aux-filtres-de-realite-augmentee-?id=1044793 Yvette, France 4&expandDescription=true • Daniel Ribeiro, U. Mons Belgium • TV. Les likes créent une dépendance au besoin fonda- • Luis Ortega, Section de Biologie, UNIGE mental de reconnaissance, selon le psychologue David • Anna Stopka, ETHZ Rudrauf, RTS,19h30, 25.04.2019 - https://www.rts.ch/ • Diana Suleimenova, Brunel University. London, UK play/tv/19h30/video/les-likes-creent-une-dependance- au-besoin-fondamental-de-reconnaissance-selon-le- Conference organization as chair or co-chair psychologue-david-rudrauf?id=10389939&expandDes cription=true • PASC 2019, organization of two workshops Public exhibitions and performances Funded research projects • World Conference of Science Journalists (WCSJ2019), Participation to National projects 5 juillet 2019, MMEF Lab, délégation Campus Biotech (30 journalistes scientifiques internationaux), Genève. Implementation of artificial affective agents capable of com- Stands et démos : présentation CISA et MMEF ; implé- plex emotion and social perspective taking in virtual reality mentation du modèle de conscience projective pour for behavioral science des robots Cozmo v2.0 (simulations multiples, incluant SNF 205121_188753 (Division II) Troubles du Spectre de l’Autisme et Syndrome d’Anxiété Period: 2019 - 2022 Sociale) ; VRelief ; Inflection : VR Climate Action ; Gene- va Police VR training (version simplifiée). Others • WSIS conference, 8-12 avril 2019, ITU, United Nation, Ge- Editorial responsibilities nève. Stands et démos: Inflection : VR Climate Action, • Frontiers in Psychology (Acting editor) teaser et v1.0 (alpha). • Agora de la Formation, 21 mars 2019, Yverdon-les-Bains. Events organised in Geneva Stands et démos : Geneva Police VR training v2.0 (alpha, • AIGS Edition 2019 : « Du corps et de l’âme, santé et reli- version complète) (en présence d’officiers de police dé- gion à l’aune de l’intelligence artificielle » (conférence tachés). internationale). Co-organisateur avec Maître Nicolas • Délégation COOP, 10 mai 2019, Campus Biotech, Genève. Capt 6 novembre 2019 Genève, Campus Biotech Stands et démos : VRelief ; Inflection : VR Climate Action ; Geneva Police VR training (version simplifiée). Invited talks • Innosquare, 20 mai 2019, HPE innovation, Genève. • Rudrauf, D. (2019, septembre). “Introduction to the Pro- Stands et démos : Inflection : VR Climate Action. jective Consciousness Model: emergent psychology- • Open Geneva “Fête de l’innovation“, 28 mai 2019, Cam- inspired cybernetic frameworks for integrating percep- pus Biotech, Genève. Stands et démos : Inflection : VR tion, imagination, emotion, social cognition and action Climate Action. in global optimization solutions for autonomous virtual and robotic agents.” ICVS - 12th International Confe- Lay people articles / communications rence on Computer Vision Systems: Adaptive Vision for • Rudrauf, D. (2019) L’horizon de machines encore plus Human Robot Collaboration. Thessaloniki, Grèce. (Les humaines. Pour se comprendre, humains et robots de- proceedings de ICVS 2019 seront publiés par Springer vraient être régis par les mêmes règles psychologiques. dans la série : “Lecture Notes in Computer Science” Psychoscope (5). (LNCS)). • Rudrauf, D. (2019, février). “Le post humain qui vient : • Rudrauf, D. (2019, juillet), “Cybernetic foundations of vers la création de consciences artificielles”. L’humain the emergence of consciousness in nature and beyond”. qui vient Rencontre 1 - Qui et quel sera l’humain qui ISHPSSB Symposium 2019: Animal consciousness, Oslo, vient ?, Centre Culturel Irlandais Paris Norvège.

Multimodal Modelling of Emotion and Feeling 59 Others Teaching Courses and tutorials • Introduction au traitement du signal en psychologie, • From psychology to cybernetics: the projective psychophysiologie et neuroimagerie, FAPSE, Bachelor, 6 consciousness model. Ecole d’été: School of Excellence ECTS, 60 students in Advances in Artificial Intelligence, University of Mila- • Analyse univariée des données : introduction au Mo- no-Bicocca & University of Tokyo, Como, Italie, Septem- dèle Linéaire Général, FAPSE, Neurosciences, Master, 3 ber 2019 ECTS, 25 students • The Projective Consciousness Model and its applica- • Intégration des signaux corporels et cérébraux dans tions to the modeling and remediation of neuropsy- l’étude de l’émotion : approches statistiques et expé- chiatric disorders. Ecole d’été: School of Excellence Uni- rimentales pour les sciences affectives, FAPSE, Neuros- versita degli Studi di Messina, Cyber physical systems ciences, Doctoral schools SDSAF & LNDS, Master, 3 ECTS, in medicine: engineering at the service of life, Messina, 75 students Italie, July 2019

60 Centre Universitaire d’Informatique www .s i b

i s s PIG Proteome Informatics Group

TecDay, Collège de Candolle, Geneva, 2019 April 4th Proteome Informatics Group

Domain activities Team Director The Proteome Informatics Group (PIG) is involved in bioinfor- Frédérique Lisacek matics. Bioinformatics is a recently created discipline in which MER computer technology is applied to the understanding and ef- H-index: 34 fective use of biological data (see http://www.sib.swiss/bioinformatics-for-all/what-is-bioinformatics). At PIG, we concentrate on the study of proteins that are the active molecules of the cell. Extracting and studying proteins from a cell or a tissue requires the use of sophisticated experimental methods which generate large datasets. The analysis of this experimental data entails the identification and quantification of proteins, the Senior researchers determination of their cellular location, modifications, interac- Dr. Oliver Horlacher (Until March) tions and, ultimately, their function. This information is crucial to decipher cellular processes. This strongly motivates our Assistants (PhD students) group to develop software and databases that support data Emma Ricart analysis and knowledge discovery in cooperation with Life Thibault Robin scientists. These resources are made available through the Ex- Thomas Stricker (co-direction) PASy server ( http://www.expasy.org). Our software tools main- François Bonnardel (co-tutelle with University ly support experimental mass spectrometry data analysis, Grenoble-Alpes) focused on the detection of posttranslational modifications. Our databases store knowledge of carbohydrates attached to Developers / Designers proteins as well as protein-carbohydrate interactions. Julien Mariethoz Frédéric Nikitin (From August to October)

Internship Fellow Sania Delic (bachelor)

PIG team in 2016

62 Centre Universitaire d’Informatique List of publications International and national advisory com- Refereed papers in international journals mittees [1] Notova S, Bonnardel F, Lisacek F, Varrot A, Imberty A • F.Lisacek member of Scientific Council of Interdiscipli- (2019) Structure and engineering of tandem repeat lec- nary Sciences & Health Doctoral School (http://ediss. tins, Curr Opin Struct Biol.62:39-47. universite-lyon.fr) [2] Chevalier M, Ricart E, Hanozin E, Pupin M, Jacques P, • F.Lisacek member of the Advisory Board of the MIRAGE Smargiasso N, De Pauw E, Lisacek F, Leclère V, Flahaut project - http://www.beilstein-institut.de/en/projects/ C (2019) Kendrick mass defect approach combined to mirage - Beilstein Institute, Frankfurt, Germany NORINE database for molecular formula assignment • F. Lisacek member of the Advisory Board of IMforFU- of nonribosomal peptides, J Am Soc Mass Spectrom. TURE (Innovative Training in Methods for Future Data) 30(12):2608-2616. (H2020-MSCA-ITN-2016-721815) [3] Neelamegham S, Aoki-Kinoshita K, Bolton E, Frank M, • F.Lisacek member of Management Committee of INNO- Lisacek F, Lütteke T, O’Boyle N, Packer NH, Stanley P, Tou- GLY COST Action (CA18103) kach P, Varki A, Woods RJ (2019) Updates to the Symbol Nomenclature For Glycans (SNFG) Guidelines, Glycobio- International and national Research Pro- logy 29(9):620-624 grams Committees [4] Rojas-Macias MA, Mariethoz J, Andersson P, Jin C, • F.Lisacek grant submission reviewer, Swiss National Venkatakrishnan V, Aoki NP, Shinmachi D, Ashwood Science Foundation – SNSF (www.snf.ch), France, May C, Madunic K, Zhang T, Miller RL, Horlacher O, Struwe 2019 WB, Watanabe Y, Okuda S, Levander F, Kolarich D, Rudd • F.Lisacek grant submission reviewer, Fonds De La Re- PM, Wuhrer M, Kettner C, Packer NH, Aoki-Kinoshita KF, cherche Scientifique – FNRS (www.fnrs.be), Brussels, Lisacek F, Karlsson NG (2019) An E-workflow for imple- Belgium, October 2019 menting reporting guidelines in glycomics mass spectrometry, Nat Commun 10(1):3275 PhD Thesis Committees [5] Shen Q, Polom K, Williams C, de Oliveira FMS, Guergo- • Aidan Tay, External evaluator (F.Lisacek), University of va-Kuras M, Lisacek F, Karlsson NG, Roviello F, Kamali- New South Wales (Australia) Moghaddam M (2019) A targeted proteomics approach • Matthieu David, Rapporteur and member of jury reveals a serum protein signature as diagnostic biomar- (F.Lisacek), University of Nantes (France) ker for resectable gastric cancer, EBioMedicine 44:322- • Thomas Charlon, Member of jury (F.Lisacek), University 333 of Geneva [6] Le Mercier P, Mariethoz J, Lascano-Maillard J, Bonnardel • Oriane Machon, Rapporteur and member of jury F, Imberty A, Ricard-Blum S, Lisacek F (2019) A bioinfor- (F.Lisacek), University of Grenoble-Alpes (France) matics view of glycan-virus interactions, Special Issue • Asier Ullate, Member of jury (F.Lisacek), University of «The Glycobiology of Viral Infections», Viruses 11, 374 Geneva [7] Bonnardel F, Kumar A, Wimmerova M, Perez S, Varrot A, Lisacek F, Imberty A (2019) Architecture and blade assembly of ß-propeller lectins, Structure 27:764–775 Member of conference/workshop program [8] Marcelino I, Colomé-Calls N, Holzmuller P, Lisacek F, committees Canals F, Vachiéry N (2019) Sweet and sour Ehrlichia: • F.Lisacek in Program committee of WCB@ICML2019 Comparative glycoproteomics and phosphoproteo- (ICML Workshop on computational biology), https:// mics evidence new players in Ehrlichia ruminantium sites.google.com/view/icml-compbio-2019/home, Long pathogenesis, Frontiers in Microbiology 10:450 Beach, California, USA, June 14th [9] Williams C, Polom K, Adamczyk B, Afshar M, D’Ignazio A, • F.Lisacek in Program committee of Beilstein Glyco-Bioin- Kamali-Moghaddam M, Karlsson NG, Guergova-Kuras formatics Symposium, https://www.beilstein-institut. M, Lisacek F, Marrelli D, Mereiter S, Morley D, Parmentier de/files/abstract_book_beilstein_glycobioinf_sympo- F, Reis CA, Roviello F, Shen Q, Tognetti Y (2019) Machine sium_2019_online.pdf, Limburg, Germany, June 25th- learning methodology applied to characterize sub- 28th groups of gastric cancer patients using an integrated large biomarker dataset, European Journal of Surgical Refereeing Oncology 45(2):e79 • F.Lisacek regular reviewer for Journal of Proteome Re- [10] Ricard E, Leclère V, Flissi A, Mueller M, Pupin M, Lisacek F search (JPR), PROTEOMICS, Journal of Proteomics, Nu- (2019) rBAN: Retro-Biosynthetical Analysis of Non-ribo- cleic Acid Research, Bioinformatics, Molecular&Cellular somal peptides, Journal of Cheminformatics 11:13 Proteomics, Analytical Chemistry, Glycobiology. Extra [11] Alocci D, Mariethoz J, Gastaldello A, Gasteiger E, Karls- reviews in 2019 for Nature Communications and Nature son NG, Kolarich D, Packer NH, Lisacek F (2019) GlyCon- Methods nect: glycoproteomics goes visual, interactive and analytical, Software tools and data resources Special issue of J Prot Research 18(2):664-677 Editorial Responsabilities [12] Bonnardel F, Salentin S, Robin X, Perez S, Lisacek F, Im- F. Lisacek Editorial Board Member of: berty A (2019) UniLectin3D, a database of carbohydrate • Glycobiology (Oxford Press) binding proteins with curated information on 3D struc- • PLOS One tures and interacting ligands, Nucleic Acids Res 47 (Da- • Clinical Applications in Proteomics (Wiley) tabase issue): D1236–D1244. Proteome Informatics Group 63 Invited talks Sweet-Home • LS2 (Life Science Switzerland) Annual Meeting, Zurich, Glyco-driven modelling of homeostasis in the human gut February 14-15, microbiome • Gordon Research Conference on Glycobiology, Lucca SNSF grant (31003A_179249) (Barga), Italy, March 10-15, Period: November 2018 - October 2021 • Global Challenges Science Week 2019, Grenoble, France, ___ June 3-6, • Beilstein Glyco-Bioinformatics Symposium, Limburg, The visual dictionary of bacterial glycans Germany, June 25-28, UNIGE-UZH Co-funds in collaboration with T. Hennet (UZH) • 2nd Australasian Glycoscience Symposium, Adelaide, Period: September 2018 - September 2019 Australia, September 14 ___ • Volkswagen Foundation Symposium “Interdisciplinarity Revisited”, Berlin, Germany, October 3-4 Approche intégrative pour les glycosciences UNIGE Co-funds “Alliance Campus Rhodanien” in collabo- Funded research projects ration with A. Imberty (Uni. Grenoble Alpes) and S. Ricard- Blum (Uni. Lyon 1) Participation to European projects Period: June 2018 - June 2020 Une étude bioinformatique des lectines, classification et Open software and databases identification dans les génomes Co-PI with A. Imberty (CNRS-CERMAV) of PhD grant of the Glycomics@ExPASy Glyco@Alps programme (Initiative d’Excellence, Grenoble Bioinformatics services on ExPASy server fully hosted at SIB Alpes University) Type: Databases + data analysis and search tools Period: October 2017 - October 2020 External partners involved in the development (if any): ___ CSEM External partners involved in the development: University of CarboMet: Metrology of Carbohydrates for Enabling Euro- Gothenburg, Sweden + University of Macquarie, NSW, Aus- pean Bioindustries tralia Work Package co-chair of Coordination and Support Action Client or End user(s) : Life Science community (H2020-FETOPEN-2-2016) coordinated by S. Flitsch (Uni. Brief description: The Glycomics@ExPASy backend is built Manchester, UK). on top of three databases (Host-pathogen interactions, Period: February 2017 - February 2021 Experimental mass spectrometry data of glycans and Gly- coproteins). Tools are developed around the databases. They Participation to National projects are either dedicated to solve a specific question (information extraction) or can be used in several applications and NRPomics across the databases (data mining). Germaine de Staël funding programme of the Swiss Acade- Website: http://www.expasy.org/glycomics my of Engineering Sciences (SATW) in collaboration with G. Hopfgartner (Uni. Geneva) and V. Leclère (Uni. Lille, France) Teaching Period: January 2018 – December 2019 • Introduction to Systems Biology , Master Biology, 42h, 3 ___ ECTS, cancelled in 2019 due to the lack of students • Elements of bioinformatics, Master Biology, 42h, 5 ECTS • Bioinformatics, Bachelor Biology, 28h, 2 ECTS (François Bonnardel, tutor) • Introduction à la programmation des algorithmes, Ba- chelor, 56h, 7 ECTS (François Bonnardel, tutor) • Modélisation et simulation de phénomènes naturels, 14h, 4 ECTS (Thibault Robin, tutor) • Organiser of and contributor to the Glycosciences workshop for UNIGE Doctoral School in Life Sciences, November 20-22. • Contributor to Glycoanalytics and Glycoinformatics doctoral school course in Copenhagen, Denmark, Octo- ber 10-11.

Figure 1: Different 3D-models of carbohydrate-binding proteins known as beta-propellers and suggestion of classification principles (a) Schematic representation of the different folds highlighting regularities (b) Structure of representative ß-propellers grouped in families defined by observed regularities (c) Different types of functional assemblies of ß-propellers. (work of François Bonnardel and collaborators in Grenoble) 64 Centre Universitaire d’Informatique m s v.u n i g

. c h SMV Software Modeling and Verification

Infoscope, Geneva, 2018 Software Modeling and Verification

Domain activities Team Symbolic Model Checking was developed with the idea of verifying Director complex high level models with a reasonable amount of work for the Didier Buchs user. In particular we propose to separate the model to the informa- Full professor tions for performing eficiently model checking (clustering, anonymi- H-index: 20 zation, partial unfolding). The introduction of new kind of decision diagrams (∑ -DD) based on a generalization of the Shannon decom- position principles allow us to perform model checking for models with huge combinatorial explosion of states (around 10E4500 symbolic states). We are currently exploring the systematic use of rewriting of set of terms principles based on decision diagrams and operational control based on strategies as a metalevel in model checkers. Senior researchers Dr. Alban Linard We currently develop several tools such as StrataGEM for the set Dr. Steve Hostettler rewriting principles, Stew as an abstraction over StrataGEM and Ar- PhD students doises a meta-environment for managing formalisms and their veri Sahar Aljalbout cation tools. We also continue to organize a model checking contest Eric Harth in the conference Petri Nets in order to be able to compare existing Stefan Klikovits model checkers on significant benchmarks. We also study program- Damien Morard ming language construction that check that the use of memory is Dimitri Racordon alias safe. This language SafeScript is extending JavaScript in an ele- gant way. We also develop methods to adapt our formalisms (CREST) Administration to the domain of modeling and verification of cyber-physical sys- Maëlle Saintilan tems.

Several application domain have been covered by the team such as the development of a domain specific language for computing on sets (Trexmo Tool for the SECO). This language is applied successfully SMV team in 2019 (from left to right): for expressing various models of toxicology analysis in the context of Dimitri Racordon, Guillaume Marthe (intern- health in the workplace. ship), Damien Morard, Stefan Klikovits, Didier Buchs

66 Centre Universitaire d’Informatique PhD Thesis Teaching • Stefan Klikovits, A domain-specific language approach • Concurrency and repartition, Computer Science, Bache- to hybrid cps modelling, June 2019 lor, 4 ECTS, 56 hours, 14 students • Dimitri Racordon, Revisiting memory assignment • Formal Methods, Computer Science, Bachelor, 4 ECTS, semantics in imperative programming languages, 56 hours, 60 students September 2019 • Semantics of Programming Languages, Computer • Eric Harth, Program Understanding: The Narrative Science, Bachelor, 4 ECTS, 56 hours, 20 students Hypothesis, January 2019, co-director Dr. Ph. Dugerdil • Software Modeling and Verification, Computer Science, Master, 4 ECTS, 56 hours, 20 students List of publications • Advanced Formal Methods (Optional), Computer Science, Master, 4 ECTS, 56 hours, 4 students Full refereed papers in Conference Proceedings [] Sahar Aljalbout, Didier Buchs, Gilles Falquet: Introdu- cing Contextual Reasoning to the Semantic Web with OWL ^C. ICCS 2019: 13-26 [] Sahar Aljalbout, Didier Buchs, Gilles Falquet: OWLC: A Contextual Two-Dimensional Web Ontology Language. LDK 2019: 2:1-2:13 [] Dimitri Racordon, Didier Buchs: Implementing a language with explicit assignment semantics. VMIL@ SPLASH 2019: 12-21 [] Dimitri Racordon, Didier Buchs: Explicit and Control- lable Assignment Semantics. CoRR abs/1907.11317 (2019)

Funded research projects

Participation to National projects

CPS-MOVE: Cyber Physical Systems Modeling and Verifica- tion Hasler Project Period: 2016 - 2019 ___

Prove IT Innosuisse 37024.1 INNO-SBM Partners: Didier Buchs (UNIGE) Period: May 2019 - May 2020

Figure 1: TREXMO is a tool built for chemi- cal safety assessment, using multiple models of exposure. It is the result of a joined effort between the University of Geneva, the Institute for Work and Health and the State Secretariat for Economic Affairs.

Because the result of these models can vary for a given situation, it is desirable to have a tool able to run a scenario against multiple models with little to no user overhead. However, building such a tool can be rather complex, because of the complexity induced by the models trans- lations, which is beyond the expertise of chemists. In order to address this issue, we offered them a domain specific language that hides out this “accidental complexity” and let them deal with their “domain complexity”.

Software Modeling and Verification 67 Figure 2: Synchronisation diagrams for the co-simulation in cyber-physical systems (PN= Petri net model, CBD= causal block diagram)

(a) 5) t + (n+1)h PN t 1) Data 6) ≈ 1) CBD Reached event t 2) t+h 3) t + nh 4) t + (n+1)h Timed event (b) 6) t + (n+1)h Detected Event PN 5) Data: t Simulation step 1) Data timestep 7) ≈ 1) Synchronisation CBD t 2) t+h 3) t + nh 4) t + (n+1)h

Figure 3: Layer model depicting the connection of field objects, frontend controllers (e.g. PLCs) and Operator Work Stations through SCADA (Supervisory Control and Data Ac- quisition) applications at CERN LHC

WinCC OA Operator workstations Technical SCADA network servers Local

Supervision touchpanel

Controllers Control Fieldbus

Sensors &

Field actuators

68 Centre Universitaire d’Informatique spc. un ig e

. c h SPC Scientific and Parallel Computing

TecDay, Collège de Candolle, Geneva, 2019 April 4th Scientific and Parallel Computing

Websites: http://spc.unige.ch - http://cui.unige.ch/~chopard - http://epicells.unige.ch

Domain activities Team Directors A main research activity concerns the study of complex systems, in Bastien Chopard particular the development of new numerical methods to model and Full professor simulate phenomena in natural sciences, economics, social systems H-index: 46 and bio-medical applications. Cellular automata, Lattice Boltzmann and multi-agent techniques are central tools to address these questions. Pa- rallel programs and algorithms are developed to implement the simulation on large PC clusters, supercomputers or GPUs to discover, explain or reproduce new phenomena.

Biomedical applications and multiscale problems are an important re- Jonas Lätt search direction. In the H2020 CompBioMed we are partner of a center Professor of excellence for High Performance biomedical simulations. In particular H-index: 20 we developed numerical models for the transport of red blood cells and platelets, in order to study various pathologies.

An important line of research focuses on computational fluid dynamics, cross-disciplinary modeling of complex systems, and high performance computing. He is the original developer and principal maintainer of the open-source software Palabos (www.palabos.org), which is widely used and acknowledged by the simulation community and has been used as a tool for more than 300 publications by universities world-wide. Pala- Developers / Designers bos is used as a tool to spread the research of the UNIGE internationally, Dr. Christophe Charpilloz establish collaborations, and assess the expert position of the UNIGE in Joël Beny the field of lattice Boltzmann modeling. Jean-François Burdet

Senior researchers PhD students Jonathan Lemus Internship Fellow Dr. Christophe Coreixas Anthony Boulmier Sha Li Everton Lira (Brazil) Dr. Jean-Luc Falcone Raphaël Conradin Francesco Marson Dr. Franck Raynaud Christos Kotsalos Rémy Petkantchin Administration Pierre Kunzli Yann Thorimbert Anne-Isabelle Giuntini

SPC team in 2018 70 Centre Universitaire d’Informatique PhD Thesis [6] Yann Thorimbert, Jonas Latt and Bastien Chopard. • Sha Li, Continuum model for flow diverting stents of Implemention of lattice Boltzmann free-surface and intracranial aneurysms, 2019/01/14 shallow water models and their two-ways coupling.} • Luc Mottin, Assistance à la curation de publications MethodsX, 2019 scientifiques par des méthodes d’annotation automatiques, 2019/05/02 Full refereed papers in Conference Proceedings • Yann Thorimbert, Lattice Boltzmann simulations of [7] Joel Beny, Christos Kotsalos, and Jonas Latt. Toward full complex flows, 2019/07/05 GPU implementation of fluid-structure interaction. 2019 18th International Symposium on Parallel and Dis- List of publications tributed Computing (ISPDC), Amsterdam, Netherlands, 2019, pp. 16-22. Refereed papers in international journals [8] Anthony Boulmier, Franck Raynaud, Nabil Abdennadhe- [1] Christophe Coreixas, Bastien Chopard, and Jonas Latt. rand Bastien Chopard. On the Benefits of Anticipating Comprehensive comparison of collision models in the Load Imbalance for Performance Optimization of Paral- lattice Boltzmann framework: Theoretical investiga- lel Applications. IEEE Cluster 2019, Albuquerque, 2019 tions. Physical Review E, 100(3):033305, 2019. [2] Christos Kotsalos, Jonas Latt, and Bastien Chopard. Bridging the computational gap between mesoscopic Books and book chapters and continuum modeling of red blood cells for fully [9] Advance HPC-Based Computational Modeling in resolved blood flow. Journal of Computational Physics, Biomechanics and System Biology. Mariano Vàzquez, 398:108905, 2019. Peter V. Coveney, Hernan Edardo Grecco, Alfons Hoeks- [3] Sha Li, Bastien Chopard, Jonas Latt. Continuum model tra and Bastien Chopard eds (2019). Frontiers Media. for flow diverting stents in 3D patient-specific simula- doi: 10.3389/978-2-88945-817-2 tion of intracranial aneurysms. Journal of Computatio- nal Science, 38:101045, 2019. Research and technical reports [4] Yann Thorimbert, Jonas Latt, and Bastien Chopard. Cou- [10] Anthony Boulmier, Franck Raynaud, Nabil Abdennadher pling of lattice Boltzmann shallow water model with and Bastien Chopard. On the Benefits of Anticipating lattice Boltzmann free-surface model. Journal of Com- Load Imbalance for Performance Optimization of Paral- putational Science, 33:1–10, 2019. lel Applications. https://arxiv.org/abs/1909.07168. 2019 [5] Alfons G. Hoekstra, Bastien Chopard, David Coster, Simon Portegies Zwart and Peter Coveney Multiscale Computing for Science and Engineering in the Era of Exascale Performance. Phil. Trans. R.Soc A377, 20180144. DOI 10.1098/rsta.2018.0144. (2019)

Figure 1: Blood cells (Jonas Latt)

Scientific and Parallel Computing 71 Figure 2: Lattice Boltzmann simulation of a flow with suspensions of different diameter (Yann Thorimbert & Dimitri Kontaxaxis)

International and national advisory com- (France), Lomonosov Moscow State University (Russia) mittees Website: https://www.insist-h2020.eu/ Period: 2017 - 2021 • CADMOS committee member PhD thesis committees Participation to National projects • Alain Cartalade, Membre du Jury, CEA/Sarclay, Gif-sur- Yvette, France Virtual Physiological Blood: an HPC framework for blood • Daniel Ribeiro, U. Mons Belgium flow simulations in vasculature and in medical devices • Luis Ortega, Section de Biologie, UNIGE PACS Project • Anna Stopka, ETHZ Principal Investigator: Petros Koumoutsakos (ETH Zurich) • Diana Suleimenova, Brunel University. London, UK Co-Principal Investigators: Bastien Chopard, Mauro Pezzè Period: July 2017 - June 2020 Conference organization as chair or co-chair Web: https://www.pasc-ch.org/projects/2017-2020/virtual- • PASC 2019, organization of two workshops physiological-blood/ ___ Funded research projects Participation to European projects

CompBioMed: A Centre of Excellence in Computational Bio- medicine H2020-EU.1.4.1.3, grant agreement No 675451 Partners: University College London, University of Edinbugh, Barcelona Supercomputing Center, University of Geneva, CBK Sci Con Limited, LifeTec Group, Evotec AG, Janssen, Uni- versity of Amsterdam, SURFsara, University of Oxford, Uni- versity of Sheffield, University Pompeu Fabra, Acellera, Bull (atos) Web Site: http://www.compbiomed.eu/ Period: October 2016 - September 2019 ___

INSIST: IN-Silico trials for treatment of acute Ischemic Stroke H2020, grant agreement No 777072 Partners: Academic Medical Center (Amsterdam, The Ne- therlands), University of Amsterdam (The Netherlands), Erasmus Medical Centre (The Netherlands), University of Oxford (UK), Neuravi (Ireland), National University of Ire- land Galway (Ireland), Catholic University of Leuven (Bel- gium), Politecnico di Milano (Italy), University of Geneva Figure 3: Simulation of supersonic flow around an airfoil, (Switzerland), Institut de Recherches Internationales Servier with a shock front 72 Centre Universitaire d’Informatique A 3D Cell-Based Simulation Framework for Morphogenetic Others Problem • Organization of CADMOS HPC Course (Champéry, Swit- SNF Sinergia project 170930 zerland), 3 days, 20 participants Partner: ETHZ Period: 2017 - 2021 Open software and databases Others The Palabos software project Refeereeing Open-source library for numerical simulation of fluid flow through the lattice Boltzmann method. Software used by • Reviewer for many intenational journals numerous international researchers and referenced in over 300 scientific publications. Editorial responsibilities Website: http://palabos.unige.ch • Int. J. of Mod Phys, Editorial Board Member • J. of Computational Sciences (JoCS), Editorial Board Member Teaching • J. of Cellular Automata, Editorial Board Member • Méthodes Heuristiques d’apprentissage et d’optimi- • Natural Computing Journal (NACO), Editorial Board sation, Computer Science, Master, 6 ECTS, 70 hours, 20 Member students • Parallelisme, Computer Science, Bachelor, 4 ECTS, 56 Invited talks hours, 20 students • Algorithmique, Computer Science, Bachelor, 4 ECTS, 56 • DSFD (Discrete Simulation in Fluid Dynamics, Banga- hours, 30 students lore, India, July 2019. Fluid-structure interaction in su- • Algorithme probabilistes, Computer Science, Master, 4 personic flow simulations. ECTS, 56 hours, 8 students • ENIUS Training School, Bern, Sept 10, 2019. Biomedical • Modélisation et simulation de phénomènes naturels, applications with the Lattice Boltzmann method Computer Science, Master, 4 ECTS, 56 hours, 18 students • INSCI, Perpignan, Dec 3, 2019, Impact of immigrants on • Principe de fonctionnement des ordinateurs, Computer a multi-agent economical system. Science, Bachelor, 4 ECTS, 56 hours, 11 students • Programmation pour biologistes, Computer Science, Participation in TV and Radio Programs Bachelor, 84 hours, 3.5 ECTS, 58 students • Codez la science, Service de presse du CERN, Septembre • Introduction à l’infromatique pour mathématiciens, 2019, https://bit.ly/2VBMdo4 Computer Science, Bachelor, 75 hours, 4 ECTS, 40 students

Figure 4: bloodflow in a cerebral aneuyrsm with a flow diverter (Sha Li & Dimitri Kontaxaxis

Scientific and Parallel Computing 73 74 Centre Universitaire d’Informatique cs t .un ig e

c h TCS Theoretical Computer Science

Infoscope, Geneva, 2018 Theoretical Computer Science

Domain activities Team Director Experimental driven research on Topology Control Protocols José Rolim for Wireless Sensor Networks (WSN) using transmission power Full professor and throughput rate feedback schemes. The goals include link H-index: 26 qualification in terms of symmetry and coherence and link quantification. Transmission power constitutes the link «gene- rator» and throughput rate the link «regulator» to meet the qualitative and quantitative criteria for links between WSN nodes .

Research on designing a geographic routing algorithm for Senior researchers large scale networks, which is an extension to the Virtual Raw Dr. Pierre Leone (MER) Anchor Coordinate localization based geographic routing. The goal is to perform routing in wireless ad-hoc network in Senior Lecturer a hierarchical manner, where in the top level routing is done Dr. Eduardo Solana between two geographic regions and in the bottom level performing routing to the exact node. A randomized protocol is Assistants (PhD students) designed and evaluated with simulations. Mathias Bavarel Alexandre Quentin Berger Design of a distributed publish/subscribe algorithm for an Julia Buwaya ubiquitous sensing scenario. We consider unstructured and Stéphane Kündig free-geocoordinates sensing networks in which no network protocol is provided. Our solution, which avoids implying all Administration the nodes of the network in the dissemination process, uses a Maëlle Saintilan distributed notification service defined by Directional Random Walks (DRW). A DRW is a probabilistic technique able to go forward into the network following a loop-free path. The prin- ciple assumed in our research is that two lines in a plane cross.

Also research on Future Networks, Internet of Things and Crowdsensing. Our efforts focus on problem modeling aspects and incentive formulation regarding the crowd participation in tasks that aim at optimizing spatial and temporal coverage Figure 1: Crowdsensing and location- issues. based automation in TCS-lab premises via a mobile application Also, research on radiation aware wireless networking; studying the cumulative Mobile Crowdsensing impact on ERM caused by multiple wireless sources in terms of numbers, topology, protocol, etc.

Sensor Sensor-Actuator

Indoor Localization

76 Centre Universitaire d’Informatique List of publications Member of conference/workshop program Refereed papers in international journals committees [1] Pierre Leone, Steve Alpern, A symbolic programming ap- Jose Rolim proach to the rendezvous search problem, submitted. • 15th Annual Conference on Theory and Applications of [2] Pierre Leone, Julia Buwaya, Steve Alpern, Search-and- Models of Computation –TAMC 2019- April 13-16, Koku- Rescue Rendezvous, submitted. ra, Japan [3] Pierre Leone, Kasun Samarasinghe, José D. P. Rolim: Pierre Leone Every Schnyder drawing is a greedy embedding. Theor. • ICSOFT 13th International Conference on Software Tech- Comput. Sci. 807: 234-244 nologies [4] Constantinos Marios Angelopoulos, Sotiris E. Nikolet- • MobiWac 17th ACM International Symposium on Mobi- seas, Theofanis P. Raptis, José D. P. Rolim: User Incen- lity Management and Wireless Access tivization in Mobile Crowdsensing Systems. Mission- • AdHocNow 18th International Conference on Ad Hoc Oriented Sensor Networks and Systems Networks and Wireless [5] Sotiris E. Nikoletseas, Theofanis P. Raptis, Christoforos • UBICOMM Thirteenth International Conference on Mo- L. Raptopoulos, José D. P. Rolim: Radiation Control Algo- bile Ubiquitous Computing, Systems, Services and Tech- rithms in Wireless Networks. Mission-Oriented Sensor nologies, Vehicular 2019, Internet 2019 Networks and Systems (2) 2019: 719-756 Stéphane Kündig • SMACE: 1st International Workshop on Smart Circular Full refereed papers in Conference Proceedings Economy - DCOSS – June, Santorini, Greece [6] Stéphane Kündig, Constantinos Marios Angelopoulos, Sanmukh R. Kuppanagari, Jose Rolim, Viktor K. Prasanna. Others Crowdsourced Edge: A Novel Networking Paradigm for Refeereeing the Collaborative Community, submitted Pierre Leone • Ad Hoc Network Books and book chapters • Transactions on Knowledge Discovery from data [7] Pierre Leone, Kasun Samarasinghe: Geometric Routing • COMNET Computer Networks Without Coordinates but Measurements. Mission- Stéphane Kündig Oriented Sensor Networks and Systems (1) 2019: 603- • IEEE Access 634 • The multidisciplinary Open Access Journal

Conference organization as chair or co-chair Editorial responsibilities Jose Rolim Pierre Leone • DCOSS 2019 IEEE International Conference on Distri- • Member of the Editorial Board of the Ad-Hoc Sensor buted Computing in Sensor Systems, Santirini, Greece, and Wireless Networks May 2019 – co-chair steering committee • Member of the Editorial Board of the journal Algorithms • RANDOM 2019 – 23rd International Workshop on Ran- domization and Computation – MIT , August 2019 - Invited talks chair steering committee • Eduardo Solana. Quantum Computing: Disruptive • ALGOSENSORS 2019 - 16th International Workshop Threat or Opportunity? Zero-Day Conference 2019. Oc- on Algorithms for Sensor Systems, Wireless Ad Hoc tober 24, 2019. Geneva Networks and Autonomous Mobile Entities – Munich, • Eduardo Solana. Quantum: A Double-Edged Sword? Germany - member steering committee CISO 360 Congress 2019. June 19-21, 2019. Rome • IPDPS 2019 – 31st IEEE International Parallel & Distribu- ted Processing Symposium. May 2019, Rio de Janeiro, Brazil - member steering committee

Modelled

Testbeds

Figure 2: Testbed modelling and augmentation with virtual resources in a 3D, interactive web framework

Theoretical Computer Science 77 Others Teaching • Development of a new INFOSCOPE workshop “InfoA- • Complexité et calculabilité, Computer Science, Bache- coustique” in collaboration with Faculty of Science/ lor, TP, 4 ECTS, 56 hours, 53 students Physics Section, Institut Universitaire de Formation des • Langages formels, Computer Science, Bachelor, TP, 4 Enseignants (IUFE) : From acoustics to health, a short ECTS, 56 hours hearing diagnosis and how to measure noise with a • Logiciels et réseaux informatiques, Computer Science, smartphone and start exploring science (Julia Buwaya) Bachelor, 6 ECTS, 42 hours, 80 students • Development of a new INFOSCOPE workshop on Cryp- • Cryptographie et sécurité, Computer Science, Bachelor, tography in collaboration with Laurent Moccozet and 5 ECTS, 56 hours, 40 students Elie Zagury (CUI) (Eduardo Solana) • Securité des systèmes d’information, Computer • Expert referee in the ICT berufsbildung Federal Exami- Science, Master, 4 ECTS, 56 hours, 15 students nations for Cyber Security Specialists (November 2019) • Securité avancée, Computer Science, Master, 2 ECTS, 28 (Eduardo Solana) hours, 5 students • Contribution an ITU-T standard, published in January • Base de données, Computer Science, Bachelor, TP, 6 2019: “Y.4205:Requirements and reference model of IoT- ECTS, 56 hours, 34 students related crowdsourced systems” (Stéphane Kündig).

Courses and tutorials • Menaces liées à internet: cloud, risques et protection des données, cryptographie, Tutorial, Computer Science, Certificate of Advances Studies, 8 hours, 15 students, November 2019 (Eduardo Solana) • Cloud Security, Tutorial, Computer Science, Master of Advanced Studies, May 2019 (Eduardo Solana)

Figure 3: Project website of ongoing Mobile Crowdsensing Figure 4: Mobile Crowdsensensing Platform Scheme Experiments of the TCS group «VIVO», TCS in collaboration with Uni Bern, SUPSI Lugano and Chalmers Sweden

Figure 5: User interface of the TCS NoiseBay project Figure 6: Presenting results at swissnex San Francisco

78 Centre Universitaire d’Informatique Thesis completed Georges Wylfred Bediang Doctor ès Economy and Management, mention Information Systems 18th June, 2019 Directors: Prof. Gilles Falquet Un modèle sémantique basé sur les ontologies Prof. Antoine Geissbuhler pour le partage et la réutilisabilité des itiné- raires cliniques à travers le contexte (ShaRE- CP) Les itinéraires cliniques sont considérés comme des outils de management de la qualité. Ils constituent un moyen de gérer effica- cement et de manière efficiente la prise en charge des patients au cours de leurs soins. Plusieurs bénéfices sont associés à leur utilisation notamment en termes d’amélioration de la qualité des soins. Habituellement les itinéraires cliniques intègrent non seulement les données issues de la littérature scientifique (médecine basée sur les preuves) mais surtout, ils tiennent compte du contexte (par exemple, la disponibilité des ressources matérielles, financières, humaines ou autres) dans lequel les interventions requises doivent être réalisées. C’est cette adéquation entre choix des interventions et disponibilité des ressources qui en fait un outil pertinent pour l’amélioration de la qualité des soins. La maitrise de la cohérence entre tous ces éléments de connaissance associée à la complexité de la gestion de leur évolution dans le temps constitue un des défis importants pour ceux qui ont la charge de développer et d’implémenter les itinéraires cliniques. Sur la base de la pertinence en santé publique (épidémiologie) Il est donc important d’établir un modèle sémantique commun et de l’évaluation de sa faisabilité, nous avons développé et vali- permettant de représenter et de décrire les concepts et les liens dé par les professionnels de la santé travaillant à la maternité de sémantiques propres à un itinéraire clinique d’une part, et d’autre l’Hôpital Central de Yaoundé (un des hôpitaux de référence du part, de représenter et de décrire les concepts et les liens séman- Cameroun), un itinéraire clinique destiné à la prise en charge des tiques associés aux domaines de connaissances qui interagissent patientes ayant une pré-éclampsie sévère. Les données issues de avec celui-ci (guidelines, contexte, ressources, etc.). cet itinéraire clinique ont été représentées au sein de l’ontologie Bien que plusieurs modèles sémantiques basés sur les ontologies ShaRE-CP. Il en est de même d’autres modules de l’ontologie à sa- aient été proposés pour représenter les itinéraires cliniques et ses voir : les recommandations de bonnes pratiques (guidelines OMS) interactions avec d’autres domaines de connaissances, force est pour la prise en charge des patientes souffrant de pré-éclampsie de constater qu’il n’existe pas de travaux ayant tenté de formali- et d’éclampsie, les ressources requises pour la prise en charge des ser explicitement les interactions qui existeraient entre les diffé- patientes souffrant de pré-éclampsie et d’éclampsie dans un pays rents domaines de connaissances que sont les itinéraires cliniques, en développement et enfin, le contexte de l’Hôpital Central de les guidelines et le contexte. De plus, de nombreux défis existent Yaoundé propre à l’exécution de cet itinéraire clinique. Les interac- encore à savoir : (i) le besoin de représenter formellement les relations sémantiques entre les différents faits et connaissances ont tions sémantiques qui existent entre les itinéraires cliniques, les été également représentés. guidelines et le contexte ; et (ii) la nécessité pour un itinéraire cli- Enfin, pour tester et valider le fonctionnement et la consistance de nique de s’adapter de manière cohérente à l’évolution des connais- cette ontologie et ce en accord avec les objectifs de recherche, nous sances provenant des guidelines ou du contexte afin de faciliter avons identifié quelques cas d’utilisation qui ont été résolus au tra- son partage et sa réutilisabilité d’un contexte donné à un autre. vers de l’exécution d’un moteur de raisonnement, d’application de Les objectifs de cette thèse étaient de développer une ontologie règles SWRL et d’interrogations qui intègre les concepts et les relations sémantiques relatifs aux via des requêtes SPARQL. domaines de connaissances que sont les itinéraires cliniques, Le modèle qui est proposé dans cette thèse à travers cette onto- les guidelines et le contexte, d’établir les liens et les interactions logie offre de nombreuses possibilités. Il pourrait servir de base sémantiques qui existent entre ces domaines de connaissance, sémantique pour la mise en place d’un système d’aide à la déci- d’évaluer et de valider la consistance de ce modèle d’ontologie. sion destiné à la planification pertinente et cohérente des soins (à Nous avons développé une ontologie de domaine dénommée Sha- l’échelle d’un système de santé ou d’un hôpital). Il reable and Reusable Clinical Pathway Ontology (ShaRE-CP). Il s’agit aiderait ainsi les développeurs d’itinéraires cliniques, les gestion- d’un modèle sémantique modulaire de gestion des itinéraires cli- naires de santé ou de soins à concevoir des itinéraires cliniques niques qui intègre quatre domaines de connaissance à savoir : les dits intelligents c’est-à-dire qui respectent au mieux les différentes itinéraires cliniques, les guidelines, les ressources en santé et le contraintes issues des domaines de connaissances (guidelines, contexte dans lequel un itinéraire clinique est déployé. Cette on- contexte) connexes aux itinéraires cliniques. Ce modèle peut éga- tologie décrit d’une part, les concepts et les relations qui existent lement servir de support pour la gestion (exécution et suivi) des au sein de ces quatre domaines de connaissance. D’autre part, soins à l’échelle d’un patient. Son caractère modulaire offre la pos- elle identifie et met en évidence les liens et autres interactions sibilité de le connecter aux données des patients contenues sémantiques qui existent entre les concepts issus des différents dans un dossier patient électronique. domaines de connaissance. Pour une meilleure intégration et réu- tilisation, cette ontologie intègre elle-même d’autres ontologies à Doctorat thesis: Univ. Genève, 2019 - GSEM 68 - 2019/06/18 l’instar de : l’ontologie des services OWL-S, l’ontologie du temps, l’ontologie Dublin Core, ainsi que d’autres bases de connaissances. https://archive-ouverte.unige.ch/unige:123705 80 Centre Universitaire d’Informatique Vincenzo Daponte Doctor ès Economy and Management, mention Information Systems 13nd September, 2019 Directors: Prof. Gilles Falquet Dr. Andrea Bocci Analysis and specification of scientific knowledge visualization techniques

Scientific knowledge embraces all the notions of the scientific subjects, such as mathematics, physics, chemistry and more. This knowledge whether recent or well established requires to be visualized to various users and for different tasks. The purpose of this work is to improve the design and development process of scientific knowledge visualization systems by enabling the creation of User interface by two reference models, the Scientific Knowledge Model (UI) prototypes from the scientific knowledge to visualize. (SKM) and the Visual Model (VM). The SKM exposes the for- To achieve this purpose a methodology is proposed that is malism, the concepts and the relations among them regar- punctuated in formal steps and employs conceptual and ding the knowledge represented; while the VM groups the practical tools. How to formally represent and to visualize visual elements with their properties used to present the this knowledge are the first research questions addressed knowledge to the user. The association of these two models is achieved by a mapping language designed to declare abstract representations of the desired UI prototypes. Al- gorithms to transform these abstract representations into

concrete UI prototypes have been also designed and developed. The methodology and the tools employed have been tested using various scientific knowledge sources and the results, including the real use case of the CERN CMS High Level Trigger configuration management system, are presented.

Doctorat thesis: Univ. Genève, 2019 - GSEM 71 - 2019/09/13 https://archive-ouverte.unige.ch/unige:125816

Thesis completed 81 Eric Harth Doctor ès Sciences, mention Computer Science 19th January, 2019 Directors: Prof Didier Buchs Prof. Philippe Dugerdil

Program understanding, the narrative hy- Second, we propose a new pothesis model of software understanding that is adap- Program understanding, a central part of development and ted from the strong story maintenance, has been widely studied over the last few hypothesis, a term coined by decades, and many models have been proposed to describe Winston suggesting that un- how engineers comprehend software and what techniques derstanding may be equivalent to story may improve and reduce the time spent in understanding manipulation operations through replications, merges or software. deletion. However, instead of modelling what understanding is, most Third, based on our model of software understanding, we of these studies focus on strategies and techniques applied study how to represent the domainlevel application beha- by engineers when trying to understand software. The para- viour and source code statements as two comparable sto- dox is that the goal of these techniques is usually ill-defi- ries, both written in natural language. We show that using ned. How then can we assess their relevance? NLP and information retrieval techniques (IR), we can “map” The purpose of this thesis is to propose an operational defi- the human-oriented (i.e., domain level) story to the techni- nition of software understanding in the context of software cal story (i.e., source code), which is associated with the run- development and maintenance and to study the limitations time execution of the software. and constraints that follow from this definition. In particu- Fourth, based on the concept assignment problem proposed lar, this will allow us to explain why it is so difficult to un- by Biggerstaff & Mitbander, we present the techniques we derstand software written by others. Based on this, we pre- use to extract some sequences of domain concepts from sent the tools that we developed and show how they could the execution of the software (i.e., the execution trace) to be applied to a set of case studies. shape a high-level story describing what the code is actually The thesis is structured as follow: First, we analyze the mo- doing. dels and techniques for understanding proposed over the In conclusion, we discuss the implications of our approach last three decades. and future directions in software maintenance research, showing the way new tools could be developed to understand software programs.

Doctorat thesis: Univ. Genève, 2019 - Sc. 5306 - 2019/01/19 https://archive-ouverte.unige.ch/unige:114918

82 Centre Universitaire d’Informatique Stefan Klikovits Doctor ès Sciences, mention Computer Science 13th June, 2019 Director: Prof. Didier Buchs A domain-specific language approach to hybrid cps modelling nuous variable evolution and The recent advent of cyber-physical systems (CPSs) in end-user support for non-deterministic applications extends the need for sophisticated model creation, si- systems. While the language is mulation and system verification from classical systems enginee- certainly the main contribution, ring domains to new application areas. Since CPSs such as smart CREST’s design considerations homes and office automation seamlessly integrate technology provide additional value to the mo- into everyday life, their safety and correctness become paramount. delling community. The findings of this project The intricacy of modelling these systems stems from the merging are described according to three research phases. of two opposing system views: While flows of physical energy and First, an initial analysis investigates the requirements of CPSs resources are mostly described using mathematical methods such whose behaviour is based on the flow of resources such as heat as differential equations, engineered applications are usually best or electricity and extracts the properties that must be provided by expressed using automata and similar discrete formalisms. Many a modelling language or tool. These results are then used to eva- tools that support such hybrid models lean toward academic use, luate current modelling software and formalisms. requiring extensive modelling experience, and neglect usability. Commercial platforms try to mitigate these shortcomings but The second part builds upon these insights to design CREST, a hy- involve significant financial investment. Additionally, tool crea- brid modelling DSL. CREST reuses well-established concepts from tors aim to maximise their products’ versatility and application existing formalisms and merges them into a coherent language, areas, thereby widening the distance between software and target whose formal semantics open the door towell-defined execution domain. This introduces complexity and configuration effort and and simulation. CREST is implemented as crestdsl, a Python-based, increases the risk for errors not directly related to the system itself. internal DSL that allows efficient modelling and simulation. This thesis explores the use of domain-specific languages (DSLs) to The last research topic describes the application of formal verifi- bridge the gap between systems and models. It describes the crea- cation on CREST models. This advanced use case is explored from tion of the Continuous REactive SysTems language (CREST), a DSL theoretical and practical points of view. Additionally, it has been dedicated to the combined modelling of physical resources and implemented in crestdsl proving its viability. The positive result of engineered behaviour. The language offers architectural concepts the approach highlights the capabilities of CREST, the practicability such as hierarchical system composition and typed ports, reactive of the hybrid DSL modelling approach and confirms their effecti- dataflow aspects that assert a synchronous model behaviour, conti- veness.

Doctorat thesis: Univ. Genève, 2019 - Sc. 5354 - 2019/06/13 https://archive-ouverte.unige.ch/unige:121355

Thesis completed 83 Athanasios Kyritsis Doctor ès Economy and Management, mention Information Systems 19th December, 2019 Directors: Prof. Dimitri Konstantas Enhancing wellbeing using artificial intelli- Dr. Michel Deriaz gence techniques The landscape of technology is rapidly evolving, and its pace of growth is not slowing down. During the last decades, and espe- cially after the mass adoption of the internet, new technolo- gical advances have revolutionized every aspect of human life. In the frame of building context- We are living in the ubiquitous computing era, where connec- aware applications, we have also ted devices form the internet of things and produce data faster contributed towards developing than we can logically process. With the latest advances in mo- activity recognition systems using bile communications and with the widespread use of smart- iner- tial sensors. Initially, we present all the phones and connected sensors, various aspects of wellbeing parameters that have an impact on every stage of the develop- can be monitored and improved. The goal of this thesis is to ment of an activity recognition system. We have analyzed the propose new algorithms, methodologies, and applications that significance of the parameters in the design, implementation, can be used as components in health and wellbeing systems testing, and evaluation phase of an activity recognition system that support healthy aging, enhance human-machine interac- with an experiment that included several activities to be iden- tions, and support postoperative rehabilitation with the use of tified. We put all this acquired knowledge into practice by buil- modern connected devices and machine learning techniques. ding an activity recognition system optimized for a specific sce- The core research question of the thesis is the following: nario. We created a gait recognition system targeting people «How can artificial intelligence techniques ameliorate human who have undergone lower body orthopedic surgery. We colla- wellbeing by using data produced by modern smart devices?» borated with the physiotherapist team of Hirslanden Clinique In this thesis, we initially investigate how modern technology La Colline, an orthopedic clinic in Geneva. We built a system and applications that support healthy aging can be attractive that is meant to be used by the physiotherapists during the to be used by older adults. We conducted a research study in or- rehabilitation phase of a patient, in order to be able to moni- der to understand the needs and requirements of older adults, tor the evolving gait pattern of the patient during everyday life, as well as the reasons behind the age technology gap. In this and not only during the time-limited physiotherapy sessions. study, we provide useful insights to developers who are buil- The thesis contributions include techniques on how machines ding user-centric applications and want to appeal to users of can learn about different human aspects from data. All the all age groups. presented components in the thesis can be used to support We are then presenting three components we developed that wellbeing systems that enhance daily life. leverage the use of modern technologies to improve daily living. We are presenting a low-cost, easy to deploy and use, indoor localization system with room-level accuracy. The algorithm we are proposing takes into account signals from radio frequency beacon transmitters like Bluetooth beacons and the room geometry when inferring a position. We continue by presenting a mood and stress detection system that monitors non-invasive sensor data and smartphone usage patterns in order to estimate the psychological state of the users. We are then presenting methods of detecting abnormal behavior from activity and mobile app usage data. Unsupervised anomaly detection techniques were employed for detecting potentially problema- tic scenarios during the day and for triggering relevant actions.

Doctorat thesis: Univ. Genève, 2019 - GSEM 75 - 2019/12/19 https://archive-ouverte.unige.ch/unige:130751

84 Centre Universitaire d’Informatique Sha Li Doctor ès Sciences, mention Computer Science 14th January, 2019 Directors: Prof. Bastien Chopard Dr. Jonas Latt Continuum model for flow diverting stents of intracranial aneurysms

Aneurysmal subarachnoid hemorrhage remains an important cause of stroke mortality and morbidity. Hemodynamic factors are considered to be a major factor in the progres- sion and rupture of intracranial aneurysms. Flow diverting stent (FDS) is an emerging paradigm for treating traditional- ly difficult intracranial aneurysms. It is placed in the parent The 2D SFDM is tested on several ideal aneurysms under artery to divert the blood flow from the aneurysm sac and various conditions, such as different stent placements, va- promote the progressive thrombosis. In the field of medical rying homogeneous porosities and pulsatile inlet velocities. FDS, numerical simulation is a tool of high importance for The model can effectively reduce the velocity and wall shear the investigation and development of new flow diverters. stress in the aneurysm sac as a fully resolved stent. It is also used to assist patient-specific decision making, for example during a medical stent placement procedure Afterwards, the framework of SFDM is extended to 3D and is for the consolidation of an arterial aneurysm. How- ever, applied for actual medical flow diverters in patient-specific fully resolved simulations of the stent are often prohibiti- aneurysms. The numerical tests show that the 3D SFDM can vely expensive, opening the path for approximate but more reproduce the results of direct numerical simulation both efficient simulations framework which model the effect of qualitatively and quantitatively, and are capable of redu- the FDS through a coarse-grained, macroscopic approach. cing the simulation time by an order of magnitude or more. Porous media model was proposed for this purpose, assu- Additionally to the theoretical framework of the SFDM, the ming that FDS can be described as a porous media, obeying thesis discusses in detail the procedure required to deploy Forchheimer’s law. How- ever, FDS are not 3D porous media the model for a given stent and artery. and a solution based on screen model are more adapted. In this thesis, we develop a screen based flow diverter model All the simulations above are carried out in the Palabos (SFDM) which circumvents deficiencies of some aspects of which is an open source solver based on Lattice Boltzmann the porous media model. method (LBM). The LBM force models and boundary conditions that we utilize for the simulations of stented aneurysms and SFDM are already integrated in the solver.

In summary, we developed, validated and deployed a screen based flow diverter model which can greatly reduce the computational time for the blood flow in stented aneurysm with reasonable accuracy. It opens the possibility to be included in a medical imaging device which is a fast enough Our framework is developed from the existing screen mo- simulation mode for helping a clinician to assess the benefit dels which, as opposed to porous media models, are expli- of a given FDS for a specific patient. citly built to reflect the physics of thin porous structures, like a flow diverter stent. We first reviewed the hydraulic equations of screen in the literatures, then proposed a 2D framework which are able to predict the pressure drop and flow deflection across a stent. The deflection part determi- ned by the drag coefficient, is different from the homogeneous porous media prototype.

Doctorat thesis: Univ. Genève, 2019 - Sc. 5307 - 2019/01/14 https://archive-ouverte.unige.ch/unige:115538

Thesis completed 85 Akram Abdulghani Hezam Mohammed Doctor ès Economy and Management, mention Information Systems 18th September, 2019 Directors: Prof. Dimitri Konstantas Dr. Niels Alexander Nijdam A reference model for securing IoT In this thesis we discuss machine learning methods performing automated variable selection for learning sparse predictive models. There are multiple reasons for promoting sparsity in the predictive models. By relying on a limited set of input variables the models naturally counteract the over- fitting problem ubiquitous in learning from finite sets of training points. Sparse models are cheaper to use for predic- tions, they usually require lower computational resources and by relying on smaller sets of inputs can possibly reduce costs for data collection and storage. Sparse models can also contribute to better understanding of the investigated phe- nomenons as they are easier to interpret than full models. ries. Calling upon the theory of learning vector-valued func- We are specifically interested in problems with non-trivial tions in the RKHS and the ideas of multiple kernel learnin- sparse relationships amongst the data. In particular, pro- gwe provide the model with enough flexibility to search for blems where the dependencies exhibit some sparse pat- the predictive function while still uncovering sparse Gran- terns that can be exploited in the modelling but for which ger causal dependencies. the prior understanding is not sufficient to formulate expli- In the second half of the manuscript we focus on the more cit constraints to be hard-wired into the model. We build on general problem of learning sparse nonlinear regression the ideas of learning with structured sparsity to factor such functions. Making parallels to linear modelling, we formu- patterns into the models. late new regularisers based on partial derivatives of the Furthermore, as the relationships may be too complex to be function to promote structured sparsity in the nonlinear model. We show how these can be incorporated into the kernel regression problem and reformulated into a problem solvable in practice by an iterative algorithm derived from the alternating direction method of multipliers (ADMM). Finally, we address the scalability issues of sparse learning with kernel methods. We use the random Fourier features to approximate the kernel function and shift the sparsity search from the original function space into the space of the random features. We thus significantly reduce the di- mensionality of the search space and therefore the computational complexity even when working over large datasets with thousands of data instances.

satisfactorily captured by simple linear functions we allow the methods to operate over a broader space of nonlinear functions. For this we rely on the theory of regularised learning in the reproducing kernel Hilbert spaces (RKHSs) and extend it in the direction of sparse learning in nonlinear nonadditive models. Throughout the thesis we propose multiple new methods for sparse learning over reduced set of input variables. We initially concentrate on the problem of multivariate time series forecasting and develop methods that learn forecasting models together with discovering the Granger causa- lity dependencies amongst the series. We first consider dependencies that are organised around a limited set of series functioning as leading indicators for the whole system or its parts. Our method discovers these leading indicators as well as the groups of series depending on them together with learning the predictive model. Doctorat thesis: Univ. Genève, 2019 - GSEM 72 - 2019/09/18 We next allow for nonlinear relationships amongst the se- https://archive-ouverte.unige.ch/unige:123701

86 Centre Universitaire d’Informatique Luc Mottin Doctor ès Sciences, mention Bioinformatique 2nd May, 2019 Director: Prof. Bastien Chopard Assistance à la curation de publications scien- Prof. Patrick Ruch tifiques par des méthodes de triage et d’annotation automatiques à certains descripteurs relatifs aux interactions entre protéines nous La revue de la littérature constitue une étape fondamentale de la re- parvenons à augmenter la précision cherche scientifique. En effet, l’exploration de méthodes et des résultats du triage de +11% supplémentaires, existants, dans un domaine particulier, répond à plusieurs objectifs. tandis que ce gain est de +30% quand Entre autres, elle permet d’identifier les informations pertinentes à la la méthode est adaptée aux modifica- réalisation d’un projet ou encore de mettre ses idées et conclusions en tions post-traductionnelles. Finalement, perspective avec les réalisations d’autres experts. Or, cette littérature est étant donné les informations disponibles, d’autres une gigantesque base de connaissances, non structurées, dans laquelle approches ont été envisagées afin d’enrichir la recherche d’information, sont stockées les contributions sans cesse plus nombreuses de la com- mais les résultats obtenus démontrent une influence moindre sur le munauté scientifique. Dans ce contexte, le rôle des curateurs consiste triage de documents. à traiter la littérature au fur et à mesure de sa production et à assurer Dans le second chapitre expérimental de cette thèse, nous mettons la fiabilité de l’information proposée. Par leur intermédiaire, les publi- l’accent sur l’annotation de la littérature scientifique. Nous formulons cations scientifiques sont annotées, contrôlées et les entités identifiées l’hypothèse que la validation des annotations peut être simplifiée grâce sont mises en relation avec d’autres sources de connaissances. Les cu- à la modélisation de la tâche de curation. Ainsi, la première partie de ce rateurs ont aussi pour objectif de rendre l’ensemble des informations chapitre porte sur l’efficacité de notre module d’annotation avec notam- (trouvées ou créées) accessible et réutilisable pour la communauté, d’où ment une évaluation de la reconnaissance d’entités nommées. Avec un F- la conception de bases de données spécifiques. score moyen de 0.62 (de 0.49 à 0.77 en fonction du corpus), cette série de neXtProt est l’une de ces ressources, conçue et maintenue par le groupe tests a notamment permis d’ajuster notre système pour les règles syn- CALIPHO de l’Institut Suisse de Bioinformatique dans le but de contri- taxiques de la reconnaissance de motifs. La seconde partie de ce chapitre buer à la compréhension des protéines humaines. Pour faire face à l’aug- est ensuite consacrée à l’utilisation de neXtA5 en tant que plateforme mentation spectaculaire de la quantité d’information produite par la de support à la curation de la littérature. Une phase de test en situation recherche, tout en maintenant le standard de qualité de l’information réelle a été réalisée par quatre curateurs du groupe CALIPHO et montre proposée dans cette base, les curateurs de neXtProt ont décidé de mettre une précision de la recherche d’information variant de 63% à 80% pour en oeuvre des méthodes d’automatisation du processus de curation en l’axe maladies (avec et sans l’accord interannotateurs), et de 67% à 84% collaboration avec le groupe SIB Text-Mining. In fine, neXtA5 est une pla- pour l’axe processus biologiques. En revanche, seuls 25% des annotations teforme de support à la curation de la littérature résultant de cette col- de neXtA5 ont été validés par les curateurs pour l’axe maladies et 35% laboration. pour l’axe processus biologiques. Ces résultats indiquent un nombre Différentes approches de recherche d’information et de fouilles des don- conséquent de faux-positifs incluant des concepts trop généraux qu’il nées textuelles, ainsi que certaines de leurs applications, sont donc pré- convient de filtrer selon les préférences des utilisateurs. Nous avons alors sentées dans l’État de l’Art de cette thèse. Cependant, dans le contexte de cherché à prioriser les annotations suggérées par neXtA5 selon deux la curation de neXtProt, plusieurs problématiques viennent contraindre stratégies : une pondération TF.IDF pour les maladies et l’injection d’un le développement des méthodes entièrement automatisées, en particu- score issu d’un catégoriseur multiclasse pour les concepts de la Gene lier : Ontology. Nous observons alors une amélioration sur la pertinence de • l’absence de données d’entraînement équilibrées pénalise forte- +23% en tête de liste pour les maladies (+29% au rang 5) et de +31% pour ment les méthodes d’apprentissage automatique ; les processus biologiques (+25% au rang 5). • la nomenclature utilisée par les auteurs de publications ne corres- Nous avons montré que le processus de curation peut être optimisé à pond pas systématiquement à un standard, et leur style d’écriture différents niveaux par l’exploitation automatique de descripteurs onto- dépasse parfois la capacité d’interprétation d’une machine ; terminologiques et la modélisation du comportement des curateurs. En • la validation de l’information demeure une étape critique du pro- priorisant les publications selon des axes prédéfinis, nous discutons l’im- cessus de curation. pact de notre outil de triage sur la productivité des curateurs. En ce qui Le premier chapitre expérimental de cette thèse est consacré à la re- concerne la curation des maladies, et en croisant différentes études sur le cherche d’information dans une collection de documents (MEDLINE). sujet, notre système permet d’envisager un gain de temps d’environ 12%. Ce chapitre a pour but de démontrer que l’annotation massive de docu- En outre, l’automatisation du processus global est susceptible de limiter ment, en fonction d’axes spécifiques (à savoir « maladies », « processus l’introduction d’erreurs entre les différentes étapes de la curation. biologiques », « fonctions moléculaires », « composants cellulaires », « interactions entre protéines » et « modifications post-traductionnelles »), permet d’améliorer la précision du triage – première étape d’une tâche de curation. Ainsi, nous proposons une approche novatrice consis- tant à exploiter la présence de descripteurs onto-terminologiques, dans le document, au moyen d’une combinaison linéaire de facteurs tels que la fréquence d’apparition des concepts ou encore leur spécificité. Notre approche est affinée par le réglage de la combinaison linéaire en fonction de l’axe de la curation et obtient expérimentalement des résultats variables. La précision obtenue est significativement supérieure à PubMed sur le classement des documents pour la curation : +562% (maladies), +301% (processus biologiques), +2400% (fonctions moléculaires), +371% (composants cellulaires), +236% (interactions entre protéines) et +268% (modifications post-traductionnelles). En complément à cette stratégie d’ordonnancement visant à améliorer la précision, nous avons implé- menté une stratégie d’expansion de requête afin de renforcer le rappel du système (+30%). D’autre part, l’expansion de requête contrebalance effi- cacement l’usage répandu de synonymes dans les articles biomédicaux comme le montre l’amélioration du triage observée (+13% en fonction Doctorat thesis: Univ. Genève, 2019 - Sc. 5339 - 2019/05/02 des maladies et +12.5% pour les processus biologiques sur la moyenne des réciproques des rangs). D’ailleurs, en adaptant l’expansion de requête https://archive-ouverte.unige.ch/unige:118269 Thesis completed 87 Dimitri Racordon Doctor ès Sciences, mention Computer Science 3th September, 2019 Director: Prof. Didier Buchs

Revisiting memory assignment semantics in imperative programming languages

Programming languages have become an unavoidable tool, not only for computer experts, but also for scientists and engineers from all horizons. For the sake of usability, modern programming languages typically sit at a very high abstraction level and hide the intricacies of data representation and memory management. The continuing growth in computational power has enabled this evolution, allowing compilers and interpreters to support features once thought unrealis- This thesis proposes a model to better reason about me- tically expensive, such as automatic garbage collection al- mory management. Our first objective is to provide a more gorithms and powerful static type inference. While this has accurate description of memory assignment semantics, undeniably contributed to make code simpler to write and in a universal and unambiguous way. The resulting model clearer to read, relics of the underlying model still transpire marks a clear distinction between variables and values, that in most languages’ semantics. In imperative programming highlights situations where aliasing occurs and situations languages, where computation is expressed in terms of suc- where assignments may have side eects beyond the muta- cessive mutations of a program’s state, leaks at any level of tion of a single variable. Such a model is presented formally abstraction may lead to unintuitive and/or misunderstood by the means of a complete semantics, and informally with memory assignment behaviors. In particular, the interplay examples of its application to some nontrivial examples. It is between values and variables can prove to be a prolific then used to describe memory errors related to assignment. source of confusion. While both are usually perceived as Two methods are proposed. The first is based on an instru- interchangeable notions, values are semantic objects that mentation of the dynamic semantics to detect accesses to live in memory while variables are syntactic tools to inte- uninitialized or freed memory. The second relies on a capa- ract with them. As both concepts are not necessarily thete- bility-based type system to guarantee memory safety sta- red in a one-to-one relationship, foreseeing the reach of a tically. Finally, Anzen, a general purpose language based on modifying operation requires a clear understanding of the the aforementioned model, is introduced as an attempt to memory abstraction. empirically validate its practicality.

Doctorat thesis: Univ. Genève, 2019 - Sc. 5409 - 2019/09/03 https://archive-ouverte.unige.ch/unige:127105

88 Centre Universitaire d’Informatique Lorenza Russo Doctor ès Humanities, mention Linguistics 17th June, 2019 Director: Prof. Eric Wehrli

La traduction automatique entre langues proches: les cas du français et de l’italien

Ce travail s’inscrit dans le cadre de la traduction automatique entre langues proches et porte sur le couple de langues français-italien. Nous avons comparé deux traducteurs automatiques à base de règles: Apertium (Forcada, 2011) -- un traducteur qui se base sur un module d’analyse syntaxique dite ``de surface’’ ou ``superficielle’’ (shallow parsing en anglais) -- et Its-2 (Wehrli et Scherrer, 2009 -- un traducteur qui se base sur un module d’analyse syntaxique dite ``profonde’’ (deep parsing en anglais). Les performances de ces deux systèmes ont été comparées à celles d’un système statistique à base neuronale (Google Traduction, Wu, 2016).

Dans ce travail, nous cherchons à vérifier l’hypothèse selon Nos évaluations nous amènent à conclure que dans certains laquelle l’analyse syntaxique de surface est suffisante pour cas l’analyse syntaxique de surface peut être suffisante la traduction automatique entre langues proches étant pour la traduction entre langues proches, mais lorsque l’on donné qu’elles présentent un grand nombre de caractéris- observe de plus près la qualité syntaxique des résultats tiques linguistiques communes. obtenus, une telle approche ne semble pas suffisante. Par exemple, lors de la traduction des pronoms clitiques du Après une brève introduction (chapitre 1), nous abordons français vers l’italien, nous avons pu constater que là où les la question de la proximité linguistique entre le français et pronoms clitiques se comportent de manière similaire entre l’italien au niveau syntaxique, plus précisément au niveau le français et l’italien, Apertium atteint un pourcentage de des sous-catégorisations verbales partagées entre ces deux traductions correctes de 44% (contre 85% atteint par Its-2). langues (chapitre 2) et au niveau des collocations dites Cependant, lors de la traduction d’un phénomène linguis- ``transparentes’’ (i.e., qui présentent le même comporte- tique plus compliqué nécessitant un nombre plus élevé de ment syntaxique et sémantique) (chapitre 3). règles de transfert -- comme, par exemple, pour la traduction des séquences clitiques --, le système donné 0% de Au chapitre 4, nous comparons la stratégie de traduction résultats corrects, alors qu’Its-2 atteint 45% de traductions d’Apertium avec celle d’Its-2. Nous évaluons les perfor- correctes. mances des deux systèmes lors de la traduction entre les langues proches espagnol-français. La raison pour laquelle Outre les études effectuées pour déterminer dans quelle le couple de langues espagnol-français a été choisi pour ces mesure une analyse syntaxique de surface est suffisante évaluations réside dans le fait qu’au début de ce travail de pour traduire entre langues proches, d’autres questions ont thèse Apertium ne possédait pas de module de traduction été soulevées dans ce travail de recherche, telles que les pro- pour le couple français-italien. Compte tenu de ce manque, blèmes liés au choix de la mesure d’évaluation des systèmes nous donnons au chapitre 5 les détails de l’implémentation de traduction automatique ainsi que les difficultés en lien du module de traduction français-italien que nous avons avec les corpus à utiliser. effectuée en Apertium. Finalement, avec ce travail de recherche nous donnons à Au chapitre 6, nous nous tournons vers la traduction auto- la communauté scientifique des corpus que nous avons matique d’un phénomène linguistique spécifique au niveau construits nous-mêmes et qui présentent l’avantage d’un duquel le français et l’italien se distinguent -- les pronoms meilleur contrôle sur des phénomènes linguistiques spéci- clitiques -- afin de déterminer si les performances des trois fiques, des tables de correspondance des collocations trans- systèmes (Apertium, Its-2 et Google Traduction) diffèrent parentes entre le français et l’italien ainsi qu’un module lorsque le français et l’italien ne se comportent pas comme de traduction français-italien accessible sur la plateforme des langues proches. Apertium.

Doctorat thesis: Univ. Genève, 2019- L. 949 - 2019/06/17 https://archive-ouverte.unige.ch/unige:121805

Thesis completed 89 Yann Thorimbert Doctor ès Sciences, mention Computer Science 5th July, 2019 Directors: Prof. Bastien Chopard Dr. Jonas Latt Lattice Boltzmann simulations of complex flows

The lattice Boltzmann method (LBM) has been supplemented with various numerical models during the last decades, enabling the direct simulation of flows with increasing complexity. For instance, fluid-structure interactions can be accurately described thanks to the combination of LBM with an immersed boundary approach which is not intrisically formulated for the LBM. Multiple applications of the LBM are presented in this work, all sharing the property to aim at the simulation of complex flows. As a first topic, a lattice Boltzmann model designed for the simulation of dilute and dense finite-sized rigid particle suspensions is Second, a direct comparison between a real wave flume and a presented. A bottom-up approach is used that fully resolves the 3D numerical wave flume is developed through the analysis of mechanical interaction between fluid and particles. The model an oscillating water column energy converter, in order to validate consists in coupling a lattice Boltzmann scheme for Newtonian the lattice Boltzmann approach for simulating such a device. The and incompressible fluid flows, with an immersed boundary numerical model uses a volume-of-fluid approach and handles the scheme to simulate two-ways fluid-particles interaction. A simple water-air coupling into the converter air chamber. The experimen- yet robust contact model is introduced, that includes repulsive tal and numerical setup are described. Comparisons for water level elastic collisions between particles and neglects lubrication cor- during free oscillation test, water level and air pressure under re- rections. This model is applied to simple sheared flows with rigid gular wave attacks are given and show that the lattice Boltzmann spherical particles. Results are given for the relative apparent visco- model is accurate in these conditions. sity of the particle suspensions as a function of the particle volume Third, a scheme for coupling a 2D lattice Boltzmann free-surface fraction and strain rate of the flow. It is shown that, using the pro- solver with a 1D lattice Boltzmann shallow water solver is pres- posed approach, no lubrication model is needed in the Newtonian ented. This method is used to save computational effort and effi- regime, provided that the model includes an elastic contact model. ciently realize multiscale systems. The accuracy of the coupling is The algorithm presented, therefore, can be based only on physi- validated with two tests. First, the numerical and analytic solutions cally sound and simple rules, a valuable feature for aiming at re- are compared in a setup with fixed inflow current and outflow wa- solving polydispersed and arbitrarily shaped particle suspensions. ter level in a canal. Second, the physics of wave propagation and A comparison of the numerical results with Krieger-Dougherty reflection is investigated in a coupled simulation, and compared law confirms that the simulations are not sensitive to the par- to the solutions obtained with both a pure free-surface simulation ticle Reynolds number for Rep << 1 in the Newtonian regime. It is and a pure shallow-water simulation. Finally, a performance test shown that the proposed model is sufficient to obtain a correct is carried out to demonstrate that the overhead of the coupling description of the rheology of spherical particle suspensions up is negligible. A quantitative validation of this type of coupling for to volume fraction equal to 0.55 (approaching the critical random the lattice Boltzmann method is novel, and opens the door to a packing fraction for monodispersed spheres). It is demonstrated range of large-scale simulations of canals and other hydrodynamic that the fluid-solid density ratio does not impact significantly the systems. simulations in absence of gravity, which allows to increase the Finally, automatic grid refinement and coherent noise generation performance and stability of the implemented algorithm. Finally, are addressed in a last part, where some links between these to- a glimpse of bidisperse sphere distributions and three-phase sus- pics and the previous ones are shown. pensions is shown.

Doctorat thesis: Univ. Genève, 2019 - Sc. 5373 - 2019/07/05 https://archive-ouverte.unige.ch/unige:129125

90 Centre Universitaire d’Informatique Administrative Staff

Administrative Staff 92 Centre Universitaire d’Informatique Marie-France Elisabeth Anne-Isabelle Maëlle Séverine Culebras Giudicelli Giuntini Saintilan Walter

The administrative staff of CUI is dedicated to serving at its best the community of researchers, teachers and students. Essentially covering four domains :

Administration: Its role is to manage the CUI budget, logistics, communication, etc. It also ma- nages the Web site, the production of documents (activity report, flyers, etc.) as well as the organization and coordination of public and promotional events such as TecDays, Nuits de la science, etc. Daniel Nicolas Elie • Elie Zagury is direction assistant. Agulleiro Mayencourt Zagury

Secretariat: Works at the departments level of CUI. Hiring and contract renewals of doctoral students Library: The CUI Library provides services and tasks as well as all the tasks related to CUI operations as any specialized library of an universitary center. are handled by the secretariat. It also provides a It is part of the library network of the University perfect connection to major University services of Geneva (http://www.unige.ch/biblio/sciences/ such as HR, accounting, etc. infos/cui.html) and is proud to offer some specifi- • Marie-France Culebras is full-time secretary; ties in its field. Its current collection contains ap- • Elisabeth Giudicelli is part-time secretary (40% proximately 10’000 books and 25 specialized print CUI + 40% continuing education) ; journals. • Anne-Isabelle Giuntini is part-time secretary • Amélia Marcelino is head librarian. (50%); • Maëlle Saintilan is full-time secretary; • Séverine Walter is part-time (50%) student secretary.

IT: Two systems-engineers manage the basic computer infrastructure of CUI (data storage, bac- kups, servers, network, etc.) using Linux, Mac and Windows. Their help and support is appreciated daily by the whole CUI community. This service works closely with the University IT Division. • Nicolas Mayencourt is system-engineer; Amélia • Daniel Agulleiro is system-engineer. Marcelino

Administrative Staff 93 94 Centre Universitaire d’Informatique Financial Report Financial Report Financial Resources State of Geneva and Swiss Confederation Budget

CUI Staff CHF 1’070’259.- • Academic CHF 364’557.- • Administrative and Technical CHF 503’566.- • Employer’s social contributions CHF 202’136.- Operating costs - Investment CHF 56’800.- Operating costs - Others CHF 176’948.- CUI subtotal CHF 1’304’007.-

Faculty of sciences (Computer Science Department) Staff CHF 3’365’483.- • Academic CHF 2’563’751.- • Administrative and Technical CHF 165’857.- • Employer’s social contributions CHF 635’875.- Operating costs - Investment CHF 88’993.- Operating costs - Others CHF 33’840.- Sciences subtotal CHF 3’488’316.-

Geneva School of economics and management Staff CHF 986’971.- • Academic CHF 795’696.- • Employer’s social contributions CHF 191’275.- Economics and management subtotal CHF 986’971.-

Geneva School of Social Sciences Staff CHF 747’038.- • Academic CHF 600’502.- • Employer’s social contributions CHF 146’536.- Social Sciences subtotal CHF 747’038.-

Faculty of humanities (Unit of Computer Science for the Humanities) Staff - Academic, incl. Charges (estimation) CHF 574’046.- Operating costs CHF 20’000.- Humanities subtotal CHF 594’046.-

TOTAL BUDGET CHF 7’120’378.-

96 Centre Universitaire d’Informatique External funding obtained by the professors Credit

CUI UE-funded Projects CHF 472’442.- Swiss-funded Projects CHF 296’297.- CUI subtotal CHF 768’738.-

Faculty of sciences (Computer Science Department) UE-funded Projects CHF 363’249.- Swiss-funded Projects CHF 1’293’362.- Sciences subtotal CHF 1’656’611.-

Geneva School of economics and management UE-funded Projects CHF 246’851.- Swiss-funded Projects CHF 1’626’691.- Economics and management subtotal CHF 1’873’542.-

Geneva School of Social Sciences UE-funded Projects CHF 0.- Swiss-funded Projects CHF 139’859.- Social Sciences subtotal CHF 139’859.-

Faculty of humanities (Unit of Computer Science for the Humanities) UE-funded Projects CHF 0.- Swiss-funded Projects CHF 19398.- Humanities subtotal CHF 0.-

TOTAL CREDIT CHF 4’458’148.-

Financial Report 97

TecDay Infoscope TecDay Collège de Candolle, Geneva Battelle, Carouge Collège de Candolle, Geneva 2019 April 4th 2018 May 14th 2019 April 4th

1 13 17 « Cryptographie » animation Miguel De Bruyne (CUI student) and Some students experimenting « Aslam Cader (Computer Science Post-numérisation » animation student), animators for Infoscope. « Jeu mobile » animation (R)amène ta science Infoscope Infoscope C.O. Vuillonex, Geneva Battelle, Carouge Battelle, Carouge 2019 April 12th 2018 May 14th

21 27 51 « Cryptographie » animation CUI customized cardboards for « VR/ Student experimenting « Jeu mobile AR » animation » animation

TecDay Infoscope Nuit de la science College de Candolle, Geneva Battelle, Carouge Parc de la Perle du Lac, Geneva 2019 April 4th 2018 July 7th

61 65 57 69 Raphaël Lutz (Computer science Special board 3D-printed by CUI Two yound visitors experimenting « student), animator for Infoscope. « for « Algorithmique collective » VR/AR » animation Jeu mobile » animation. animation

Nuit de la science Parc de la Perle du Lac, Geneva 2018 July 7th ll i ustr at io n

Théo Giovanna (Computer Science student), animator for Infoscope. « Trie-toi, toi même! » animation cui.u ni ge .c h Centre Universitaire d’Informatique Battelle - Bâtiment A 7, route de Drize CH-1227 Carouge