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,
- 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", To appear in Automatica, 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", Accepted at 12th International Workshop on Discrete Event Systems, 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.