The field is a theoretical branch of computer science (the study of computation, computers and information processing) but is different from theory and experiment which are the traditional forms of science and engineering.
The field is distinct from computer science (the study of computation, computers and information processing). It is also different from theory and experiment which are the traditional forms of science and engineering.