Programmering. Statisk analyse. Modellering. Matamatiske modeller.

Christian W. Probst (CWP) forsker i programmeringssprog og mobile applikationer, som f.eks. anvendes til programmering af computerbaserede systemer til Internet applikationer. CWP har fokus på modellering og analyse af systemer og deres sikkerhedsegenskaber. Det fælles grundlag for disse områder er at opnå en model, som beskriver relevante detaljer og er præcis nok til at opnå resultater, men samtidig er grov nok til at finde resultater med en fornuftig indsats. Et vigtigt område af CWPs arbejde er analyse af insiderstrussler i informationssystemer.