"Gwilym Jenkins"@cs .