"Jan Ellenberg"@cs .