Study of formal sciences like mathematics, computer science, statistics, and their application to develop models, solve problems, and enhance practical technologies.