Various similarity measures for source code have been proposed, many rely on edit- or tree-distance. To support a lecturer in quickly assessing live or online exercises with respect to "approaches taken by the students," we compare source code on a more abstract, semantic level. Even if novice student's solutions follow the same idea,…

Learning to write programs is hard, but many fail to even learn basic program reading skills, such as mentally tracing a program to predict its behavior. This dissertation argues a new theory of programming language knowledge that includes mappings from syntax to semantics and their nested combinations can serve as the basis for more granular…

The 1980s and 1990s saw a robust connection between computer science education and cognitive psychology as researchers worked to understand how students learn to program. More recently, academic disciplines such as science and engineering have begun drawing on cognitive psychology research and theories of learning to create instructional materials…

This study explored the impact of MetaClassroom, a virtual immersive programming learning environment designed based on the three-dimensional learning progression (3DLP) concept, on students' multidimensional development. Utilizing a quasi-experimental research design, this study compared students' programming learning achievements (PLA),…

The need to integrate the teaching and learning of computational thinking (CT) in K-12 education has been on the rise since it was identified as a skill for solving 21st-century problems. The co-design pedagogical approach has shown great potential in promoting effective communication of CT to both university and K-12 students with the support of…

As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

At the forefront of industries profoundly influenced by artificial intelligence (AI), public relations (PRs) are undergoing a transformative revolution. The increasing applications of AI in PRs are driving a demand for proficient practitioners. Recognizing this, PR educational institutions must adapt by delivering tailored AI education. Despite…

Studies have shown that students have different help-seeking behavior patterns and tendencies and furthermore, that students with certain help-seeking behavior patterns and tendencies may have poor performance (i.e., at-risk students). This study applied an educational data mining approach, including clustering and classification, to analyze…

The advancement of large language model-based generative artificial intelligence (LLM-based GenAI) has sparked significant interest in its potential to address challenges in computational thinking (CT) education. CT, a critical problem-solving approach in the digital age, encompasses elements such as abstraction, iteration, and generalisation.…

This is a practical guide for applying the Impact Threshold for a Confounding Variable and the Robustness of Inference to Replacement using the konfound packages in Stata and R as well as the R-shiny app. It includes motivation worked examples, and tutorials.

Motivation: Students learning to program often reach states where they are stuck and can make no forward progress--but this may be outside the classroom where no instructor is available to help. In this situation, an automatically generated next-step hint can help them make forward progress and support their learning. It is important to know what…

As being more prevalent in educational settings, understanding the impact of artificial intelligence tools on student behaviors and interactions has become crucial. In this regard, this study investigates the dynamic interactions between students and ChatGPT in programming learning, focusing on how different instructional interventions influence…

Computer programming languages play a crucial role in the education and training of librarians. This study examines the extent to which ALA-accredited online Master of Library and Information Science (MLIS) programs integrate programming languages into their curricula. Using a mixed-methods approach, data were collected from program websites,…

Generative AI is a disruptive technology that has the potential to transform many aspects of how computer science is taught. Like previous innovations such as high-level programming languages and block-based programming languages, generative AI lowers the technical expertise necessary to create working programs, bringing the power of computation…

Background and Context: Self-regulated learning (SRL) skills are critical aspect of learning to program and are predictive of academic success. Early college students often struggle to use these skills, but can improve when given targeted instruction. However, it is not yet clear what skills are best to prioritize. Objective: We seek to create a…