Søg
Close this search box.
Kategorier
Afholdte arrangementer

Gør din forskning synlig og forståelig uden for forskningsverdenen

27. september 2022

Gør din forskning synlig og forståelig uden for forskningsverdenen

På dette års DIREC-seminar inviterede vi ph.d.-studerende og andre interesserede i at synliggøre deres forskning uden for den akademiske verden til en workshop med Peter Hyldgård, som har mere end 20 års erfaring med videnskabsjournalistik og kommunikation.

Forskning er nøglen til vores forståelse af samfundets udfordringer, menneskets forudsætninger og teknologiens muligheder. Derfor er det vigtigt at forskning gøres tilgængeligt for så mange som muligt.

I forskningsverdenen har publicering i videnskabelige tidsskrifter en helt særlig status, og hvert år udgives millioner af forskningsartikler, doktorafhandlinger, bøger og antologier på tværs af kloden og inden for alle discipliner. Desværre er det meget få, der læser disse mange publiceringer. Det er derfor nødvendigt også at fokusere på andre typer formidling, der når ud til en bredere målgruppe, da det bidrager til at give forskning en mere tydelig rolle i samfundet og gør forskning mere interessant og vedkommende for den bredere befolkning.

På workshoppen var der fokus på, hvordan man fortæller en god historie om sin forskning, som alle kan forstå – uden at gå på kompromis med det faglige indhold, og hvordan man bygger bro til et publikum, der ikke umiddelbart har interesse i/viden om emnet

Peter Hyldgård præsenterede flere enkle værktøjer til at finde en historie om sin forskning, som kan bruges i mange sammenhænge: Når man skal søge midler, når man interviewes af en journalist – eller når man skal fortælle din onkel Adam om sit arbejde.

Workshoppen var en blanding af oplæg og små øvelser med en lidt større afsluttende øvelse, hvor deltagerne gav en – meget kort – mundtlig ‘pitch’ af deres forskning.

Kategorier
Afholdte arrangementer

DIREC Seminar 2022

DIREC Seminar 2022

26 – 27 SEPTEMBER 2022
HELNAN HOTEL MARSELIS – AARHUS

Two fantastic days with a focus on digital technologies and computer science are over. Thanks to everyone who helped make the days a success. Find keynote presentations here:

Monday 26 September

Software Research: Impact and Challenges
by Prof. Marieke Huisman

Software Research: Impact and Challenges

Abstract: Software is an essential, yet invisible, driving force of the present world. There is, however, a striking contrast between, on the one hand, the omnipresence of software in our society and, on the other hand, the extraordinary difficulty to guarantee the correctness, reliability, performance, scalability, safety, and sustainability of modern software systems. There is an urgent need for software engineering innovations: the world of software is a moving target, due to the ever‐increasing size and complexity of software, the technological churn of both hardware and software, the increased heterogeneity of software, and the emergence of new societal and technological challenges.
Fostering such innovations requires fundamental software research, independently of specific application. In this talk I will outline the major challenges in software research, what is needed to address these challenges, and the expected impact on software in our society.

Bio: Marieke Huisman is a professor in Software Reliability at the University of Twente. She is well-known for her work on program verification of concurrent software. In 2011, she obtained an ERC Starting Grant, which she used to start development of the VerCors verifier, a tool for the verification of concurrent software. Currently, as part of her NWO personal VICI grant Mercedes, she is working on further improving verification techniques, both by enabling the verification of a larger class of properties, and by making verification more automatic. Since 2019 she is SC chair of ETAPS. Besides her scientific work, she also actively works on topics related to diversity, equity and inclusion, as well as science policy. She is a member of the executive board of VERSEN, the Dutch assocation of software researchers, and chaired this association from 2018 until 2021. She is also a member of the  round table computer science of the Dutch Research Council.

Mosaics of Big Data
by Prof. Dr. Volker Markl

Mosaics of Big Data

Database Systems and Information Management – Trends and a Vision

Abstract: The global database research community has greatly impacted the functionality and performance of data storage and processing systems along the dimensions that define “big data”, i.e., volume, velocity, variety, and veracity. Locally, over the past five years, we have also been working on varying fronts. Among our contributions are: (1) establishing a vision for a database-inspired big data analytics system, which unifies the best of database and distributed systems technologies, and augments it with concepts drawn from compilers (e.g., iterations) and data stream processing, as well as (2) forming a community of researchers and institutions to create the Stratosphere platform to realize our vision. One major result from these activities was Apache Flink, an open-source big data analytics platform and its thriving global community of developers and production users.

Although much progress has been made, when looking at the overall big data stack, a major challenge for database research community still remains. That is, how to maintain the ease-of-use despite the increasing heterogeneity and complexity of data analytics, involving specialized engines for various aspects of an end-to-end data analytics pipeline, including, among others, graph-based, linear algebra-based, and relational-based algorithms, and the underlying, increasingly heterogeneous hardware and computing infrastructure.

At TU Berlin, DFKI, and the Berlin Institute for Foundations of Learning and Data (BIFOLD) we currently aim to advance research in this field via the NebulaStream and Agora projects. Our goal is to remedy some of the heterogeneity challenges that hamper developer productivity and limit the use of data science technologies to just the privileged few, who are coveted experts. In this talk, we will outline how state-of-the-art SPEs have to change to exploit the new capabilities of the IoT and showcase how we tackle IoT challenges in our own system, NebulaStream. We will also present our vision for Agora, an asset ecosystem that provides the technical infrastructure for offering and using data and algorithms, as well as physical infrastructure components.

Bio: Volker Markl is a German Professor of Computer Science. He leads the Chair of Database Systems and Information Management at TU Berlin and the Intelligent Analytics for Massive Data Research Department at DFKI. In addition, he is Director of the Berlin Institute for the Foundations of Learning and Data (BIFOLD). He is a database systems researcher, conducting research at the intersection of distributed systems, scalable data processing, and machine learning. Volker led the Stratosphere project, which resulted in the creation of Apache Flink.

Volker has received numerous honors and prestigious awards, including two ACM SIGMOD Research Highlight Awards and best paper awards at ACM SIGMOD, VLDB, ICDE, and EDBT. He was recognized as ACM Fellow for his contributions to query optimization, scalable data processing, and data programmability. He is a member of the Berlin-Brandenburg Academy of Sciences. In 2014, he was elected one of Germany’s leading “Digital Minds“ (Digitale Köpfe) by the German Informatics Society. He also is a member of the Berlin-Brandenburg Academy of Sciences and serves as advisor to academic institutions, governmental organizations, and technology companies. Volker holds eighteen patents and has been co-founder and mentor to several startups.

