I am 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.