"Jacques Halbert"@cs .