Workshops

Advanced and Efficient Big Data Management and Analysis

Organiser: Christian S. Jensen, Aalborg University

Invited technical talk by Volker Markl:
NebulaStream: Data Management for the Internet of Things

New Perspectives on Algorithms and Data Structures

Organisers: Rasmus Pagh, University of Copenhagen & Rico Jacob, IT University of Copenhagen

11.30: Invitation to differential privacy
Boel Nelson and Rasmus Pagh, University of Copenhagen

12.00: Algorithmic Cheminformatics
Jakob Andersen, University of Southern Denmark

12.30:  A study on succinct data structures
Mingmou Liu, University of Copenhagen

Human Computer Interaction, CSCW and InfoVisuals

Organiser: Susanne Bødker, Aarhus University

11.30 Presentation and status of people

12.00 Gaze and Eye Movement in Interaction

by Hans Gellersen, Aarhus University/Lancaster University

Eye movement and gaze are central to human interaction with the world. Our visual system not only enables us to perceive the world, but also provides exquisite control of the movements we make in the world. The eyes are at the heart of this, never still, and in constant interaction with other parts of our body to direct visual attention, extract information from the world, and guide how we navigate and manipulate our environment. Where we look implicitly reflects our goals and information needs, while we also able to explicitly direct our gaze to focus attention and express interest and intent. This makes gaze a formidable modality for human-computer interaction (HCI).

In this talk, I will highlight how closely the movement of our eyes is coupled with other movement, of objects in the visual field, as well movement of our hands, and our head and body, and discuss examples of novel interfaces that leverage eye movement in concert with other motion.

Hans Gellersen is Professor of Interactive Systems at Lancaster University and Aarhus University. His research background is in sensors and devices for ubiquitous computing and human-computer interaction and he has worked on systems that blend physical and digital interaction, methods that infer context and human activity, and techniques that facilitate spontaneous interaction across devices. Over the last ten years a main focus of his work has been on eye movement. In 2020, he was awarded an ERC Advanced Grant by the European Research Council for research on Gaze and Eye Movement in Interaction.

Cyber-Physical Systems, IoT and Autonomous Systems

Organiser: Jan Madsen, Technical University of Denmark

11:30  The CPS ecosystem — status

11:45  Partner presentations covering; scientific focus, application domains, people, key projects (15 min each):

  • How to build a Digital Twin
    Mirgita Frasheri (AU)
  • Hardware/Software Trade-off for the Reduction of Energy Consumption, (Explore)
    Maja and Martin (RUC, DTU)
  • AAU?
  • ITU?

12:30 Identifying the Grand Challenges of CPS 

Verification and Software Engineering

Organiser: Kim Guldstrand Larsen, Aalborg University

SESSION 1 Verification

BRIDGE: Verifiable and Safe AI for Autonomous Systems

Overview and Status
by Kim Guldstrand Larsen, Aalborg University

HOFOR Case and Strategy Representation
by Andreas Holck Høegh-Petersen, IT University of Copenhagen

Aarhus Vand Case and Reinforcement Learning
by Martijn Goorden (AAU)

TECHNICAL LIGHTENING TALKS

Verification of Dynamical Systems
by Max Tschaikowski, Aalborg University

Verification of Neural Network Control Systems
by Christian Schilling, Aalborg University

Formal Verification and Robust Machine Learning
by Alessandro Bruni, IT University of Copenhagen

EXPLORE: Verifiable and Robust AI FUTURE projects
ALL

EXPLORE: Certifiable Controller Synthesis for Cyber-Physical Systems FUTURE projects
Martijn Goorden (short status)

AI – Machine Learning, Computer Vision, NLP

Organiser: Mads Nielsen, University of Copenhagen

11:30: Overview of DIREC and Pioneer Centre activities
Mads Nielsen, KU

11:40: EXPLAIN ME, Explainable AI for Medical Education
Aasa Feragen, DTU

12:00: HERD – Human-AI Collaboration: Engaging and Controlling Swarms of Robots and Drones
Anders Lyhne Christensen, SDU
Maria-Theresa Oanh Hoang, AAU
Kasper Andreas Rømer Grøntved, SDU

12.20: Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation
Alessandro Bruni, IT University of Copenhagen

12.40: Privacy and Machine Learning
Peter Scholl, Aarhus University

Privacy Enhancing Technologies

Organiser: Claudio Orlandi, Aarhus University

Part I: Differential Privacy

(joint session with New Perspectives on Algorithms and Datastructures)

11.30 Invitation to differential privacy
Boel Nelson and Rasmus Pagh, University of Copenhagen

12.10 – Small break to change room

Part II: Security in AI
(joint session with AI – Machine Learning, Computer Vision, NLP)

12.20 Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation
Alessandro Bruni, IT University of Copenhagen

12.40 Privacy and Machine Learning
Peter Scholl, Aarhus University

See abstracts

Workshops continued

Advanced and Efficient Big Data Management and Analysis

Organiser: Christian S. Jensen, Aalborg University

Spatial Data Management

14.05 – 14.30: Efficient Data Management for Modern Spatial Applications and the Internet of Moving Things
by Eleni Tzirita Zacharatou (ITU)

14.30 – 14.55: Building a maritime traffic network for route optimization using AIS data
by Búgvi Benjamin Jónleifsson Magnussen & Nikolaj Blæser (RUC)

14.55 – 15.20: Big Mobility Data Analytics: Algorithms and Techniques for Efficient Trajectory Clustering
by Panagiotis Tampakis (SDU)

New Perspectives on Algorithms and Data Structures

Organisers: Rasmus Pagh, University of Copenhagen & Rico Jacob, IT University of Copenhagen

14.00: Stochastic Games with Limited Memory Space
Kristoffer Hansen, Aarhus University

14.30: Recent Advances in I.I.D. Prophet Inequalities
Kevin Schewior, University of Southern Denmark

15.00: New algebraic formula lower bounds for Iterated Matrix Multiplication
Nutan Limaye, IT University of Copenhagen

Human Computer Interaction, CSCW and InfoVisuals

Organiser: Susanne Bødker, Aarhus University

