Jens Krüger [1] is a Research Assistant Professor of Computer Science at the School of Computing at the University of Utah.