Writing & research
My September 8, 2026 CSTA article addresses verification in computer science assessment. Two manuscripts examine AI reliability in K-12 classrooms.
The reading room
Start with the September 8, 2026 CSTA article or select a manuscript.
CSTA’s The Voice · September 8, 2026
My September 8, 2026 CSTA article connects verification-based assessment to the evidence a teacher can gather from students’ code.
“The finished program tells me less than it used to.”Read at CSTA
Under peer review · AI and Ethics, Springer Nature
This manuscript examines the ethical limits of AI reliability in K-12 classrooms.
Ethical limits of AI reliability in K-12 classroomsRead the preprint on ResearchGate
Under journal review · Preprint on ResearchGate
This manuscript sets out a verification-theoretic framework for teacher use of generative AI in K-12 education.
A verification-theoretic framework for teacher use of generative AIRead the preprint on ResearchGate
Independent research · Exploratory
In this 2026 project, I’m exploring whether ideas from model theory can help describe what an assessment reveals about a student’s understanding. Generative AI sharpens the question when different students can produce similar finished work.
I’m considering a possible connection to observational equivalence and definability in model theory. Could an explanation or a transfer task help distinguish two states of understanding that produce the same finished work?
Try a related Java assessment exampleFaculty AI learning
The faculty page includes a review exercise using NotebookLM and Gemini examples.
Open the workshop exerciseFurther study
I’m pursuing an M.S.Ed. in Learning Analytics and Artificial Intelligence at Penn GSE, expected 2028.
Request the 30-page prompting guide