Sathya Kanthabhabhajeya is a PhD student in the Automation research group. Her research involves building a common platform which holds and shares information and data between systems and mechanical engineers for the design and construction of a manufacturing system. Another aspect of the project is to develop a formal model of the system which can be verified, synthesized and later used to develop an optimized system. To reach this goal, she uses formal modeling languages like SysML and Sequence Planner. Sathya’s teaching subjects include Industrial Automation and Lab Supervision for Tank Lab.