14.00 Rework – status, presentation and workshop

15.00 Wrap-up and a quick discussion of the Danish HCI research day

Cyber-Physical Systems, IoT and Autonomous Systems

Organiser: Jan Madsen, Technical University of Denmark

14:00  Presentation of current WS6 DIREC projects (15 min each):

Biochip routing, (Explore)
Luca and Kasper (DTU)

Technologies for executing AI in the edge, (Bridge)
Emil and Ahmad (DTU, SDU)

Adaptive Neural Networks on Embedded Platforms,
Jalil Boudjadar (AU)

CPS with HITL, (Explore)
Mahyar Touchi Moghaddam (SDU)

Business Models for Embedded AI – Current case company business models and beyond
Reza and Ben (CBS)

15:15  Conclusions of the day

Verification and Software Engineering

Organiser: Kim Guldstrand Larsen, Aalborg University

SESSION 2 Software Engineering

BRIDGE: SIOT – Secure Internet of Things – Risk analysis in design and operation
by Jaco van de Pol & Alberto Lafuente (short status)

EXPLORE: DeCoRe: Tools and Methods for the Design and Coordination of Reactive Hybrid Systems
by Thomas Hildebrandt (short status & technical talk)

TECHNICAL LIGHTENING TALKS

Lightweight verification of concurrent and distributed systems
by Alceste Scala (DTU)

Certified model checking – verifying the verifier
by Jaco van de Pol, Aarhus University

Refinement and compliance
by Hugo-Andrés López, Technical University of Denmark

Differential Testing of Pushdown Reachability with a Formally Verified Oracle
by Anders Schlichtkrull, Aalborg University

Monitoring of Timed Properties
by Kim G. Larsen, Aalborg University

AI – Machine Learning, Computer Vision, NLP

Organiser: Mads Nielsen, University of Copenhagen

14:00 Large-scale Neuroimaging Study on a Danish Cohort: COVID-19, Brain Volume, and microbleeds
Kiril Klein, University of Copenhagen

14:15 Fetal Ultrasound scanning assistance
Manxi Lin, Technical University of Denmark

14:30 Inducing Gaussian Process Networks
Thomas Dyhre, Aalborg University

14:45 Bridge project: Deep Learning and Automation of Imaging-Based Quality of Seeds and Grains
Lars Kai Hansen, Technical University of Denmark

15:00 Fine-Grained Image Generation with Super-Resolution
Andreas Aakerberg & Thomas Moeslund, Aalborg University

15:15 Summary of workshop
Mads Nielsen, University of Copenhagen

Cryptography and Blockchains

Organiser: Claudio Orlandi, Aarhus University

14.00: Security Protocols as Choreographies
by Marco Carbone

14.20:  A formal security analysis of Blockchain voting
by Bas Spitters, Aarhus University

14.40: Challenges in anti-money laundering and how cryptography can help

by Tore Frederiksen, The Alexandra Institute

15.00: Networking

See abstracts

One Minute Madness
Presentation of DIREC projects following Q&A

Tuesday 27 September

Quantum Computing
by Professor Robert Wille

Moderator: Jan Madsen, University of Southern Denmark

Abstract
Quantum computers have the potential to solve certain tasks that would take millennia to complete even with the fastest (conventional) supercomputer. Numerous quantum computing applications with a near-term perspective (e.g., for finance, chemistry, machine learning, optimization) and with a long-term perspective (i.e., cryptography, database search) are currently investigated. However, while impressive accomplishments can be observed in the physical realization of quantum computers, the development of automated methods and software tools that provide assistance in the design and realization of applications for those devices is at risk of not being able to keep up with this development anymore.

This may lead to a situation where we might have powerful quantum computers but hardly any proper means to actually use them. In this talk, we discuss how design automation can help to address this problem. This also includes an overview of corresponding software tools for quantum computers covering the simulation, compilation, and verification. More details here.

Bio
Robert Wille is a Full and Distinguished Professor at the Technical University of Munich, Germany, and Chief Scientific Officer at the Software Competence Center Hagenberg, Austria (a technology transfer company with 100 employees).

He received the Diploma and Dr.-Ing. degrees in Computer Science from the University of Bremen, Germany, in 2006 and 2009, respectively. Since then, he worked at the University of Bremen, the German Research Center for Artificial Intelligence (DFKI), the University of Applied Science of Bremen, the University of Potsdam, and the Technical University Dresden. From 2015 until 2022, he was Full Professor at the Johannes Kepler University Linz, Austria, until he moved to Munich.

His research interests are in the design of circuits and systems for both conventional and emerging technologies. In these areas, he published more than 400 papers and served in editorial boards as well as program committees of numerous journals/conferences such as TCAD, ASP-DAC, DAC, DATE, and ICCAD. For his research, he was awarded, e.g., with Best Paper Awards, e.g., at TCAD and ICCAD, an ERC Consolidator Grant, a Distinguished and a Lighthouse Professor appointment, a Google Research Award, and more.

Workshops

Entrepreneurship

Organiser: Mark Riis, Technical University of Denmark

Collaboration on entrepreneurship across universities

    • Recap on WS 13 activities in 2021-2022 – activities, budget etc.
      Mark Riis, DTU Compute

 

    • Open Entrepreneurship – learnings from inviting investors into universities
      Rasmus S. B. Jensen, Open Entrepreneurship, DTU Compute

 

    • Young Researcher Entrepreneurship – results and experiences
      Camilla N. Jensen, AI Pioneer Centre, DTU Skylab

 

    • Digital Tech Summit – results and experiences
      Mark Riis, DTU Compute

 

  • Discussion, learnings and knowledge sharing

Which joint activities should we initiate in 2022-2023

  • DIREC at Digital Tech Summit 2022
  • Other activities in relation to supporting entrepreneurship and collaboration across universities
Master Training Network

Organiser: Mikkel Baun Kjærgaard, University of Southern Denmark

How to make computing education appeal to a broader range of students
by Claus Brabrand, IT University of Copenhagen

We present recent research on gender diversity in Computing. Recent research documents strong and significant gender effects related to the interests in working with PEOPLE vs THINGS along several dimensions. In particular, this relates to the themes of teaching/learning activities (i.e., the themes of exercises, projects, and examples), the framing of advertisement materials, and the composition of courses on educational programmes. We will explain these results and effects as well as give actionable evidence-based recommendations for how to make Computing educational activities & programmes appeal to a broader range of students.

