Haha, the first thing I thought was that this was Dijkstra.

UTexas + "Foolishness" => Dijkstra.