This calculator will help you calcaulate the radius of the beam waist after the laser passes through the convex lens
Laser Wavelength $\lambda$; Focal Length of Lens $F$; Input Laser Radius $w_0$; Output Laser Wasit Radius $w$