How digital learning technology can provide insights on teaching quality of large classrooms

by Md Saifuddin Khalid, Department of Mathematics and Computer Science, Technical University of Denmark

Semester-end and mid-term online feedback are important information for both students and course instructors etc. Unfortunately, the teaching quality evaluation tools that are used at Danish universities are often time consuming and do not allow for self-reflection on teaching and learning, which can enable mutual understanding and collaboration between the students and course instructors. Join us at this workshop, where we will provide a tutorial and experience from two large courses adopting Wyblo. Wyblo is a people-centered learning experience platform which provides useful insights on teaching quality to both course instructors and students.

How to use technology to scale courses
by Jakob Lykke Andersen, Dept. of Mathematics and Computer Science, University of Southern Denmark and Ulrik Nyman, Dept. of Computer Science, Aalborg University

In this workshop we will discuss how to use software and infrastructure for scaling and improving quality of teaching in Computer Science. As inspiration for the discussion, we have two presentations:

Teaching 400 students to program in 16 weeks with 3 teachers and 17 teaching assistants
by Jon Sporring & Ken Friis Larsen, KU

At the Department of Computer Science, University of Copenhagen, we have recently upscaled our introduction to programming for our bachelor courses. In the last 5 years, we have grown from 200 to 400 students, and in the process, we have developed IT tools to both manage the growth and at the same time increase the learning quality. In this talk, we will discuss the pedagogical challenges, the resource challenges, the developed tools for helping the students self-learn and give the students structured feedback, and the lessons learned in the process.

Automatic feedback and correction of programming software assignments for scalable teaching

by Miguel Enrique Campusano Araya & Aisha Umair, SDU

In this talk, we present Scalable Teaching. This tool uses automatic testing to grade students’ programming assignments and provides feedback to them automatically. Moreover, Scalable Teaching allows professors to grade assignments and give feedback manually more efficiently. We have successfully tested this tool in several software engineering courses with more than 100 students.

PhD Training Network

Organiser: Thomas Hildebrandt, University of Copenhagen

Make your research visible and understood outside academia
by Peter Hyldgård, Sciencecom.dk

  • Be heard – and understood
  • Tell a good story about your research
  • Pitch your research
  • Talk about your research to non-peers (your Aunt Erna…)

How do you tell a simple story about your research that everyone can understand – without compromising on the academic content?

And how do you build a bridge to an audience that does not have any immediate interest in/knowledge of your topic?

The speaker will introduce a number of simple tools for finding a story about your research, which can be uses in many contexts: When you have to seek funding, when you are interviewed by a journalist – or when you must tell your Uncle Adam about your work. The workshop will be a mixture of presentations and small exercises, with a slightly larger final exercise where the participants will give a – very short – oral ‘pitch’ of their research.

Business Innovation, Processes and Models

Organiser: Helle Zinner Henriksen, Copenhagen Business School

End of the Rainbow

In this session we will discuss how technical solutions and ideas from some of  the DIREC projects can be diffused to a wider context, supporting innovation and impact.

Session speakers:

  • Geet Khosla, Tech entrepreneur with particular focus on leveraging technologies with massive potential to have a positive impact.
  • Martin Møller, Chief Scientific Officer at the Alexandra Institute
  • Peter Gorm Larsen, Professor at Department of Electrical and Computer Engineering – Software Engineering & Computing systems at AU
  • Ben Eaton, Associate professor at Department of Digitalization at CBS.

The session focuses on the business potential and evolves around the question “How to harvest spill-over benefits from foundational tech research?”

Inspired by the session speakers’ input the audience is invited to contribute to the session in the discussion of potential avenues to address the question.

The aim is to illustrate the benefit of addressing tech and business.

Quantum Computing

Organiser: Jan Madsen, Technical University of Denmark

10:00 – 12:00 Tutorial:

• Basic concepts
• Models of computations
• Use cases / Applications
• Tools + Integration to host

Speakers:

12:00  – 12:30  Open discussion on opportunities for and in DIREC
Discussion leader: Sven Karlsson, DTU Compute

Digitalisation and the Green Transition
– AI for Renewable Energy

How can data accelerate the green transformation?

Hierarchical forecast reconciliation
by Jan Kloppenborg Møller, DTU Compute

Future challenges for research in blockchain research 

by Daniel Tschudi and Bas Spitters

A unique collaboration between a university and a private company

In 2019, the Swiss non-profit Concordium Foundation founded the Concordium Blockchain Research Centre Aarhus at Aarhus University (AU). This is a unique example of collaboration between a university and a company where the company sponsors the research carried out at the university with a substantial amount of money.

In this session Associate Professor Bas Spitters from Aarhus University and Senior Researcher Daniel Tschudi from Concordium will share their experiences from the collaboration and comment on issues like:

  • What is collaboration about?
  • What is the current status?
  • What are the future challenges?
  • How did the collaboration start?
  • What do the researchers get out of it?
  • What does Concordium out of it?
  • How does Concordium embed/anchor research activities within Concordium?
  • How  does the collaboration work out in practice?
  • How do one handle the borderline between research to be carried out in the center and development to be carried out in the company?
  • What is their advice to researchers regarding similar collaborations?

About Concordium Blockchain Research Centre Aarhus

The research center is to provide the basic research needed to build energy-efficient and scalable blockchain technology that is provably secure. Along the way, it is expected that a lot of discoveries in the blockchain space and related sciences that we cannot anticipate at the onset.

About the Swiss non-profit Concordium Foundation

The mission is to fund research in the blockchain space, and build a new foundational blockchain with focus on business and regulatory compliance. The center performs free, basic research in the theory and technology underlying blockchains. All research performed in the center is open source and patent free and will help build a solid foundation for the entire blockchain space.

Lessons learned from impressive careers in high tech companies
by Lars Bak, Steffen Grarup and Kresten Krab Thorup
  • Lars Bak, Former Head of Google’s Development Dept. in Denmark,
  • Steffen Grarup, Uber
  • Kresten Krab Thorup, Founder of Humio

Moderator: Professor Ole Lehrmann Madsen

Lars, Steffen and Kresten are all graduates from department of computer science at Aarhus University. They have all made an impressive careers with high tech comp companies in Silicon Valley and Denmark. These companies include Next Computer, Sun Micro Systems, VMware, Google, and Uber. They have also been involved in a number of start-ups including Animorphic Systems, OOVM, Toitware, Trifork and Humio. These endeavors have resulted in development of a large palette of new innovative digital technologies.

