|University of California, Berkeley|| |
|545W Cory Hall|| |
| ycwu [at] umich [dot] edu|| |
| yichin.wu [at] berkeley [dot] edu|| |
I am a postdoctoral researcher at the TerraSwarm Research Center, affliated with University of Michigan and UC Berkeley. From September 2014 to August 2015, I'm 90% sitting in Cory Hall at Berkeley.
I earned my Ph.D. degree in August 2014 in EECS Systems Laboratory (EE:S) at the University of Michigan, where I was working in the Discrete Event Systems (DES) group supervised by Prof. Stéphane Lafortune.
My research interest lies at the intersection of network security and control synthesis.
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", Second revision submitted to Transactions on Automatic Control in July. 2014 (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 was co-hosting EECS Grad Girls social gathering events starting from Oct. 2012 until I graduated in Aug. 2014.
- 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.