Computer Sciences Commons^™

Demystifying Hardware Formal Verification For Undergraduate Education: A Risc-V Processor Case Study With Coursework Implementation, Riley A. Peters

Master's Theses

Hardware verification engineers apply formal methods to prove that a digital device always behaves according to its specification. This differs from traditional functional verification, in which engineers establish correctness by repeatedly sending test inputs to the device and comparing the outputs against a reference model. With the growing complexity of integrated circuits, the demand for digital verification engineers with formal methods experience has continued to increase. However, California Polytechnic State University: San Luis Obispo's current curriculum lacks dedicated material to prepare students for these roles.

This thesis seeks to address the lack of formal methods material through two efforts. First, …

Client Feedback Effects On Enjoyment, Motivation And Self-Efficacy In A Project-Based Learning Course, Krista Stacey, David M. Bourrie

University Faculty and Staff Publications

This paper reports a mixed-methods evaluation of how feedback/project source (faculty-led versus client-led) shapes student outcomes in a two-course undergraduate game and simulation development sequence (N = 29 across two academic years). Quantitative measures (enjoyment, intrinsic motivation, self-efficacy) were collected with a six-point Likert survey and analyzed, but due to small sample sizes were not used to empirically evaluate the constructs. Instead, qualitative data comprised of de-identified focus-group transcripts and open-ended survey responses were analyzed with a keyword-assisted codebook and manual validation. Year 1 (faculty feedback) exhibited more consistent post-course gains, especially in self-efficacy, while Year 2 (client feedback) produced …

Ai Transformation In Education: Examining Teachers’ Perceptions Using An Integrated Tam-Tpack-Genai Framework, Areej Elsayary, Ghadah Al Murshidi, Karim Ragab, Ahmed Al Zaabi

All Works

Artificial intelligence (AI) is transforming educational systems by enhancing teaching, assessment, and learning personalization. This study investigated teachers’ perceptions of AI integration using an integrated technology acceptance model (TAM), technological pedagogical content knowledge (TPACK), and generative artificial intelligence (GenAI) framework. The main constructs used are perceived usefulness (PU), attitudes toward use (ATU), and behavioral intention (BI), with GenAI dimensions (agency, amplification, adaptivity, and authenticity) embedded within them. The study employed a cross-sectional design with 332 teachers in the emirate of Al Ain, United Arab Emirates. Results showed that PU was the strongest predictor of both ATU and BI, while ATU …

Activating Learning With Ai: Early Evidence From Undergraduate Sports Management Courses, Sherry Andre

Faculty and Staff Publications & Presentations

Presented research at the GSBA Conference on integrating AI into undergraduate sport management courses to enhance student engagement, critical thinking, and applied learning. The session shared early evidence on how AI can support skill development, improve classroom experiences, and better prepare students for careers in the evolving sport industry.

Cybersecurity In Higher Education Institutions: Awareness, Policy, And Experience On Employee Behaviour, Abdullahi Abiodun Yusuf, Adriana A. Steyn

Journal of Cybersecurity Education, Research and Practice

The digital transformation of higher education institutions (HEIs) has introduced unprecedented connectivity and operational efficiency, but it has also heightened their exposure to cyber threats. South African HEIs, in particular, face increasing vulnerability due to their reliance on technology, openness, and diverse user communities. This study examines the influence of the institutional cybersecurity environment on employee cybersecurity-compliant behaviour (CCB), emphasising the critical roles of awareness, policy engagement, and experience. Drawing on Protection Motivation Theory and the Theory of Planned Behaviour, a conceptual model was developed to explore how cybersecurity awareness, policy familiarity, and prior experience shape employees’ attitudes, subjective norms, …

How Principals Who Use Artificial Intelligence For Innovation Create Cognitive Equity While Principals Who Use Ai For Efficiency Create Cognitive Debt, Jethro Jones

Dissertations

This dissertation in practice examined whether a targeted professional learning   intervention could shift school leaders’ use of generative artificial intelligence (AI) from efficiency-oriented tasks toward innovation-oriented strategic problem solving. AI is typically adopted to accelerate existing routines, which can deepen “cognitive debt” by reinforcing ineffective practices rather than improving systems. This study advanced a “cognitive equity” frame, positioning AI as a tool that can expand principals’ cognitive capacity to address complex problems and lead adaptive change. Using a quasi-experimental, single-group design, the study evaluated a free, full-day AI for Innovation workshop, which emphasized foundational understanding of how AI tools work …

Responsible Ai In Teaching And Learning, Asa B. Stone, Mark C. Stone, Derek M. Heeren, Santosh Pitla

