A professor of educational theory is creating an AI tool that records video and audio to determine whether a teacher addressed each section of the classroom, how often they used group work and other techniques.