Yi-Chin Wu

PhD candidate
EECS Systems Laboratory
University of Michigan
email: ycwu [at] umich [dot] edu


Starting in September 2014, I will be a postdoc in the TerraSwarm Research Center, based at Berkeley and University of Michigan!


I am a PhD candidate in EECS Systems Laboratory (EE:S) at the University of Michigan. I am working in the area of Discrete Event Systems (DES), supervised by Prof. Stéphane Lafortune.

My research interest lies at the intersection of network security, formal methods, and control engineering. In my PhD thesis, I address the verification and synthesis of secure networked systems in the formulation of Discrete Event Systems. Specifically, based on the use of automata models, my work involves in constructing models, characterizing desirable security specifications, developing verification algorithms and enforcement algorithms to achieve the desired security specifications.

Links to my CV, Dissertation Abstract, Research Statement.


Journal Publications



Teaching Experiences

Other Activities