"Daniel Richter"@cs .