Halo Formation in CDM Models - Christiano Porciani