...
News from DEIS
-
30.06.2022
Students Improve Model Checking Tool and Grab Three Gold Medals at Prestigious Contest
The work of three students graduating in June 2022 has dramatically increased the performance of TAPAAL, a model checking tool developed by researchers at the Department of Computer Science, Aalborg University. The improved tool brought home three gold medals and two silver medals at the 2022 edition of the prestigious Model Checking Contest.
-
17.06.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.
DEIS in the press
-
KLOGE IT-HJERNER KÆMPER FOR AT KNÆKKE DEN KLIMAVENLIGE KODE
VERDENS BEDSTE NYHEDER -
KAN GRØN KODE GØRE DIGITALISERING BÆREDYGTIG?
CSR.DK -
Podcast: Software vi kan stole på
Videnskabernes selskab
VIEW PRESS ARCHIVE
World-renowned DEIS tools
A number of world-renowned tools have been developed by DEIS, including:
DEIS SEMINARS
The Distributed and Embedded Systems unit is running regular seminars where both local speakers as well as external visitors give talks on a wide range of topics from the concurrency theory and practice.
Introduction to DEIS
Distributed, embedded and intelligent systems
Department of Computer Science, Aalborg UniversitySelma Lagerlöfs Vej 300 ・ 9220 Aalborg East, Denmark
Telephone: +45 9940 9940 ・ Mail: info@cs.aau.dk ・Vacancies
