I will outline some aspects of the program (as it is presently understood) of proving circuit complexity lower bounds from the design of particular algorithms for analyzing circuits.

NOTE: Due to a technical error, the first 10 minutes of the presentation have been cut. We apologize for any inconvenience.