Graduate Student Researcher
CurrentPh.D. student researching design automation for cyber-physical systems.Currently, my research goal is developing theory of contract-based design methodology, building tools to automate contract-based design and applying them in complex cyber-physical system design problem.Advisor: Prof. Alberto Sangiovanni-Vincentelli