One of the most frustrating things about computing is that the equipment does not work simply. I envision the day when computer use is as simple as a television. You simply plug it in, and it works, although T.V.'s are evolving to be more complicated than that. The point holds for T.V.'s `back in the day.' Along comes a work that I recently reviewed (forthcoming) which outlines current work in computing, Model Checking, that seems to be a useful area of endeavor. Working closely with programmers and computer specialists I never cease to marvel at their technical abilities, though computers themselves still seemed obtuse. However, even for non-specialists, the area of Model Checking is intriguing because computing specialists in this area may be solving some of the most frustrating aspects of computing: waste and delay. I intend to follow some of the current work in the field in the hopes that computing will be more efficient and practical.
Posts
