Jeff Kramer
Author Archives
Automated Support For Diagnosis and Repair
Model checking and logic-based learning together deliver automated support, especially in adaptive and autonomous systems.
Is Abstraction the Key to Computing?
Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it possible to improve these skills through education and training? Critical to these questions is the notion of abstraction.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved