Reverse Mathematics for Teaching Theoretical Computer Science (SIGCSE TS 2026 - Posters)

Track

SIGCSE TS 2026 Posters

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 19 Feb 2026 10:00 - 12:00 at Hall 1 - Posters - Posters Session #1

Abstract

This poster explores the integration of Reverse Mathematics (RM) as an innovative educational tool for teaching Theoretical Computer Science (TCS) at the university level. Beginning with a historical perspective—from Euclidean reasoning to Turing’s limits—it situates RM within the broader landscape of TCS education. Through a concrete classroom activity, the poster illustrates how RM fosters computational thinking, sharpens formal awareness, and bridges the gap between algorithmic implementation and logical justification. By encouraging students to reflect on the axiomatic principles required to validate algorithms, RM enables them to reason critically about both computation and proof. The poster concludes with a discussion of related work, preliminary teaching results, ongoing research, and initiatives toward curricular integration.

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Thu 19 Feb
Displayed time zone: Central Time (US & Canada) change

10:00 - 12:00	Posters Session #1Posters at Hall 1 - Posters

10:00 2h Talk		Evaluating Machine Learning Algorithms for Student Performance Prediction in Real-Time Learning Analytics Dashboards Posters Prajith Reddy Pitchapati Colorado State University, Suchith Reddy Vemula Colorado State University, Marcia C. Moraes Colorado State University
10:00 2h Talk		CodeFlow: LLM-Generated Flowchart Feedback for Programming Students Posters Kehao Zheng Utah State University, Yang Shi Utah State University
10:00 2h Talk		Creating Notional Machines to Support Learners: Principles, Design Challenges, and Staged Guidance Posters Saquib Sarwar University of North Carolina at Charlotte, David Wilson University of North Carolina at Charlotte
10:00 2h Talk		Computer Science Enrollment Through a Community Data Lens Posters Linn Erle Kloefta Georgia State University, Sanjana Cheedeti Georgia State University, Computer Science Department, Chetan Tiwari Georgia State University, Suhasini Ramisetty-Mikler Georgia State University, Armin R. Mikler Georgia State University, Anu Bourgeois Georgia State University, Rajshekhar Sunderraman Georgia State University, Computer Science Department
10:00 2h Talk		Collaborative Learning for Computer Science Courses: An Initial Literature Survey Posters Brendan Degryse United States Military Academy, Gavin Matoush United States Military Academy, Ryan Dougherty United States Military Academy
10:00 2h Talk		A Hands-On Platform for Medical Device Security Education Posters Kaixin Du Johns Hopkins University, Dibyajyoti Nath Johns Hopkins University, Ramit Saraswat Johns Hopkins University, Zhicheng Sun Johns Hopkins University, Michael Rushanan Harbor Labs, Tushar Jois City College of New York
10:00 2h Talk		Preparing Graduate Teaching Assistants with Structured Orientation and AI-Simulated Students Posters Quiondriya Gee Purdue University, Houyame Lkhider Purdue University, Ethan Dickey Purdue University, Andres Mauricio Bejarano Posada Purdue University
10:00 2h Talk		Developing an in-house Augmented Reality Optical-see-through Head-Mounted Display for Computing Education Posters Ben Khant Bucknell University, Sing Chun Lee Bucknell University
10:00 2h Talk		Evaluating the Role of Ethics Education in Shaping College Students’ Ethical Engagement in Computing Technology Posters Louie Ortiz Stanford University, Jenny Yang Stanford University, Anne Newman Stanford University
10:00 2h Talk		Collective Impact at Scale: Comparing State-level Policy Adoption Related to Broadening Participation in Computing Posters Ryan Torbey The University of Texas at Austin, Carol Fletcher The University of Texas at Austin, Jaci McCune University of Texas at Austin, Delores Rice The University of Texas at Austin, Texas Advanced Computing Center, Joshua Childs The University of Texas at Austin
10:00 2h Talk		Scaffolding Research and Professional Skills in Graduate Computer Science Education: A Milestone-Based Approach Posters Hanieh Shabanian Western New England University
10:00 2h Talk		CRAFT Prompt Generation Framework for TeachersK12 Posters Deepti Joshi The Citadel, Robin Jocius University of Texas - Arlington, Jennifer Albert , Candace Joswick University of Texas at Arlington, Melanie Blanton pc
10:00 2h Talk		Feedback Engagement and Analysis in Assessments (FEAST) in Computing Education Posters Sona Chitchyan Michigan State University, Marcos Caballero Michigan State University, Maddy Nomer Michigan State University, Luke Karam Michigan State University
10:00 2h Talk		Reverse Mathematics for Teaching Theoretical Computer ScienceGlobal Posters Rafael del Vado Vírseda Universidad Complutense de Madrid
10:00 2h Talk		Affective Factors and AI Instructional Implementation: Insights from a Statewide Survey of K-12 Computer Science Teachers in PennsylvaniaK12 Posters Robert Schwarzhaupt American Institutes for Research, Dajung Diana Oh American Institutes for Research, Jared Taylor American Institutes for Research
10:00 2h Talk		A Lightweight, Privacy-Preserving Platform for Integrating LLMs in CS CourseworkGlobal Posters Jason Madar Langara College, Vancouver BC; Capilano University, North Vancouver, BC
10:00 2h Talk		Exploring Trust in Human-LLM Feedback Systems: Observation of Student Behaviour in Software Engineering EducationGlobal Posters Yiwen Liao UNSW Sydney, Yuchao Jiang UNSW, Madhushi Bandara University of Technology Sydney, Yuekang Li UNSW, Iromie Samarasekara University of New South Wales, Zixiu Guo University of New South Wales, Drishtant Leuva University of Technology Sydney, George Joukhadar University of New South Wales
10:00 2h Talk		Fostering Cross-disciplinary Competency in Undergraduate Data Science Education: Exploring a Collaborative Teaching Approach Posters Lujie Karen Chen University of Maryland, Baltimore County, Katie Birger University of Maryland, Baltimore County
10:00 2h Talk		Seeing Concurrency: A Java-Based Image Processing Approach to Parallel Computing Posters Jiayin Wang Montclair State University, Michelle Zhu Montclair State University, Mary Smith HPU, Srishti Srivastava University of Southern Indiana
10:00 2h Talk		Equity in Intro Computing: Understanding First-Generation Student Outcomes Across Ethnicity and Access Posters Victoria Phelps UC Berkeley, Jordan Schwartz UC Berkeley, Dan Garcia UC Berkeley
10:00 2h Talk		Scaling Undergraduate Research in Artificial Intelligence Posters Christelle Scharff Pace University, Seidenberg School of Computer Science and Information Systems, Krishna Bathula Pace University, Carmine Guida Pace University, Seidenberg School of Computer Science and Information Systems, Jonathan Williams Pace University, Seidenberg School of Computer Science and Information Systems, Juan Shan Pace University, Seidenberg School of Computer Science and Information Systems, Matthew Ganis Pace University, Seidenberg School of Computer Science and Information Systems, Tom Schmidt Pace University, Seidenberg School of Computer Science and Information Systems
10:00 2h Talk		Beyond Passive Viewing: Interactive Lectures in an Asynchronous Online Advanced Programming Course Posters Supriya Naidu University of Colorado at Boulder
10:00 2h Talk		Enhancing Programming Education for Lower-Performing Students through DSL-Based Problem GenerationGlobal Posters Atsuhiko Maeda Kanagawa Institute of Technology
10:00 2h Talk		A Verification-First, Self-Healing Framework for LLM-Enabled Generation of CS1 Exercises Posters Aneesh Durai UC Berkeley, Anirudh Chaudhary University of California, Berkeley, Naveen Nathan University of California, Berkeley, Gireeja Vishnu Ranade UC Berkeley, Narges Norouzi University of California, Berkeley
10:00 2h Talk		A Sustainable Service-Learning Outreach Model for Broadening Participation in Computing Posters Anca Doloc-Mihu pc, Cengiz Günay Georgia Gwinnett College, Cindy Robertson Georgia Gwinnett College, Wei Jin Georgia Gwinnett College, Xin Xu Georgia Gwinnett College, Rahaf Barakat Georgia Gwinnett College
10:00 2h Talk		Bridging the Code Gap: Understanding Pedagogical Patterns in CS1 Programming Courses Posters Naomi Udenze North Carolina Agricultural and Technical State University, Varun Budati Virginia Tech, Ihudiya Ogbonnaya-Ogburu Virginia Tech
10:00 2h Talk		Code & Concept: Exploring Teacher Perspectives on CS Conceptual Pattern Extraction Posters Aaja Christie Georgia State University, Anu G. Bourgeois Georgia State University
10:00 2h Talk		Scaling Retrieval Practice with LLM: Improving Multiple Choice Question (MCQ) Quality through Knowledge Graphs Posters Yuan An Drexel University, Ruhma Hashmi Drexel University
10:00 2h Talk		Enlightening Pathways into ComputingK12Global Posters Michel Zam University of Wisconsin–Milwaukee (UWM); Paris Dauphine University – PSL; KarmicSoft;
10:00 2h Talk		OCCTIVE: Animated Core Computing Concept Videos for Non-Computer Science CoursesGlobal Posters Kristina Striegnitz pc, Valerie Barr Bard College, Mia Minnes , Madalene Spezialetti Trinity College, Andrea Tartaro Furman University
10:00 2h Talk		Diary Study for Fostering Collaboration and Student Voice Posters Jixiang Fan Virginia Tech, Jiacheng Zhao Virginia Tech, Scott McCrickard Virginia Tech
10:00 2h Talk		Coding Twice: Integrating Independent and AI-Assisted Programming Assignments in CS Education Posters Jingsai Liang Westminster College, Xi Chen Utah Valley University
10:00 2h Talk		Exploring Self-Doubt in Community College Computer Science: Evidence from Exploratory Factor Analysis Posters Trent Dawson University of Nevada, Las Vegas
10:00 2h Talk		LEAP – Live Experiments for Active Pedagogy Posters Sumedh Karajagi California Academy of Mathematics and Science, Sampad Mohanty University of Southern California, Bhaskar Krishnamachari University of Southern California
10:00 2h Talk		Framing Discussions of AI Policy Implications in Computing Courses Posters James Weichert Virginia Tech, Hoda Eldardiry Virginia Tech
10:00 2h Talk		Conceptual Models for Teaching and Learning Computer Science Theory Posters Kimberly Fluet University of Rochester, Lane A. Hemaspaandra University of Rochester, Christopher Homan Rochester Institute of Technology
10:00 2h Talk		Executable Exams in the Era of Generative AI: Revisiting Taxonomy, Implementation, and ProspectsGlobal Posters Yael Erez Technion, Chris Bourke University of Nebraska-Lincoln, Orit Hazzan Technion - Israel Institute of Technology
10:00 2h Talk		Barriers and Mitigations: Recruiting and Training CS Teachers in a Large Urban School DistrictK12 Posters Jeffrey Popyack Drexel University, Brigitte Valesey Drexel University, Tammy Pirmann Drexel University, Daniel Moix Drexel University
10:00 2h Talk		Knowledge Component-Driven Alignment of CS1 Textbooks and ExercisesGlobal Posters Samantha Smith UC Berkeley, Arun Lekshmi Narayanan PhD Student, Anurata Prabha Hridi North Carolina State University, Rafaella Sampaio de Alencar pc, Bita Akram North Carolina State University, Arto Hellas Aalto University, Juho Leinonen Aalto University, Peter Brusilovsky University of Pittsburgh, Narges Norouzi University of California, Berkeley
10:00 2h Talk		RIPEL: A Data-Augmented Peer Evaluation System for Assessing Teamwork Posters Wenxuan Wendy Shi University of Illinois Urbana-Champaign, Jiaqi Linna Niu Niu University of Illinois, Urbana-Champaign, Rohan Kumar University of Illinois, Urbana-Champaign, Yifan Song University of Illinois Urbana-Champaign, Brian Bailey University of Illinois Urbana-Champaign
10:00 2h Talk		Encouraging Student Use of AI in CS1: Rethinking Content, Delivery and Assessment Posters Stephen Hughes pc
10:00 2h Talk		Detecting Overcomplicated Conditions in Student Code AutomaticallyGlobal Posters Daniel Czinege Masaryk University Brno, Anna Rechtackova Masaryk University Brno
10:00 2h Talk		By and for Teaching Assistants: Homegrown Tools in Computing Classrooms Posters Abigail Brooks-Ramirez University of California, Berkeley, Lisa Yan UC Berkeley
10:00 2h Talk		Bridging Responsible AI and AI Literacy: The TEACH-RAI Framework and Toolkit for Education, Design, and Research Posters Shi Ding Georgia Institute of Technology, Brian Magerko Georgia Institute of Technology
10:00 2h Talk		A Faculty-Directed Internship Program to Develop Software for Non-profits Posters Cengiz Günay Georgia Gwinnett College, Anca Doloc-Mihu pc, Tirza Leader Georgia Gwinnett College, Nancy Ciudad-Simmons Georgia Gwinnett College
10:00 2h Talk		AI-Augmented Instruction: Real-Time Misconception Detection Posters Zhixian Liding Georgia Institute of Technology, Michael Osmolovskiy Georgia Institute of Technology, Harshith Lanka Georgia Institute of Technology, Nimisha Roy Georgia Institute of Technology, Rodrigo Borela pc
10:00 2h Talk		Beyond the Core: A Domain-Based Curriculum for Undergraduate Applied AI Posters Mehmet Ergezer Wentworth Institute of Technology, Ella Howard Wentworth Institute of Technology, Weijie Pang Wentworth Institute of Technology, Brian Ernst Wentworth Institute of Technology
10:00 2h Talk		Empowering Neurodiverse Talent in Cybersecurity Through Fair and Inclusive AI Education Posters Sheikh Rabiul Islam University of Hartford, Yansi Keim University at Albany, Mohiuddin Ahmed Edith Cowan University, Maanak Gupta Tennessee Tech University, Ingrid Russell University of Hartford, Mahmoud Abdelsalam North Carolina A&T State University
10:00 2h Talk		Gender Differences in Gaze Patterns and Problem-Solving Efficiency in Block-Based Programming: A Multimodal Literacy Perspective Posters Parastoo Abedini The University of Alabama, Feiya Luo University of Alabama, Ruohan Liu Seattle University, Amy Hutchison University of Alabama

Reverse Mathematics for Teaching Theoretical Computer Science

Global

Program Display Configuration

Program Display Configuration

Thu 19 FebDisplayed time zone: Central Time (US & Canada) change

Rafael del Vado Vírseda

Universidad Complutense de Madrid

Thu 19 Feb
Displayed time zone: Central Time (US & Canada) change