"Paul Cornu"@cs .