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,
- Y.-C. Wu and S. Lafortune, "Optimal Synthesis of Insertion Functions for Opacity Enforcement", Submitted to Transactions on Automatic Control in Dec. 2013 (I would be happy to provide the manuscript upon request).
- Y.-C. Wu and S. Lafortune, "Synthesis of Insertion Functions for Enforcement of Opacity Security Properties", Automatica, 50(5):1336–1348, 2014.
- Y.-C. Wu and S. Lafortune, "Comparative Analysis of Related Notions of Opacity in Centralized and Coordinated Architectures", Journal of Discrete Event Dynamic Systems, p1-33, 2013
- Y.-C. Wu, K. A. Sankararaman, and S. Lafortune, "Ensuring Privacy in Location-Based Services: An Approach Based on Opacity Enforcement", Proc. of the 14th International Workshop of Discrete Event Systems, pages 33–38, 2014.
- Y.-C. Wu and S. Lafortune, "Enforcement of Opacity Properties Using Insertion Functions", Conference on Decision and Control, p.6722-6728, Dec. 2012.
- EECS 501 Probability and Random Processes
Fall 2010, Winter 2011, Fall 2011
- EECS 460 Control Systems Design and Analysis
- I have been co-hosting girls social gathering events since this January. The events started with EE:S girls and are now expanding to the entire EECS department. How exciting!
- I have been participating in many intramural sports games: indoor volleyball, sand volleyball, wallyball, basketball, soccer, and softball. I led my volleyball team to the championsihp in 2010 and my sand volleyball team to the second place in 2009.