03.05.2026, 15:32
Syddansk Universitet, SDU, og professor Fabrizio Montesi, fra Centre for Formal Methods & Future Computing, indtager en ledende rolle i det internationale initiativ CSLib, som skal udvikle en fælles, formel infrastruktur til softwareudvikling og AI.
I det aktuelle nummer af Automatik & Proces - 4/2026 - fortæller SDU-professor Fabrizio Montesi, og den fælles formel for infrastruktur, som han er en af initiativtagerne til i CSLIB, hvor kunstig intelligens, AI, udvikles til brug i software, så det kan fungere pålideligt, sikkert og gennemsigtigt.
Den opbyggede viden herom er spredt på tværs af forskningsartikler og specialiseret værktøj, hvilket man i CSLIB nu vil søge at ændre på:
Annonce - artiklen fortsætter under banneret
”Software opererer i dag i global målestok. Hvis vi vil skabe digitale systemer, man kan have tillid til – også de, der formes af AI – har vi brug for matematisk klarhed i samme skala," siger Montesi og uddyber:
”CSLib er et langsigtet arkitekturarbejde, vi bygger på den fælles intellektuelle infrastruktur, som fremtidens software og computersystemer kommer til at stå på”.
Sen online-udgave af hele den spændende artikel fra Automatik & Proces 4/2026 her
Vi samarbejder med,
og er talerør for følgende:
