By your argument, the Chinese murdered children at random because they underengineered some school houses in an earthquake-prone region. What about New Orleans, where our government, with a gajillion times the resources of an impoverished Chinese provincial town, failed to construct adequate levees in a similarly disaster-prone region and exacerbated the loss of life with inadequate relief efforts? Should I even mention the TVA coal ash spill ? While we don't have the level of political repression the Chinese government perpetrates, we had our fair share of coverups and misinformation surrounding both of those incidents. Please stop throwing stones--you're going to get our glass house shattered in short order.
Bringing the conversation back on topic, what happened was a tragedy and, in my humble estimation, could have happened anywhere in the world. The amount of abuse perpetrated in our nursing homes, for instance, is appalling. What caught my eye is that they even have camps in an attempt to address the issue of "internet addiction"--have you guys seen this elsewhere, or is it as Chinese a phenomenon as "fat camps" might be an American one?
I am going to agree with you for the most part—I feel that human-centricity doesn't necessarily imply a lack of rigor. Just because it requires dealing with the horribly complicated mess that humans are, one can still approach the problem at hand using rigorous, human-centric strategies. Learning how to work with human variation is not completely an intuitive affair, as there are a lot of frameworks, each with its own merits about how to understand humans and their behavior, and how to apply this understanding to disciplines like software engineering. Maybe this lacks "formality" in the sense that it's not formulaic in nature, but saying it's not rigorous is pejorative in a way that I'm not comfortable with.
On the other hand, saying that Simon's description of human decisionmaking is as "solid as mathematical formulas behind computer science" seems a bit silly to me—at best, it's just a good lens through which to explain some facet of human behavior, but even if Simon's work were a perfect, unassailable analysis of the human decisionmaking process (which it is not—how can we prove that neurologically speaking Simon is correct? We can prove that algorithms work all the way from the number theoretic level), understanding just decisionmaking wouldn't be enough for our purposes.
Any circuit design must contain at least one part which is obsolete, two parts which are unobtainable, and three parts which are still under development.