"Jeremy Van Hoof"@cs .