Generic Proof Tools and Finite Group Theory

Published in Ecole Polytechnique X, 2011

My PhD Thesis work. If you're interested, you'll also want to dig into some older academic talks listed on my webpage at the ENS.