"Nick Hardt"@cs .