PRAIRIE: Pioneering Responsible AI for Research, Innovation, and Education

The rapid adoption of generative artificial intelligence (AI) in higher education presents both transformative opportunities and significant pedagogical risks. While AI tools are becoming embedded in academic and professional environments, their integration into teaching and learning raises critical questions about cognitive engagement, academic integrity, equity, and skill development. This white paper proposes a principled framework for the responsible integration of AI in higher education, grounded in the dual commitment to AI literacy and the cultivation of durable skills.

The framework articulates six core principles: purposefulness; transparency; integrity and attribution; critical AI literacy; equity and access; and privacy and data protection. …

Cyber Science Education Meets Healthcare Technology, Angela Spencer

Journal of Cybersecurity Education, Research and Practice

The research investigates how cyber science education combines with healthcare technology during the digital age to resolve a fundamental research gap in these two advancing areas. A combined approach utilizing extensive surveys and detailed interviews evaluates the functionality of learning platforms as well as cybersecurity measures and potential uses of emerging virtual reality (VR) and augmented reality (AR) tools to improve both educational and clinical environments. The research document describes its methodologies thoroughly while. The research documents multiple quantitative and qualitative results before performing its analysis, which leads to strategy development for digit. The researchers worked to find ways that …

A Virtual-Reality-Based Dental Simulator For Endodontics With Automated Formative Feedback, Yousef Salah Abo El Ela

Theses and Dissertations

Advancements in virtual reality (VR) and haptic technology are transforming the landscape of medical and dental education, offering new avenues for safe, immersive, and repeatable training experiences. Within dentistry, endodontics presents unique challenges for preclinical education due to anatomical complexity, limited access to extracted teeth, ethical concerns, and the shortcomings of conventional plastic models. Despite endodontics specific plastic teeth being available, they fall short of replicating the hardness of real extracted teeth, are relatively costly compared to generic plastic teeth, and are ultimately a disposable item which makes them inadequate as a sustainable long-term solution. Extracted teeth do a much …

Artificial Intelligence In Higher Education, Opportunities, And Challenges: A Review, Sharifa Alblooshi

All Works

Artificial intelligence (AI) is a growing force of change in higher education, providing assistance to students, teachers, and administrators in teaching, learning, and administration. As AI technologies advance rapidly, they present a combination of significant opportunities and complex challenges. In this study, we examine the role of AI in higher education, highlighting both its positive and negative impacts, as well as current policy gaps and issues arising from its deployment. The literature on the topic was reviewed to determine how AI decisively impacts teaching and learning, the role of AI in assessments and academic integrity, as well as ethics, psychological …

Generative Ai Use And Self-Learning In Higher Education: The Role Of Learning Difficulties, Dana Saleh, Areej Elsayary

All Works

The rapid development of GenAI tools and their adoption in education have shown promising potential to personalize learning experiences. However, their effectiveness is influenced by factors such as familiarity, frequency of use, and the impact on self-learning. This study investigates the undergraduate students' familiarity with Generative AI (GenAI) tools, their frequency of use, and the perceived impact of GenAI on self-learning, with particular consideration of differences between students with and without learning difficulties. Prompt engineering is also included as a secondary aspect of students' GenAI experience. The research employed a quantitative survey design, utilizing validated scales to measure familiarity, usage …

Integrating Adversarial Scenarios Into Llm Security Labs: An Experience Report On A Hands-On Approach, Dominic A. Wilson

Journal of Cybersecurity Education, Research and Practice

This paper presents an exploratory case study detailed as a pedagogical experience report on integrating adversarial Large Language Model (LLM) scenarios into a graduate cybersecurity curriculum. In addition to prompt injection, sophisticated techniques such as jailbreaking and model inversion pose emerging threats that traditional computer security curricula often lack. We present the design and implementation of a structured, hands-on module addressing this gap, utilizing a custom Retrieval-Augmented Generation (RAG) platform with local open-source LLMs. A cohort of 16 graduate students participated in this two-week pilot module, engaging in "red team" activities to actively exploit model alignment and privacy vulnerabilities. The …

Addressing The Void Of Ai Policies In Education For Students With Specific Learning Disabilities, Mikyung Shin, Fatmana Deniz, Latesha Watson, Cynthia Dieterich, Kathy B. Ewoldt, Friggita Johnson, Jennifer E. Kong, Sung Hee Lee, April Whitehurst

Education Faculty Articles and Research

