EDUCATION
Department of Computer Science
...
News In English
-
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.
-
29.06.2022
Meet Fabio Lilliu – new Postdoctoral Researcher in the DESS group
Please meet Fabio Lilliu, formerly PhD student and now Postdoctoral Researcher in the DESS group as of May 1, 2022.
News in Danish
-
04.07.2022
Stort tillykke til alle dimittender!
Et kæmpe stort tillykke til de over 300 nye bachelorer og kandidater på CS, der efter en imponerende indsats gennem flere år nu kan gå på sommerferie efter at have nået en meget vigtig milepæl i deres liv.
-
20.04.2022
Louise Gram Hildebrandt kobler brugervenlighed og forretning
Som UX-konsulent hos IMPACT bidrager Louise Gram Hildebrandt til, at virksomhedens løsninger er så nemme at bruge som muligt og samtidigt opfylder de forrretningsmæssige mål.
Department of Computer Science, Aalborg University
Selma Lagerlöfs Vej 300 ・ 9220 Aalborg East, Denmark
Telephone: +45 9940 9940 ・ Mail: info@cs.aau.dk
Contact department management
