Yi-Chin Wu

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

I am graduating in the Spring of 2014 and am looking for a post-doc or a full-time research-oriented position.


I will be presenting my work "Ensuring Privacy in Location-Based Services: An Approach Based on Opacity Enforcement" at WODES 2014, Cachan, France.


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