Stef Joosten, hoogleraar Informatiesystemen aan de Open Universiteit, heeft een droomproject: betrouwbare administratieve fabrieken.
“Voor inspiratie kijk ik verlekkerd naar het veld van hardware. Daar zien we een constante prijsdaling en kwaliteitsstijging over de jaren heen, waardoor we nu bijvoorbeeld allemaal een mobieltje in de zak hebben dat een veelvoud kan wat een heel rekencentrum in de vorige eeuw deed. In de hardware wereld hebben ze dat gedaan met formele methoden, waardoor het ontwerp en de bouw verregaand zijn geautomatiseerd. Om dat in de software ook te doen moeten we twee onderzoeksstromen bij elkaar brengen: generatieve software om formele specificaties in werkende informatiesystemen om te zetten, en AI om het maken van formele specificaties voldoende makkelijk te maken.”
Lees hier het hele antwoord van Joosten op ‘de jaarlijkse vraag’ – en alle 88 andere antwoorden.
