Computer science graduate from Stellenbosch University focusing on static program analysis