There are also computer scientists who study how humans use computers, e.g. HCI, which often includes hypotheses, experiments, etc. There is certainly a subset

There are also computer scientists who study how humans use computers, e.g. HCI, which often includes hypotheses, experiments, etc. There is certainly a subset that only cares about proofs, though.