abstraction, concurrency2, CSP2, Cyber Terrorism, Data Lake, Map Reduce, Microservices2, model checking, quantum computing, race conditions.