"Michael Jacobsen"@cs .