Program immerses high school students in theoretical computer science