In the panel they will tell us about their experience and highlight the most important lessons from their careers including their life as computer science students. We will ask them about their advice to students and young candidates of today regarding how to get an interesting carrier working with ground-breaking digital technologies and getting them out in successful products.

Speakers

Marieke Huisman

Professor in Software Reliability
University of Twente

Volker Markl

Professor of Computer Science
Technische Universität Berlin

Robert Wille

Professor
Technical University of Munich

Lars Bak

Former Head of Google's development department in Denmark

Steffen Grarup

Senior Director Engineering
Uber Technologies

Kresten Krab Thorup

Founder and former CTO
Humio

Daniel Tschudi

Senior Researcher
Concordium

Bas Spitters

Associate Professor, Aarhus University

Kategorier
Afholdte arrangementer

International Workshop on Re-Using Robot Data

International Workshop on Re-Using Robot Data

We will discuss the needs of industry, current solutions and the scientific and technical challenges that are connected to the problem of an efficient re-use of robot data.

  • Do you want to make more out of your robot applications?
  • Do you want to predict failures of your system before they occur?
  • Do you want to use data in your production to improve quality inspection?
  • Are you tired of always starting from scratch when you establish new robot solutions?
  • Do you want to exploit information about trajectories, grippers and cameras from already existing robot set-ups to speed up the development of new robot solutions?
  • Do you want to apply already established control strategies by adapting those to a new problem?

Re-Using robot data is key to these challenges!

However, the potential of re-using robot data is not realized yet due to scientific, technical and IPR issues. The ReRoPro project, Re-Use of Robotic-data in Production through search, simulation and learning aims at addressing this problem.

We invite for tasks such as predictive maintenance, speeding-up the establishment of new assembly solutions and fine-tuning of critical components of your production.

At the workshop, we will discuss the needs of industry, current solutions and the scientific and technical challenges that are connected to the problem of an efficient re-use of robot data.

Find out how to make efficient use of your robot data!

Program

9:30  Welcome with coffee and rolls in the lobby

10:00  Welcome and Introduction
Prof. Norbert Krüger, University of Southern Denmark, coordinator of the ReRoPro-project

10:15  Session 1: The ReRoPro Project

10:15   The i4.0 use case and current software solution       
Assoc. Prof. Aljaz Kramberger, University of Southern Denmark

10:30  Data sensitivity issues in data re-use
Prof. Mikkel Baun Kjærgaard, University of Southern Denmark

10:45   Differential simulators, digital twins & data (d^3)
Prof. Kenny Erleben, University of Copenhagen

11:00  Data-reuse in machine learning and planning
Assoc. Professor Andres Masegosa, Aalborg University and Assoc. Professor Alvaro Torralba, Aalborg University

11:15  Coffee Break

11:30  Session 2: Data-Re-Use in Industry and Science

11:30  Examples of industrial robot applications, where
data could have been re-used   
Prof. Henrik G. Petersen, University of Southern Denmark, MADE

11:50 The Danish robot ecosystem and the re-use of data
Project Manager Søren Adamsen Mouritzen, Odense Robotics

12:05  Paving the way for a Cambrian explosion in robotics: open knowledge services for robotics applications
Prof. Michael Beetz, University of Bremen

12:45  Lunchbreak

13:30  Session 3: Industrial perspectives

13:30  Data in Pharmaceutical Device Manufacturing
Senior Assembly Engineer, Roger de Reus, Novo Nordisk

13:45  Robots and Sensors in Surface Treatment Applications
Head of R&D Lars Kristian Feddersen, Nordbo Robotics

14:00  Re-use of data in CAM programming
Head of Production Bo Schmidt, WellTec and Head of Digital Integration CNC Thomas Hyllen, WellTec

14:15  Factory of the Future
Program Director Alex Severin, Rockwool

14:30  So we got big data – now what?
Chief Commercial Officer
Anders Meister, CIM.AS

14:50  Coffee Break

15:20  Toward a Knowledge-Based Data Backbone for Seamless Digital Engineering in Smart Factories
Dr. Markus Rickert, Technische Universität München

15.50  Round Table discussion

16:30  Concluding remarks

