"Jason Coleman"@cs .