"Patrick Verner"@cs .