"John Chris Lewis"@cs .