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…

Traditional phenotyping methods are labor-intensive, time-consuming, and often destructive measurements that describe plant traits. Technology allows the advancement of sensor-based phenotype data to be collected digitally. This area of work is called high-throughput phenotyping (HTP). HTP is rapid, non-destructive, and non-invasive. The effective…

Creative behaviors are increasingly impacted by digital technologies, but little is known about the way digital technologies support everyday creativity and what factors predict their creative use. We investigated to what extent individual differences in person-specific (creativity, personality) and platform-specific (e.g., perceived creativity…

Engineering design that requires mathematical analysis, scientific understanding, and technology is critical for preparing students for solving engineering problems. In simulated design environments, students are expected to learn about science and engineering through their design. However, there is a lack of understanding concerning linking…

Artificial intelligence (AI) encompasses the science and engineering behind creating intelligent machines capable of tasks that typically rely on human intelligence, such as learning, reasoning, decision-making, and problem-solving. By analyzing vast amounts of data, identifying patterns, and making predictions that were once impossible, AI has…

In secondary English classrooms, poetry is often a text that is least liked because it is viewed as being "inaccessible," reserved for the elite, and/or too abstract. Part of the reason for this also lies in the traditional, colonial structures of introducing poetry such as relying on canonical texts and close reading analysis. Yet,…

The autoethnographic study investigates the transformative impact of generative AI on educational research, instructional design, and teaching practices over a 5-month period (May-October 2024). By integrating AI tools into every phase of the research process, the study examines AI's role as both a research partner and a subject of inquiry. Field…

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.

Teamwork is crucial in software engineering. However, recent literature concludes that software engineering graduates have underdeveloped teamwork skills. Instructors wishing to develop teamwork skills are faced with many teamwork models and a lack of empirical studies that examine their utility in higher education. We conducted an exploratory…

Although digital accessibility topics are increasingly gaining inclusion in university computing classrooms, many instructors still encounter difficulties in engaging students with this subject. The Universal Design for Learning (UDL) framework, a pedagogical approach that emphasizes multiple means of engagement, offers a promising strategy to…

Academic misconduct is a prevalent issue in higher education with detrimental effects on the individual students, rigor of the program, and strength of the workplace. Recent advances in artificial intelligence (AI) have reinvigorated concern over academic integrity and the potential use and misuse of AI. However, there is a lack of research on…

This article examines the potential of Challenge-Based Learning (CBL) and Evidence-Based Software Engineering (ESBE) as a strategy for higher education, combining quality teaching with the development of professional skills. The article specifically aims to mitigate all-but-thesis syndrome in degree programmes. The methodology comprises three…

Many interventions that "work" in small-scale trials often fail at scale, highlighting the centrality of effective scaling for realizing the promise of evidence-based policy. We study the scaling of a personalized adaptive learning (PAL) software that was highly effective in a small-scale trial. We adapt the PAL implementation for…

Phone usage in the classroom has been linked to worsened academic outcomes. We present findings from a field experiment conducted at a large public university in partnership with an app marketed as a soft commitment device that provides incentives to reduce phone use in the classroom. We find that app usage led to improvements in classroom focus,…

ChatGPT, an AI software, has rapidly gained popularity for a wide variety of applications, including educational uses. This research explores the use of ChatGPT to supplement Geographical Information Systems (GIS) coursework creation, to help educators with little experience in GIS. Visualizing sea level rise (SLR) and quantifying the extent of…