The workshop is organized by DIREC with MADE as a supporting partner and with support from DDSA (Danish Data Science Academy.

The event is held in collaboration with IDA Fremtidsteknologi. The participant list will be shared with IDA for statistical use only.

Kategorier
Afholdte arrangementer

Summer School on Privacy-Preserving Machine Learning

Summer School on Privacy-Preserving Machine Learning

From August 1 to August 4, 2022, the Departments of Computer Science at ITU Copenhagen and Aarhus University invite you to the Summer School on Privacy-Preserving Machine Learning.

Privacy-Preserving Machine Learning is an important and exciting research subject that investigates how to benefit from machine learning techniques while preserving the privacy of training data and learned models.

At the PPML School 2022 lecturers with both a theoretical and applied background will cover a broad spectrum of subjects such as Multiparty Computation, Fully Homomorphic Encryption, Differential Privacy, Federated Learning as well as practical attacks. Current confirmed speakers are:

  • Emiliano De Cristofaro (UCL)
  • Rafael Dowsley (Monash University – tentative)
  • Divya Gupta (Microsoft Research)
  • Peter Kairouz (Google)
  • Yuriy Polyakov (Duality)
  • Yang Zhang (CISPA)

The school is aimed at PhD and Master students in the areas of Security as well as Machine Learning, but we also encourage researchers as well as other people with an interest in the area to attend.

Registration for the school is now open for a fee of 500 DKK (approximately 70 USD or 67 EUR). Students can obtain 3 ECTS for attending the school.

The event is organized by Bernardo David, Associate Professor at ITU Copenhagen and Carsten Baum, Assistant Professor at Aarhus University and will take place from August 1st until August 4th on the campus of ITU Copenhagen. We are currently investigating a remote participation option, but this is so far not decided.

More information will be provided soon. We will provide information about potential stipends at a later point of time.

Registration deadline is on June 30th!

The event is supported by the International Association for Cryptologic Research, the Danish Data Science Academy, the Pioneer Centre for Artificial Intelligence as well as the Digital Research Centre Denmark (DIREC).

Kategorier
Afholdte arrangementer Nyheder

MOVEP 2022: Five Intensive Days on Modelling and Verification

17 JUNE 2022

MOVEP 2022: Five Intensive Days on Modelling and Verification

Automated systems like self-driving cars and AI-based decision support are becoming an increasingly large part of our everyday lives, and so is the need for modelling and verification of the software running these systems. At the MOVEP 2022 Summer School, hosted by the Department of Computer Science, Aalborg University, leading researchers, students and people from the industry convened to discuss challenges and opportunities within this field.

By Stig Andersen, Aalborg University

The five-day MOVEP Summer School 2022 (June 13-17) on modelling and verification of parallel processes had attracted 70+ participants, primarily PhD students, but also people from the industry.

With the lecture hall of the Department of Architecture, Design and Media Technology right at Aalborg’s harbour front as a great venue, they enjoyed a packed programme of talks and tutorials from 11 leading researchers on model checking, controller synthesis, software verification, temporal logics, real-time and hybrid systems, stochastic systems, security, run-time verification, etc.

An exciting field

One of the speakers was Christel Baier, Professor and Head of the chair for Algebraic and Logic Foundations of Computer Science at the Faculty of Computer Science of the Technische Universität Dresden, and together with Joost-Pieter Katoen, the author of a key publication in the field, Principles of Model Checking (MIT Press, 2008). She has been working within the broad field of verification and analysis techniques for stochastic operational models for more than twenty years.

– I really had not expected to work so long within this area, but as it often turns out in science, apparently simple problems are not at all simple and will require more research. So, if the students at this summer school would take the message that this is an exciting and very important field and choose to explore it further, I would be very happy. MOVEP is a very nice event, and being able to come to Denmark and not least being able to meet again after the Corona shutdown is really great, she says.

Application in different fields

Another speaker was Nir Piterman, Professor in the Department of Computer Science and Engineering, University of Gothenburg and Chalmers, and a prominent figure within formal verification and automata theory. He kicked off the summer school programme Monday morning with a tutorial on reactive synthesis, which is a technique for automatically generating correct-by-construction reactive systems from high-level descriptions.

 – In my tutorial, I tried to give the participants a taste of the so-called discrete two-player turn-based games technique, where you think about the environment as one player and the system as another player. The interaction is like a game between the two, and the system has to come up with a strategy to satisfy some goal, he explains.

Nir Piterman also sees an event like MOVEP as a very good opportunity for young researchers to be exposed to concepts and techniques that they would not necessarily be exposed to otherwise.

– It is my hope that the talks and tutorials at this event will fertilize their work and provide them with new ideas about how to apply these techniques in different fields. One possible usage of two-player games is synthesis, but the usage could be wider and potentially applied to other problems, he says.

Nir Piterman is currently the holder of an ERC consolidator grant to study the usage of reactive synthesis for multiple collaborating programs.

Explainability

In her tutorial, Christel Baier focused on explication, which refers to a mathematical concept that in some way sheds light on why a verification process has returned a given result.

– Explainability is important. We have to make systems more understandable to everyone – scientists, designers, users, etc. Today, everybody is an IT user, so this is not only relevant for computer scientists, she says.
According to Christel Baier, there is a higher purpose:

– Since systems make decisions, users should have the opportunity to understand why decisions were made. Moreover, users should be supported in making decisions by themselves and be given an understanding of the configuration of these systems and their possible effects. Again, it comes down to the question of cause and effect, which was a recurring theme of my tutorial.

The research on the results presented by Christel Baier at her tutorial has been carried out within and is motivated by the missions of the collaborative projects “Center for Perspicuous Computing (CPEC)” and “Centre for Tactile Internet with Human-in-the-Loop (CeTI)”.

Correct-by-construction

Research within modelling and verification of parallel processes may also explore the question: Could we automatically generate systems that perform exactly according to the specifications instead of checking afterwards that they do? Nir Piterman dealt with this topic in his tutorial.

– Techniques to automatically generate correct-by-construction reactive systems from high-level descriptions have been explored in academia for quite a number of years. It has proven to work in some domains, but it would not be realistic to set as an ambition to build one synthesizer that you feed a specification to and expect it to auto-generate safe and error-free systems for all possible programming domains, he says.

According to Nir Piterman, the most successful applications so far have been within robotics. However, this success makes us think about what is the meaning of correct-by-construction.

– What does “correct” really mean? If it means that the system does exactly what was described in the specification, what happens if the specification is flawed? So, the focus of the correctness problem might change: Rather than making sure that the system matches the specification, the task is to ensure that the specification is thorough enough and reflects what the designer had in mind.

FURTHER INFORMATION

  • MOVEP 2022 is hosted by the Department of Computer Science, Aalborg University (primary organizer Martin Zimmermann, Associate Professor) and co-sponsored by DIREC an S4OS.
  • The first five editions of MOVEP took place in Nantes (France) every other year from 1994 to 2002. It then moved to Brussels (Belgium) in 2004, Bordeaux (France) in 2006, Orléans (France) in 2008, Aachen (Germany) in 2010, Marseille (France) in 2012, Nantes (France) in 2014, Genova (Italy) in 2016, Cachan (France) in 2018 and online in 2020.
  • More info on the MOVEP 2022 website.

CONTACT
Martin Zimmermann
Associate Professor
Department of Computer Science
Aalborg University
Mail: mzi@cs.aau.dk
Phone: +45 9940 8770

Stig Andersen
Communications Officer
Department of Computer Science
Aalborg University
Mail: stan@cs.aau.dk
Phone: +45 4019 7682

Professor Nir Piterman, University of Gothenburg and Chalmers

Professor Christel Baier, Technische Universität Dresden

Kategorier
Afholdte arrangementer

MOVEP 2022

PhD summer school

MOVEP 2022

15th Summer School on Modelling and Verification of Parallel Processes

MOVEP is a five-day summer school on modelling and verification of infinite state systems. It aims to bring together researchers and students working in the fields of control and verification of concurrent and reactive systems.

MOVEP 2022 will consist of ten invited tutorials. In addition, there will be special sessions that allow PhD students to present their on-going research (each talk will last around 20 minutes). Extended abstracts (1-2 pages) of these presentations will be published in informal proceedings.

The organisation committee is closely monitoring the COVID situation. Currently, we are planning for an in-person school in Aalborg with the possibility for remote participation for those that cannot attend in person. Should it become necessary, the school will be held virtually.

Speakers
  • Giovanni Bacci, AAU
    From Bisimulaltions to Metrics via Couplings
  • David Baelde, ENS RENNES & IRISA
    Formal Proofs of Cryptographic Protocols with Squirrel
  • Christel Baier, Technische Universität Dresden
    From verification to causality-based explications
  • Wojciech Czerwinski, University of Warsaw
    The reachability problem for vector addition systems
  • Bartek Klin, Oxford University
    Computation theory over sets with atoms
  • Laura Kovacs, Vienna University of Technology
    First-order theorem proving and vampire
  • Anca Muscholl, Labri & Université Bordeaux
    A view on string transducers
  • Nir Piterman, Chalmers University of Technology
    Reactive synthesis Amaury Pouly, IRIF – Linear Dynamical Systems: Reachability and invariant generation
  • Renaud Vilmart, LMF & INRIA
    How to verify quantum processes
Target group

PhD students

Sponsors
  • Dept. of Computer Science, Aalborg University
  • The VILLUM Investigator Center S4OS “Scalable analysis and Synthesis of Safe, Secure and Optimal Strategies for Cyber-Physical Systems”
  • DIREC – Digital Research Centre Denmark
Kategorier
Afholdte arrangementer

Young Researcher Entrepreneurship Academy

PhD summer school

Young Researcher Entrepreneurship Academy

Join the Young Researcher Entrepreneurship Academy (YREA) PhD summer school to grow your entrepreneurial mindset and learn how that can benefit both your current research and future career. 

The course specifically leverages AI, data science, and computer science in the service of societal and environmental challenges in for instance health-tech, green-tech, manufacturing, and business. The aim is to build entrepreneurial capacity and to increase the establishment of university-based startups.

YREA is for you if you are interested in:

  • Insights into ideation, ML Ops, entrepreneurial mindset, testing business ideas, negotiation, etc.
  • Knowing how to create a balanced, flexible career in the intersection of entrepreneurship and academia.
  • Meeting inspiring, like-minded individuals while engaging in active learning approaches.
  • Being invited to an optional follow-up module in fall 2022 as well as pitching event at Digital Tech Summit 2022.
  • 2.5 ETCS Points and free of charge course.
The programme

The themes for each of the three days are as follows:

Day 1: Develop your entrepreneurial knowledge, skills, and mindset.

Day 2: Learn how to turn an idea into an enterprise.

Day 3: Build your enterprise – management and negotiation skills.

The programme is co-developed by DTU, DIREC, AI Pioneer Centre, AU and CBS

Speakers
  • Serge Belonge, PhD, Professor at University of Copenhagen, DIKU, and director of AI Pioneer Centre
  • Thomas Riisgaard Hansen, PhD, Director of DIREC – Digital Research Centre Denmark
  • Camilla Nørgaard Jensen, PhD, Innovation Program Leader, DTU Skylab
  • Michael Bjørnlund, Investor, ROCKSTART
  • Lars Kai Hansen, PhD, Professor, Cognitive Systems, DTU Compute
  • Julie Strandesen Hooge, Commercialisation Manager, DTU
  • Anne Stampe, Co-founder and CEO, Nordic Female Founders
  • Luna Agerholm Gyalokay, Senior Venture Builder, KRING
Target Group

The YREA programme welcomes participants of all genders, ethnicities, capabilities and religions from a computer/data related discipline, with little or no business experience from any Danish university.

Participants include PhD students, Post-doctoral researchers, Master students and Innovation officers at universities.

Kategorier
Afholdte arrangementer

Kvantecomputing – hvad er mulighederne og vejen frem?

Kvantecomputing – hvad er mulighederne og vejen frem?

ATV, IDA og DIREC inviterer til fælles seminar om hvilke muligheder og udviklingsområder, der på nuværende tidspunkt er med kvantecomputing.

Ved tilmelding skal du oprette dig som bruger på ATV – det er gratis

Formålet med seminaret er at give deltagerne:

  • et overblik over feltets muligheder og udviklingsområder, fagligt og anvendelsesrettet
  • indsigt i de centrale forskningsmæssige arbejdsområder
  • indsigt i hvilke use cases, der er mest oplagte i forhold til kvantecomputing
  • og indsigt og drøftelse af, hvad man reelt kan i dag med kvantecomputing.

Vi byder på faglige indlæg af høj kvalitet, der afdækker forskellige sider af muligheder og udfordringer. Derudover vil vi gennemføre workshops med det formål at dele viden mellem forskellige fagområder og at skabe nye relationer mellem dygtige forskere og virksomheder, der er interesseret i at samarbejde om at løse nogle af udfordringerne relateret til kvantecomputing.

Seminaret har relevans for både forskere i digitale teknologier og virksomheder, der enten arbejder med kvanteteknologi, digitale teknologier eller har interesse i samspillet mellem kvante (fysik) og computing (IT), samt andre organisationer, der er nysgerrige på nyere, digitale teknologier.

DAGENS PROGRAM

10.30: Velkomst v. Thomas Risgaard Hansen, direktør, DIREC

10.40: Kvantecomputer udvikling: En opdatering fra frontlinjerne v. Adjunkt Morten Kjærgaard, Niels Bohr Instituttet, KU

I dette oplæg vil Morten fortælle om frontlinjerne i udvikling af kvantecomputer hardware. Ved at erstatte transistorer i en klassisk computer med kvantemekaniske systemer kan man åbne for radikalt anderledes beregningsmetoder, og dermed løse visse problemer, som er praktisk talt umulige, selv på de gigantiske supercomputere, vi har i dag. En af de ledende hardwareplatforme til kvantecomputere er de såkaldte ’superledende kvantebits’, som er brugt af bl.a. Google og IBM. Morten vil fortælle om, hvor frontlinjeforskning lige nu ligger indenfor udvikling af denne platform, hvor langt vi er, hvad de største problemer er, samt fortælle om kvantefejlretning — et centralt element i fremtidige store kvantecomputere.

11:00: Kvantesoftware v. Professor Matthias Christandl, Institut for Matematiske Fag, KU

Hver eneste dag bruger vi computere, bærbare, tablets og mobiltelefoner. De består af den hardware, fx processorer, hukommelse og skærme, som vi holder i vores hånd, men de består også af software, som styrer dem, fx Windows, iOS, Word, Excel, Zoom eller Teams. Med kvantecomputeren bliver en helt ny type computer til virkelighed. Dens styrke ligger i, at den ikke – som en konventionel computer – bliver styret af bits, der kun kan være 0 eller 1. Kvantecomputeren bliver styret af kvantebits, som kan være 0 *og* 1 på samme tid. Det kræver selvfølgelig en ny type hardware: kvantehardware. Men det kræver også en ny type software, nemlig kvantesoftware, som kan udnytte kræfterne og fordelene som ligger i kvanteteknologien. I oplægget vil Matthias Christandl introducere kvanteversionen af den berømte Turing-maskine og diskutere kompleksitet af kvantealgoritmer. Christandl vil illustrere dette fascinerende forskningsfelt ved at logge på en kvantecomputer i USA og køre vores kvantesoftware “live” på denne kvantehardware.

11:20: Workshop: Hvad er de forsknings- og udviklingsmæssige udfordringer og muligheder, vi skal have løst, hvis vi skal kvantecomputeren til at fungere? Faciliteres af Ulrik Busk Hoff

12:00: Frokost og netværk

12:30: Ud af laboratoriet og ind i virksomhederne – kvantecomputere i den virkelige verden v. Professor Nikolaj Thomas Zinner, Institut for Fysik og Astronomi, AU, Kvantify

Udviklingen af kvantecomputere går stærkt i disse år efter at store kommercielle firmaer har kastet sig ind i kampen om at bygge det første stor-skala system til alment brug. Imidlertid vil det være meget specialiserede systemer vi forventer at se først, og det er afgørende at udvikle algoritmer og software, som har slutbrugere i forskellige industrielle sektorer for øje. Nicolai Zinner vil i dette oplæg drøfte nogle eksempler på problemstillinger, hvor kvantecomputeren vil have en fordel både den på korte og den lange bane.

12:55: Tilgængelige platforme samt hvad man kan med kvantecomputere i dag v. Partner Bent Dalager, Nordic Head of NewTech, KPMG

Bent Dalager holder oplæg om anvendelsen af kvantecomputing i praksis lige nu. Han giver nogle case-eksempler og tale om nogle af de quantum computing-platforme, som kan bruges (IBM, Microsoft, AWS).

13:20: Kort pause med forfriskninger

13:30: Kvantecomputeren i praksis – demonstration og afprøvning Faciliteret workshop med ph.d.-studerende Stig Elkjær Rasmussen, Institut for Fysisk og Astronomi, AU og ph.d.-studerende Vincent Steffan fra Institut for Matematiske Fag, KU

Deltagerne vil få vist, hvordan man tilgår og programmerer på en fungerende kvantecomputer. Der kræves ingen forudgående viden om kvantemekanik, dog forventes deltagerne at have kendskab til grundlæggende lineær algebra, og man bedes medbringe egen bærbar computer. Efter deltagelse på workshoppen får man førstehåndserfaring med at kode på en kvantecomputer.

14:00: Minipaneldebat: Anvendelser på kort og lang sigt, og hvad skal der til? Faciliteres af Ulrich Busk Hoff

Panel:

  • Matthias Christandl, Professor, Institut for Matematiske Fag, KU
  • Nikolaj Thomas Zinner, Professor, Institut for Fysik og Astronomi, AU, Kvantify
  • Bent Dalager, Partner, Nordic Head of NewTech, KPMG

14:55: Afslutning Akademidirektør v. Lia Leffland, ATV

15:00-17.00: Netværk og forfriskninger

Kategorier
Afholdte arrangementer

Digital Tech Summit 2021

Mød landets ypperste forskere og startups på Digital Tech Summit

Digital Tech Summit bliver Nordens største udstillingsvindue for digitale teknologier, forskningsmiljøer, virksomheder og startups.

Konferencens hovedtaler er EU-kommissionens ledende næstformand Margrethe Vestager, der vil dele sine visioner for et stærkt europæisk digitalt lederskab gennem målrettede forsknings-og teknologisatsninger, særligt med fokus på, hvordan vi udvikler og anvender kunstig intelligens.

Et andet hovednavn er Serge Belongie, direktør for det nye AI Pioneer Centre, skal sende dansk forskning i kunstig intelligens helt til tops. Han indvier publikum i nogle de nyeste forskningsområder inden for brug af computer vision og billedkendelse, som vil kunne styrke samfundet i de kommende år.

Blandt keynote-speakere er også professor Jan Madsen fra DTU, der vil tale om Embedded AI and hardware. Professor Kaj Grønbæk fra AU deltager i Digital Tech Summit Grand Closing, der er en samtale mellem Rikke Hvilshøj, direktør i Dansk IT samt Rikke Hougaard Zeberg, der er direktør i DI Digital.

Her er et lille udpluk af oplægsholdere:
Mød professor Mikkel Baun Kjærgaard fra SDU i en Scientific Talk, hvor han taler om Software Technologies for connecting IoT and Robotics.

Professor Kim Guldstrand Larsen fra AAU taler om Digital Energy – using IoT, Big Data and AI for the Green Transition. Kim deltager også i en session med professor Christian S. Jensen fra AAU om digitalization in Vehicular Transportation.

Mød også asociate professor Claus Brabrand, der i en Scientific Talk taler om increasing diversity in IT education.

Messen byder også på et stort startupområde, hvor der pt. er tilmeldt 60 startups på tværs af de danske universiteter – det foregår i samarbejde med Open Entrepreneurship.

Gert Læssøe Mikkelsen fra Alexandra Instituttet deltager i en Business Talk om Security by design – why is it not happening.

Der er desuden masterclasses, pitch event, matchmaking og læringsworkshop ( i samarbejde med Kring Innovation).


På messen kan henved 5000 besøgende møde 70 udstillende virksomheder, heriblandt GN Group, Netcompany, Novo, Siemens, AMBU, 3Shape, der viser deres nyeste digitale teknologiske løsninger frem og inviterer jobkandidater indenfor. På messens start-upområde præsenteres helt nye forretningsideer og universiteternes samlede startup-økosystem.

Hele programmet kan ses her

 

Kategorier
Afholdte arrangementer

DIREC Seminar 2021

13 – 14 september 2021

DIREC Seminar 2021

The purpose is to give the participants in DIREC the opportunity to get to know each other, both professionally and personally / socially and thus create new networks across the universities and the Alexandra Institute.

We hope this will lead to the identification of new research issues, including grand challenges for digital technologies, collaboration across workstreams, and new projects with companies and the public sector.