"Patrick David"@cs .