"Vincent Mathias"@cs .