Lean finished his BS Physics degree in 2018. His undergraduate thesis on density functional theory focused on the computation of the piezomagnetic constants of some antiperovskite crystals using the Quantum ESPRESSO package. He is an active member of the UP Concert Chorus and has performed with them on international tours.