The purpose of this study was to identify the current state of artificial intelligence (AI) policies in U.S. education and propose actionable recommendations through large language model–based topic modeling and Delphi surveys. Out of 12 policy documents released between 2015 and 2025, only two documents (National Center for Learning Disabilities, 2024; W.A. v. Clarksville/Montgomery County School System, 2024) specifically addressed learning disabilities. Policy documents addressing topics such as AI-driven risk assessment, data protection, legal risk management, and ethical guidelines covering other disabilities and general AI in education policy were provided as baselines that could be discussed and validated through …

Confluence, Vol. 4, Iss. 2, Full Issue

The Confluence

No abstract provided.

Do Algorithms Dream Of Electric Muses? Teaching Creative Writing In The Age Of Generative Ai, Anna Leahy

English Faculty Articles and Research

In Philip K. Dick’s novel Do Androids Dream of Electric Sheep? androids are given a psychological test to confirm they are not human before killing them. The story’s end suggests that humans will treat a seemingly harmless android as authentically as a human even when humans are aware the android is not human. Students use tools like ChatGPT, which function as autocomplete on steroids, to produce text using probabilistic relationships among words, and instructors can’t always tell the difference between average student writing and Gen AI text. In creative writing classes, instructors might use thinking for oneself as a central …

Crossing The Theory Threshold: The Pedagogical Potential Of Generative Artificial Intelligence In Educational Research, Amanda Burbage, Jennifer L. Styron

EVMS School of Health Professions Faculty Publications

Purpose

This paper presents findings from an educational research graduate course in which generative artificial intelligence (AI) was incorporated to strengthen learners' understanding of threshold concepts related to theoretical frameworks. Medical and health professionals often struggle with the transition from a clinical role into the educational research role.

Methods

The study posits that the use of generative AI will help learners understand and apply theoretical frameworks beyond a superficial level, furthering their understanding, constructing new knowledge, and strengthening their ability to develop sound educational research studies. Journal and AI transcripts were analyzed for 37 participants.

Results

Open-ended codes were grouped …

Learning Design To Advance Human-Ai Collaboration In K-12 Education, Wing Sha Chan, Jinhee Kim, Seongryeong Yu, Rita Kay Detrick

STEMPS Faculty Publications

This chapter explores key components for designing effective Human-AI Collaboration (HAC) in K–12 education, addressing the current lack of theoretical and conceptual frameworks for structuring and implementing HAC in teaching and learning. It examines four essential areas: curriculum design, student and teacher–AI interaction, learning environments, and the evolution of HAC over time. The chapter introduces the concept of HAC in K–12 contexts, highlighting how humans and AI can leverage each other's strengths through co-evolutionary processes that foster mutual learning and collaboration. It reviews current HAC practices in schools and discusses their contributions to both teaching and learning. Finally, it presents …

Impacts Of Segmenting Principle On Learner Performance And Attitude In A 3d Environment: A Mixed-Method Multiple Case Study, Kristin Herman, Mohan Yang, Jim Shifflet, Noah Glaser

STEMPS Faculty Publications

This study presents a conceptual replication of Moreno’s (Appl Cogn Psychol 21:765–781. 10.1002/acp.1348, 2007) study on the benefits of adhering to the segmentation principle when utilizing multimedia learning objects. Furthermore, this study expands upon the original by taking place in a low-immersive virtual reality environment, allowing for further understanding on the extent to which multimedia principles are still relevant. Both a synchronous and an asynchronous case are presented. Results indicate benefits for both cases in far transfer of learning. Furthermore, synchronous learners indicated a significant reduction in cognitive load and increased overall attitudes towards learning due to segmented instruction.

Supporting K-5 Computer Science Integration Through High-Quality Teacher Professional Development, Shanan Chappell Moots, Joanna K. Garner, Joseph A. Brobst, Melani Loney, Lisa Steffian, Jennifer Maeng

Center for Educational Partnerships Publications

Workforce development and education leaders have increasingly emphasized the need for high-quality computer science (CS) instruction for K-12 students. Though states have created and mandated the implementation of CS curriculum standards, few in-service teachers have been provided sufficient opportunities to develop CS pedagogical content knowledge and self-efficacy. This study evaluated the effect of a CS integration professional development (PD) program on K-5 teachers' perceptions of their capacity to teach CS and their implementation of CS-integrated lessons using a randomized controlled trial design. Treatment included an intensive online summer institute with school year follow-up. Results indicate statistically significant effects of the …

Game-Based Learning For Asynchronous Ai Literacy Course: Approach To Improve Students' Cognitive, Behavioural, Affective, And Ethical Learning Of Ai, Jinhee Kim, Guang Yang, Wing Sha Chan, Xi Lin, Yukyeong Song

