"Trevor Johansen"@cs .