Leslie Valiant

• Circuits of the mind
• Probably Approximately Correct
• Probably Approximately Correct
• Decision procedures for families of deterministic push down automata
• Importance of Being Educable