Structuring Formal Methods into the Undergraduate Computer Science Curriculum

There is an urgent need to emphasize and integrate Formal Methods into the undergraduate curriculum in Computer Science in the United States. We are entering an age defined by a highly interconnected, ubiquitous computing environment, with a large AI component. Knowing the precise capability of our systems is particularly vital to safeguard safety-critical and mission-critical applications. In such an environment, the lack of a well-structured exposure to formal methods is a serious shortcoming in our computing curricula. We examine the curricular, pedagogical, and organizational challenges involved in bringing Formal Methods into the mainstream of computing disciplines, note efforts made to address the challenges, and suggest further initiatives to help address them.