"Carl Severson"@cs .