>>13344617Computer science is often defined as the study of algorithmic processes, and learning to implement those algorithmic processes properly is important. Code correctness is of interest to both computer scientists and software engineers, though computer scientists typically investigate code correctness at a much deeper level and use these investigations to guide research in operating-system design (e.g., exploit mitigations), programming-language design (e.g., memory-safe languages), numerical analysis (e.g., workarounds for floating-point dangers), etc.
