Control dependency in computer science refers to the situation where the execution of a program statement is dependent on the outcome of a previous conditional statement. It is crucial in optimizing compilers and parallel computing, as it affects instruction scheduling and the flow of control in a program's execution path.