MOOC - Massive Open Online Courses
Computer algorithms that grade the writing portions of the SATs have been found to be just as accurate as humans hired to grade them by hand.
Intelligent Tutoring System
Bayesian Knowledge Tracing - The algorithm treats sudent knowledge as a set of latent variables, which are variables whose true value is hidden from an outside observer, like our software.
Adaptive sequencing
Educational data mining