"Dr. Lederer"@cs .