"Michael David Simms"@cs .