I am currently a Ph.D. student at the Formal Verification Group. My research interest lies in the intersection of formal methods and cyber-physical systems where, in particular, I develop (semi-)formal techniques for the synthesis of complex hybrid system models.