Het onderzoek staat onder leiding van dr. B. Jacobs, leider van een Europees onderzoeksproject op het gebied van chipkaarten en vanaf 1 juli hoogleraar aan de KUN.

Het zogeheten Pionier-onderzoek moet leiden tot certificering van software in veiligheidsgevoelige toepassingen zoals chipkaarten. De Nijmeegse onderzoeksgroep onder leiding van Jacobs ontwikkelt hulpmiddelen om die certificering mogelijk te maken.

De onderzoeksgroep wil in programmeertaal speciale logische calculators schrijven, die programma’s systematisch doorzoeken op lekken. Omdat computers steeds vaker in allerlei netwerken staan en vanaf meerdere plekken programma’s besturen is beveiliging van groot belang, aldus een woordvoerster van de Nijmeegse universiteit. Wanneer onder andere elektronisch stemmen en een handtekening plaatsen via internet binnenkort gemeengoed zijn is veiligheid zelfs een eerste vereiste.

De nieuwe hoogleraar natuurwetenschappen, wiskunde en informatica is in Nijmegen gepromoveerd op het gebied van de theoretische informatica. Hij heeft eerder in Cambridge (GB), Utrecht en Amsterdam gewerkt. Het is de bedoeling dat door het onderzoek van Jacobs tevens een groep van deskundigen op het terrein van computerbeveiliging in Nederland ontstaat.