Hvordan sikrer vi, at softwaresystemerne i et fly fungerer sikkert? Eller i en bank? Det forsker Fabrizio Montesi blandt andet i. Han er lektor ved Institut for Matematik og Datalogi og har været med til at udvikle det første programmeringssprog, som kaldes Jolie.
Teknologien regnes for et af de mest innovative på det internationale marked, og Fabrizio Montesis forskning har stort potentiale både for den private og offentlige sektor.
Allerede i 2008 skabte Fabrizio Montesis et spin-off selskab, der blandt andet anvendte Jolie til Smart Cities i et projekt finansieret af Det Europæiske Institut for Innovation og Teknologi. Fabrizio Montesis er dette års modtager af Innovationsprisen på SDU.