STEMPS Faculty Publications

Educators in higher education face persistent challenges in scaling AI literacy across disciplines and helping novice learners understand abstract AI concepts. Although research on game-based learning (GBL) reports mixed outcomes, few studies have examined its large-scale use in mandatory, asynchronous AI literacy courses for diverse undergraduate populations. Addressing this gap, this study investigates a scalable GBL-based AI literacy course delivered to 4898 first-year undergraduates across disciplines. Using a mixed-methods design with 311 valid pre- and post-survey responses and 20 interviews, the study evaluates students' cognitive, behavioural, affective, and ethical learning of AI. Quantitative results show significant improvements in overall AI …

Students-Generative Ai Interaction Patterns And Its Impact On Academic Writing, Jinhee Kim, Sang-Soog Lee, Rita Detrick, Jialin Wang, Na Li

STEMPS Faculty Publications

Considering both the transformative opportunities and challenges presented by generative AI (GenAI) in academic writing, effectively integrating GenAI into the academic setting becomes a significant need requiring prioritization. Yet, there is limited understanding regarding the nature of interactions between different types of students, what behavioral patterns students exhibit during a student-GenAI interaction (SAI) on a given task, and how these different SAI patterns relate to the actual writing task performance. This study, therefore, aimed to identify SAI patterns of academic writing tasks depending on students’ level of AI literacy and examine the differences in academic writing performance between the identified …

Students' Perception Of Generative Ai-Assisted Collaborative Argumentation, Jinhee Kim, Seongryeong Yu, Rita Detrick, Liangjie Fan, Na Li

STEMPS Faculty Publications

The rapid scaling of generative artificial intelligence (GenAI) technology presents opportunities for personalised learning experiences and facilitates collaborative learning, including collaborative argumentation (CA). However, empirical research examining students' perceptions of GenAI-assisted CA within classroom contexts remains limited. This study explored university students' experiences with GenAI-assisted CA through in-depth interviews with 36 students following a CA activity using a ChatGPT4-embedded argumentation platform developed by the research team. Findings indicate that students viewed GenAI as serving multiple roles, including tool, facilitator, teaching assistant and machine buddy. Students perceived that GenAI-assisted CA could empower task performance and create a collaborative learning environment. Meanwhile, …

Foreword, Pedagogical Innovations In Computer Science Education, Helen Crompton

STEMPS Faculty Publications

[Introduction] Computer science education sits at a defining moment. Across schools and universities worldwide, computing is no longer a niche discipline reserved for a select few. It is a foundational literacy that shapes how learners understand the world, participate in society, and imagine their futures. At the same time, the rapid pace of technological change, particularly in artificial intelligence, data systems, and intelligent tools, has placed unprecedented pressure on educators to rethink not only what we teach, but why and how we teach it. This book arrives precisely when such reflection is most needed.

The Role Of Education In Reducing Social Inequality: A Systems-Level Analysis Of Socio-Technical Infrastructures And Policy Governance, Aisling O'Shea, Batzorig Dashnyam, Ximena Quintanilla

Women's & Gender Studies Faculty Publications

Social inequality remains one of the most persistent challenges to global systemic stability, threatening the robustness of democratic institutions and economic sustainability. Education has long been theorized as the primary mechanism for social mobility and the mitigation of disparate life outcomes; however, its role within modern socio-technical infrastructures is increasingly complex and often contradictory. This paper provides a comprehensive systems-level analysis of the relationship between educational architecture and social stratification. By examining the structural trade-offs inherent in contemporary pedagogical deployment, the research evaluates how institutional governance, digital infrastructure, and policy mandates either facilitate or hinder the reduction of inequality. The …

Designing Ai Systems To Support A Productive-Failure-Based Learning: Insights From Adult Learners On Ai Applications And Ai System Design Principles, Jinhee Kim, Xi Lin, Seongryeong Yu, Rita Detrick

STEMPS Faculty Publications

Emerging capabilities of generative artificial intelligence (GenAI) offer significant potential to support productive failure (PF)-based learning, which engages adult learners (ALs) in exploring problems before instruction and learning from their initial attempts. However, the effective use of AI to support multifaceted areas of PF-based learning, including problem generation, exploration, consolidation, and knowledge assembly, is limited. Furthermore, AI design principles to support PF-based learning remain under-researched. This study, therefore, aims to investigate ALs’ perceptions of AI applications in enhancing PF-based learning and to explore the essential design principles of AI systems for PF-based learning. To achieve these aims, the study conducted …

