Computer science has its historical roots in mathematical logic and electrical engineering. However it quickly evolved into a separate discipline with its own methods for describing and controlling aspects of reality not addressed by its predecessors. This talk will examine ways in which computer science concepts–including abstraction, modularity, state, universality, concurrency, safety, speci...