Automated reasoning is the area of computer science that is concerned with applying reasoning in the form of logic to computing systems.
Crypto-agility, or cryptographic agility, is a data encryption practice used by organizations to ensure a rapid response to a cryptographic threat.
Data science is the study of where information comes from, what it represents and how it can be turned into a valuable resource in the creation of business and IT strategies.
A data scientist is a professional responsible for collecting, analyzing and interpreting extremely large amounts of data. The data scientist role is an offshoot of several traditional technical roles, including mathematician, scientist, statistician and computer professional.
Watson is an IBM supercomputer that combines artificial intelligence (AI) and sophisticated analytical software for optimal performance as a 'question answering' machine.