Generative Ai Peer Tutoring To Support Peer-Reviewed Source Identification And Evaluation, Rae Mair, Michelle Kelley, Taylar Wenzel, Andrea C. Borowczak, Yuqing Li, Mike Borowczak

Faculty Scholarship and Creative Works

This chapter explores the design and evaluation of a generative artificial intelligence peer tutor prompt to support college students in identifying and evaluating peer-reviewed sources for academic research. Grounded in literature on peer tutoring, Socratic dialogue, and AI-supported learning, the authors describe an iterative prompt engineering process designed to transform large language models (LLMs) into Socratic-style peer tutors capable of scaffolding student reasoning without completing tasks for them. Five guiding criteria for an effective peer tutor shaped development and evaluation: cognitive congruence, step-by-step guidance, avoiding giving answers, adaptability to student level, metacognitive transparency, and following assignment directions. Across multiple human-centered …

The Devil Is In The Det[Ai]Ls: Ai Agents, Ghost Students, And The Crisis Of Verified Presence In An Agentic Ai World, Aras Bozkurt, Helen Crompton, Caroline Fell Kurban

STEMPS Faculty Publications

The transition from reactive Generative Artificial Intelligence (GenAI) to agentic AI systems marks a categorical shift in digital education, moving beyond simple content generation to goal-oriented, autonomous execution. This paper explores the emergence of the “ghost student”: a digital surrogate created by the coupling of Large Language Models (the “mind”) and agentic AI browsers (the “body”). These entities are capable of navigating Learning Management Systems (LMS), engaging with content, and completing assessments with human-like mimicry, often rendering the actual learner’s presence optional. We argue that this phenomenon creates a verification gap that traditional proctoring and detection tools are structurally unable …

Instructional Designers' Reflections On Generative Ai Use For Scenario-Based And Performance-Centered Learning: A Collective Autoethnography, Nour El Houda Maache, Dan V. Dao, Jiyoon Jung, Jayanth Nadheri, Nari Kim, Chikezie Ozuzu, Xinyue Ren

STEMPS Faculty Publications

This study examines how instructional designer-instructors (IDIs) use and evaluate generative artificial intelligence (GenAI) when designing scenario-based and performance-centered authentic learning in higher education. Using a collective autoethnography (CAE) approach, the study draws on semi-structured interviews and reflective narratives from five IDIs with varied professional experience. Findings indicate that GenAI enhanced design capacity by accelerating scenario development, translating complex content, and supporting scenario-based and performance-based task construction. At the same time, participants reported limitations related to contextual misalignment, output unreliability, and the cognitive demands of prompt refinement. Across cases, effective integration depended on sustained human oversight, disciplinary judgment, and ethical …

Chatgpt In Secondary English Language Learning: Educators' And Students' Literacy, Perceptions, And Experiences, Victoria Brenes, Sierra Outerbridge, Xinyue Ren

STEMPS Faculty Publications

The increasing use of generative artificial intelligence (GenAI) has shown the potential of transforming teaching and learning practices in various educational settings, such as in English language learning (ELL). As English language learners (ELLs) often experience many challenges and barriers in schools in the United States, it is urgent to leverage the educational affordances of GenAI in fostering the effectiveness of ELL. Given the limited research investigating GenAI adoption, especially ChatGPT literacy within K-12 ELL, this convergent mixed methods research aims to investigate students' and teachers’ perceptions of using ChatGPT and their ChatGPT literacy in secondary ELL contexts. We will …

Redefining Educational Technology: A Critical Collaborative Inquiry, Aras Bozkurt, Helen Crompton, Robert Farrow, Agnes Kukulska-Hulme, Jon Dron, Richard West, Agnieszka (Aga) Palalas, Matth Bower, Junhong Xiao, Ahmed Tlili, Danah Henriksen, Angelica Pazurek, Henk Huijser, Thomas K. F. Chiu, Petar Jandrić, Katy Jordan, John Curry, Royce Kimmons, Mutlu Cukurova, Thomas Reeves, Gwo-Jen Hwang, Peter Shea, Jason Lodge, Martin Weller, Davy Ng, Tutaleni Iita Asino

STEMPS Faculty Publications

Educational technologists have not settled on a fixed definition of the field and likely never will. However, attempting to define the field helps to understand the epistemological meanings that shape what the field sees, values, and considers worth pursuing. Through a critical historical review spanning over a century, alongside theoretical engagement with the concepts of entanglement and distributed agency, this paper identifies three key insufficiencies in current educational technology frameworks. These are the persistence of an instrumental-facilitative paradigm that treats technology as a resource deployed by human agents; the theoretical dissolution of the pedagogy-technology dichotomy that existing definitions have not …