I have been involved in an intern program at the Formal Verification Group under the supervision of Dr. Mingshuai Chen. The goal of my research is to develop formal techniques for the (semi-)automated synthesis/identification of hybrid system models with possibly nonlinear differential dynamics.